1283 search results - page 86 / 257 » Atomicity Implementation in Mobile Computing |
ICAC
2005
IEEE
14 years 2 months ago
2005
IEEE
We present the design and implementation of a working system that enables self-configuration and self-optimization in mobile ad hoc networks (MANETs) by exploiting context awarene...
CONEXT
2007
ACM
14 years 26 days ago
2007
ACM
Pocket Switched Networks (PSN) is a novel communication paradigm which aims to exploit the opportunistic contacts between mobile devices to exchange data over multiple hops. A key...
IPPS
2006
IEEE
14 years 2 months ago
2006
IEEE
Babylon v2.0 is a collection of tools and services that provide a 100% Java compatible environment for developing, running and managing parallel, distributed and mobile Java appli...
ICRA
2008
IEEE
14 years 3 months ago
2008
IEEE
— Auditory capabilities would allow small robots interacting with people to act according to vocal cues. In our recent work, we have demonstrated AUDIBLE, an auditory system capa...
CORR
2008
Springer
13 years 9 months ago
2008
Springer
Abstract. Proof search has been used to specify a wide range of computation systems. In order to build a framework for reasoning about such specifications, we make use of a sequent...