Search Results for "web http"

Myrtille provides simple and fast access to remote desktops, applications, and SSH servers through a web browser, without any plugin, extension or configuration. Technically, Myrtille is an HTTP(S) to RDP and SSH gateway. User input (keyboard, mouse, touchscreen) is forwarded from a web browser to an HTTP(S) gateway, then up to an RDP (or SSH) client which maintains a session with an RDP (or SSH) server. The display resulting (or not) of such actions is streamed back to the browser, from the RDP (or SSH) client and through the gateway. ...

SmartSlog (Smart Space Ontology) is a software/application development kit (SDK or ADK) for programming Smart-M3 agents (Knowledge Processors, KPs) that consume/produce smart space content according with its high-level ontological representation. SmartSlog applies the code generation approach: given an OWL ontology description, the ontology programming library is produced. The latter provides API to access the smart space via a Smart-M3 Semantic Information Broker (SIB) and data structures...

Educational software for designing and simulating logic circuits, with intuitive GUI, hierarchical circuits and multi bit buses, oscilloscope, and navigate running circuits hierarchy. Please visit project's web site at: http://www.LogicCircuit.org

A C# implementation of the Smart Space Access Protocol to access Smart-M3 (http://sourceforge.net/projects/smart-m3/). Hosted by the University of Bologna and under development within the ARTEMIS SOFIA project (http://www.sofia-project.eu/)

Develop: domain secure, and performing secure Domain Name System (DNS) dynamic updates. Domain Name System Security Extensions Servlet API Package The javax.servlet.http package contains a number of classes and interfaces that describe and define the contracts between a servlet class running under the HTTP protocol and the runtime environment provided for an instance of such a class by a conforming servlet container.

ZK Light is renamed to ZKuery and moved to http://code.google.com/p/zkuery/. ZK Light is a client-only version of ZK; Support Java, C, PHP, Python...

RuDolFWSgui is graphical application that lets you add, modify, remove and manage ontologies in a remote Sesame repository server (http://www.openrdf.org) using a remote RuDolFWS server (visit http://sourceforge.net/projects/rudolfws/ ).

THIS VERSION ON SOURCEFORGE IS NO LONGER SUPPORTED and works only on Windows. The Okapi Framework is a set of components and tools for localization and translation tasks. THE NEWEST JAVA-BASED VERSION OF OKAPI IS AVAILABLE AT: http://okapi.opentag.com/ The new version runs on Windows, Mac, Linux, etc.

The VSR is a repository of tools and challenges in verification (see for example epubs.cclrc.ac.uk/work-details?w=33971). It is part of the international grand challenge on software verification (eg http://vstte.ethz.ch/pdfs/vstte-hoare-misra.pdf)

AceJudge is a system for managing programming contests. AceJudge's basic features include automatic judging of submitted programs, answering to clarification questions about problem descriptions, reevaluation of programs, real time ranking etc.

wLinkRelations is a library for WCF REST services used to insert link relations into outgoing messages and handle custom media types in HTTP Accept & Content-Type headers. REST services refers to those WCF services which are usually built using WebHttpBinding, WebGet, WebInvoke, etc. It is written in C#, and works with both JSON & XML requests/responses. The SourceForge project is still undergoing early maintenance. The associated project tests, downloadable libraries, documentation,...