1283 search results - page 59 / 257 » Atomicity Implementation in Mobile Computing |
APLAS
2006
ACM
14 years 2 months ago
2006
ACM
We define and study a distributed cryptographic implementation for an asynchronous pi calculus. At the source level, we adapt simple type systems designed for establishing formal ...
TMC
2010
13 years 7 months ago
2010
—The key feature of many emerging pervasive computing applications is to proactively provide services to mobile individuals. One major challenge in providing users with proactive...
ICRA
2002
IEEE
14 years 1 months ago
2002
IEEE
Modular robots are systems composed of a number of independent units that can be reconfigured to fit the task at hand. When the modules are computationally independent, they for...
AINA
2006
IEEE
14 years 2 months ago
2006
IEEE
For effective management it is necessary to have methods by which management applications can periodically retrieve large volumes of information from network devices. In this work...
KIVS
2005
Springer
14 years 2 months ago
2005
Springer
Broadcasting is a commonly used communication primitive needed by many applications and protocols in mobile ad hoc networks (MANETs). Unfortunately, most broadcast solutions are ta...