625 search results - page 3 / 125 » A Distributed Implementation of Mobile Maude |
FORTE
2010
14 years 11 months ago
2010
Wireless sensor networks are typically ad-hoc networks of resource-constrained nodes; in particular, the nodes are limited in power resources. It can be difficult and costly to rep...
ENTCS
2007
14 years 9 months ago
2007
In the last decade, many calculi for modelling distributed mobile code have been proposed. To assess their merits and encourage use, implementations of the calculi have often been...
HICSS
2006
IEEE
15 years 3 months ago
2006
IEEE
Embedded distributed real-time systems are traditionally used in safety-critical application areas such as avionics, healthcare, and the automotive sector. Assuring dependability ...
IFIPTCS
2000
15 years 1 months ago
2000
Abstract We present a first distributed implementation of the CardelliGordon's ambient calculus. We use Jocaml as an implementation language and we present a formal translatio...
ARCS
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. We provide evidence of the feasibility and effectiveness of a middleware architecture for mobile devices which employs dense distributions of small computerized entities ...