92 search results - page 3 / 19 » Implementing a Distributed Mobile Calculus Using the IMC Fra... |
ISSTA
2009
ACM
13 years 10 months ago
2009
ACM
This paper describes an approach for conformance testing of mobile and distributed systems. The approach is based on kiltera — a novel, high-level language supporting the descri...
KESAMSTA
2007
Springer
13 years 12 months ago
2007
Springer
In this paper, we suggested a mobile collaboration framework based on distributed object group framework (DOGF). This paper focuses on the use of this framework to support mobile c...
TOPLAS
2010
13 years 4 months ago
2010
Pict project. We define two levels of abstraction as calculi with precise semantics: a low-level Nomadic π calculus with migration and location-dependent communication, and a hig...
IAT
2007
IEEE
14 years 4 days ago
2007
IEEE
To share resources in open distributed systems we have developed autonomous mobile programs, which periodically use a cost model to decide where to execute in a network. In additi...
CLUSTER
2004
IEEE
13 years 5 months ago
2004
IEEE
This paper presents a framework for building and deploying protocols for migrating mobile agents over the Internet. The framework enables network protocols for agent migration to b...