205 search results - page 21 / 41 » Types for ambient and process mobility |
NETGAMES
2003
ACM
14 years 26 days ago
2003
ACM
The application of Networked Virtual Environment (NVE) technology on mobile devices is an emerging area in research. The marketing potential for these types of applications, when ...
CONCUR
2007
Springer
14 years 1 months ago
2007
Springer
Dπ is a simple distributed extension of the π-calculus in which agents are explicitly located, and may use an explicit migration construct to move between locations. In this pap...
WAIM
2009
Springer
14 years 2 months ago
2009
Springer
Large amount of uncertain data is inherent in many novel and important applications such as sensor data analysis and mobile data management. A probabilistic threshold range aggrega...
ICFEM
2003
Springer
14 years 24 days ago
2003
Springer
Interacting State Machines (ISMs) are used to model reactive systems and to express and verify their properties. They can be seen both as automata exchanging messages simultaneousl...
AVSS
2005
IEEE
14 years 1 months ago
2005
IEEE
Until recently, traditional approaches to the task of camera calibration have relied on the use of accurate grid patterns, or strategically placed targets. Such approaches can pro...