114 search results - page 1 / 23 » A Formalism for Hierarchical Mobile Agents |
PDSE
2000
13 years 6 months ago
2000
This paper presents a theoretical and practical framework for constructing and reasoning about mobile agents. The framework is formulated as a process calculus and has two contrib...
MA
2000
Springer
13 years 8 months ago
2000
Springer
MobiDoc is a framework for building mobile compound documents, where the compound document can be dynamically composed of mobile agents and can migrate itself over a network as a w...
APWEB
2004
Springer
13 years 10 months ago
2004
Springer
In this paper, a novel formalized finite state mobile agent computation model based on the virtual organization is presented. In this model, all the actions (e.g. service, migratio...
SEKE
2005
Springer
13 years 10 months ago
2005
Springer
Mobile agents provide an effective and flexible style to develop advanced distributed systems. In order to promote interoperability and ensure the quality of mobile agent systems,...
ATAL
2006
Springer
13 years 8 months ago
2006
Springer
This paper provides a general mechanism and a solid theoretical basis for performing planning within Belief-Desire-Intention (BDI) agents. BDI agent systems have emerged as one of...