Sciweavers

129 search results - page 7 / 26
» Design and Implementation of a Semantic Peer-to-Peer Network
Sort
View
CONEXT
2005
ACM
15 years 8 months ago
Janus: an architecture for flexible access to sensor networks
We present the design and implementation of the Janus1 architecture for providing flexible and lightweight access to sensor network resources from Internet-type networks. Janus p...
Richard Gold
SIGCOMM
2009
ACM
16 years 14 days ago
A local knowledge base for service oriented access network selection
Service oriented access in a multi-application, multi-access network environment poses interesting research challenges. One of these challenges refers to cross-layer interoperabil...
Carolina Fortuna, Mihael Mohorcic
FOSSACS
2008
Springer
15 years 7 months ago
Robust Analysis of Timed Automata via Channel Machines
Whereas formal verification of timed systems has become a very active field of research, the idealised mathematical semantics of timed automata cannot be faithfully implemented. Se...
Patricia Bouyer, Nicolas Markey, Pierre-Alain Reyn...
ESOP
2008
Springer
15 years 7 months ago
A Formal Implementation of Value Commitment
In an optimistic approach to security, one can often simplify protocol design by relying on audit logs, which can be analyzed a posteriori. Such auditing is widely used in practice...
Cédric Fournet, Nataliya Guts, Francesco Za...
IV
2006
IEEE
130views Visualization» more  IV 2006»
15 years 12 months ago
Ontology Driven Visualisation of Maps with SVG - An Example for Semantic Programming
This article describes a particular use of ontologies for visualising maps in a browser window. Geographic data are represented as instances of concepts in an ontology of transpor...
Frank Ipfelkofer, Bernhard Lorenz, Hans Jürge...