20 search results - page 1 / 4 » Expressing Dynamics of Mobile Agent Systems Using Ambient Ca... |
DEXAW
1998
IEEE
13 years 8 months ago
1998
IEEE
The mobile agent approach has become popular due to recent developments in the mobile code paradigm and enabling programming technologies. Many existing agentbased systems lack cl...
POPL
1999
ACM
13 years 8 months ago
1999
ACM
An ambient is a named cluster of processes and subambients, which moves as a group. We describe type systems able to guarantee that certain ambients will remain immobile, and that ...
ENTCS
2002
13 years 4 months ago
2002
The Ambient Calculus has been recently proposed as a model of mobility of agents in a dynamically changing hierarchy of domains. In this paper, we describe the implementation of t...
BIRTHDAY
2005
Springer
13 years 6 months ago
2005
Springer
Abstract. We introduce an ambient-based calculus that combines ambient mobility with process mobility, uses group names to collect ambients with homologous features, and exploits c...
FM
2003
Springer
13 years 9 months ago
2003
Springer
We present two instantiations of generic Interactive State Machines (ISMs) with mobility features which are useful for modeling and verifying dynamically changing mobile systems. I...