Sciweavers

2243 search results - page 186 / 449
» Contracts for Mobile Processes
Sort
View
DSVIS
2005
Springer
15 years 10 months ago
A Calculus for the Refinement and Evolution of Multi-user Mobile Applications
The calculus outlined in this paper provides a formal architectural framework for describing and reasoning about the properties of multi-user and mobile distributed interactive sys...
W. Greg Phillips, T. C. Nicholas Graham, Christoph...
EPIA
2005
Springer
15 years 10 months ago
An Architecture of Sensor Fusion for Spatial Location of Objects in Mobile Robotics
Each part of a mobile robot has particular aspects of its own, which must be integrated in order to successfully conclude a specific task. Among these parts, sensing enables to co...
Luciano Oliveira, Augusto Costa, Leizer Schnitman,...
MDM
2005
Springer
127views Communications» more  MDM 2005»
15 years 10 months ago
Panel on mobility in sensor networks
Sensor networks are promising unprecedented levels of access to information about the physical world, in real time. Many areas of human activity are starting to see the benefits ...
Alexandros Labrinidis, Anthony Stefanidis
MDM
2005
Springer
116views Communications» more  MDM 2005»
15 years 10 months ago
Data dissemination in mobile peer-to-peer networks
In this paper we propose adaptive content-driven routing and data dissemination algorithms for intelligently routing search queries in a peer-to-peer network that supports mobile ...
Thomas Repantis, Vana Kalogeraki
AUIC
2003
IEEE
15 years 9 months ago
Location based Applications for Mobile Augmented Reality
In this work we investigate building indoor location based applications for a mobile augmented reality system. We believe that augmented reality is a natural interface to visualiz...
Gerhard Reitmayr, Dieter Schmalstieg