Sciweavers

10733 search results - page 260 / 2147
» Distributed XML design
Sort
View
ISCC
2008
IEEE
254views Communications» more  ISCC 2008»
15 years 11 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
15 years 10 months 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
15 years 10 months 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
15 years 10 months 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»
15 years 10 months 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