625 search results - page 43 / 125 » A Distributed Implementation of Mobile Maude |
106
click to vote
SIMUTOOLS
2008
15 years 1 months ago
2008
This work describes mechanisms for simulating opportunistic and delay-tolerant networks in the OMNeT++ discrete event simulator. The mechanisms allow for simulating open systems o...
189
click to vote
POPL
2001
ACM
16 years 3 days ago
2001
ACM
This paper addresses the design and verification of infrastructure for mobile computation. In particular, we study language primitives for communication between mobile agents. The...
113
click to vote
COORDINATION
2004
Springer
15 years 5 months ago
2004
Springer
This paper presents Limone, a new coordination model that facilitates rapid application development over ad hoc networks consisting of logically mobile agents and physically mobile...
SAC
2005
ACM
15 years 5 months ago
2005
ACM
This paper proposes a model along with a reference software architecture enabling multi-coordination between distributed and mobile software agents. Multi-coordination allows agen...
110
click to vote
ICDCS
2002
IEEE
15 years 4 months ago
2002
IEEE
The need for sharing is well known in a large number of distributed collaborative applications. These applications are difficult to develop for wide area (possibly mobile) networ...