Communicating and mobile systems: the &pgr;-calculus
Communicating and mobile systems: the &pgr;-calculus
Resource access control in systems of mobile agents
Information and Computation
Programming and Deploying Java Mobile Agents Aglets
Programming and Deploying Java Mobile Agents Aglets
D'Agents: applications and performance of a mobile-agent system
Software—Practice & Experience - Special issue: Mobile agent systems
Software—Practice & Experience - Special issue: Mobile agent systems
Mobile-C: a mobile agent platform for mobile C-C++ agents
Software—Practice & Experience
JADE: A software framework for developing multi-agent applications. Lessons learned
Information and Software Technology
A Software Platform for Timed Mobility and Timed Interaction
FMOODS '09/FORTE '09 Proceedings of the Joint 11th IFIP WG 6.1 International Conference FMOODS '09 and 29th IFIP WG 6.1 International Conference FORTE '09 on Formal Techniques for Distributed Systems
Modelling and verification of timed interaction and migration
FASE'08/ETAPS'08 Proceedings of the Theory and practice of software, 11th international conference on Fundamental approaches to software engineering
Preface to the Special Issue on intelligent distributed computing
Concurrency and Computation: Practice & Experience
Behavioural equivalences over migrating processes with timers
FMOODS'12/FORTE'12 Proceedings of the 14th joint IFIP WG 6.1 international conference and Proceedings of the 32nd IFIP WG 6.1 international conference on Formal Techniques for Distributed Systems
On the use of a domain-specific modeling language in the development of multiagent systems
Engineering Applications of Artificial Intelligence
Hi-index | 0.00 |
In this paper, we present a flexible software architecture and a language for systems of mobile agents starting from a formalism with timed interactions and explicit locations. The language supports the specification of a distributed system, that is, agents and their physical distribution, and allows a timed migration in a distributed environment. Advanced software technologies are used to define the software architecture and the agents language, facilitating also the agents development. We illustrate the system by a dynamic network discovery in which the agents take into account the latency and the CPU load when choosing where to migrate. Copyright © 2011 John Wiley & Sons, Ltd.