92 search results - page 3 / 19 » Implementing a Distributed Mobile Calculus Using the IMC Fra... |
158
click to vote
ISSTA
2009
ACM
15 years 9 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...
156
click to vote
KESAMSTA
2007
Springer
15 years 11 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...
140
click to vote
TOPLAS
2010
15 years 3 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...
146
click to vote
IAT
2007
IEEE
15 years 11 months 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...
175
Voted
CLUSTER
2004
IEEE
15 years 4 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...