Sciweavers

10733 search results - page 260 / 2147
» Distributed XML design
Sort
View
ISCC
2008
IEEE
254views Communications» more  ISCC 2008»
16 years 1 months ago
Mesh Topology Viewer (MTV): an SVG-based interactive mesh network topology visualization tool
—This paper discusses wireless mesh network topology visualization tools and their requirements. It presents an interactive tool for visualizing mesh network topologies. The prop...
Rafael De T. Valle, Diego G. Passos, Célio ...
VR
2007
IEEE
16 years 25 days ago
Muddleware for Prototyping Mixed Reality Multiuser Games
We present Muddleware, a communication platform designed for mixed reality multi-user games for mobile, lightweight clients. An approach inspired by Tuplespaces, which provides de...
Dieter Wagner, Dieter Schmalstieg
APWEB
2007
Springer
16 years 23 days ago
Untyped XQuery Canonization
XQuery is a powerful language defined by the W3C to query XML documents. Its query functionalities and its expressiveness satisfy the major needs of both the database community an...
Nicolas Travers, Tuyet-Tram Dang-Ngoc, Tianxiao Li...
ICTCS
2005
Springer
16 years 2 days ago
Error Mining for Regular Expression Patterns
In the design of type systems for XML programming languages based on regular expression types and patterns the focus has been over result analysis, with the main aim of statically ...
Giuseppe Castagna, Dario Colazzo, Alain Frisch
ZUM
2005
Springer
176views Formal Methods» more  ZUM 2005»
16 years 1 days ago
CZT: A Framework for Z Tools
The Community Z Tools (CZT) project is an open-source Java framework for building formal methods tools for Z and Z dialects. It also includes a set of tools for parsing, typechecki...
Petra Malik, Mark Utting