625 search results - page 85 / 125 » A Distributed Implementation of Mobile Maude |
114
click to vote
PUC
2008
15 years 1 months ago
2008
A number of emerging distributed platforms include xed and robust workstations but, like dynamic and pervasive networks, are often built from mobile and resource-constrained device...
102
click to vote
MOBICOM
2012
ACM
13 years 4 months ago
2012
ACM
In this paper, we propose a novel clock calibration approach called FLIGHT, which leverages the fact that the fluorescent light intensity changes with a stable period that equals...
107
click to vote
APLAS
2006
ACM
15 years 8 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 ...
122
click to vote
AUTONOMICS
2008
ACM
15 years 3 months ago
2008
ACM
In this paper we describe R-P2P, a novel system meant to support the search and retrieval of data in a given area. RP2P couples opportunistic wireless communications between mobil...
120
click to vote
ICDCSW
2006
IEEE
15 years 8 months ago
2006
IEEE
This paper presents Contory, a middleware specifically deployed to support provisioning of context information on mobile devices such as smart phones. Contory integrates multiple...