Search Results for "types" - Page 3

A small Python FTP server. Runs within a specified dir of PC. Has a SITE extension to let files of permitted types be opened on the PC (eg spreadsheets). Useful to send reports to PC from Unix host, or PC to PC.

Xi3D is an X3D renderer and browser for 3D Web content. It contains compliant parsers for VRML'97 types, a java scenegraph, XML bindings using SAX2, a content converter, full runtime and event model, DOM Level 2, vecmath

The xsbrowser creates a human readable documentation of XML document types represented as XML 1.0 DTDs or XML schemas (REC-xmlschema-20010502). The user needn't understand the DTD or XML Schema syntax. The xsbrowser exploits XML Schema <documentation

...In Chor, the behaviour of a system is written down as a global program (a choreography) where all the message exchanges between the participants are explicit. Choreographies are statically checked against protocol specifications, given as types, enabling type-directed global programming. Finally, Chor supports the automatic generation of systems from a choreography. With Chor, you do not have to worry about asynchronous communications or protocol compliance anymore. The language is based on strong theoretical bases, so that you can let its compiler do the jobs of checking your global programs and generating correct implementing code for you!