Proceedings of the 21st international conference on Software engineering
Distributed directory service and message routing for mobile agents
Science of Computer Programming
Programming and Deploying Java Mobile Agents Aglets
Programming and Deploying Java Mobile Agents Aglets
The Shadow Approach: An Orphan Detection Protocol for Mobile Agents
MA '98 Proceedings of the Second International Workshop on Mobile Agents
Reactive Tuple Spaces for Mobile Agent Coordination
MA '98 Proceedings of the Second International Workshop on Mobile Agents
MOS '96 Selected Presentations and Invited Papers Second International Workshop on Mobile Object Systems - Towards the Programmable Internet
Reliable Communication for Highly Mobile Agents
ASAMA '99 Proceedings of the First International Symposium on Agent Systems and Applications Third International Symposium on Mobile Agents
Nomadic Pict: Language and Infrastructure Design for Mobile Agents
ASAMA '99 Proceedings of the First International Symposium on Agent Systems and Applications Third International Symposium on Mobile Agents
An RPC Mechanism for Transportable Agents
An RPC Mechanism for Transportable Agents
Scientific Programming
Coordination of Mobile Intermediaries Acting on Behalf of Mobile Users (Research Note)
Euro-Par '02 Proceedings of the 8th International Euro-Par Conference on Parallel Processing
Mobile Intermediaries Supporting Information Sharing between Mobile Users
MA '02 Proceedings of the 6th International Conference on Mobile Agents
An adaptative mechanism for communicating with mobile objects
UbiMob '04 Proceedings of the 1st French-speaking conference on Mobility and ubiquity computing
Birrell's distributed reference listing revisited
ACM Transactions on Programming Languages and Systems (TOPLAS)
Reliable directory service and message delivery for large-scale mobile agent systems
TELE-INFO'07 Proceedings of the 6th WSEAS Int. Conference on Telecommunications and Informatics
Recording Process Documentation in the Presence of Failures
Methods, Models and Tools for Fault Tolerance
Agents Jumping in the Air: Dream or Reality?
IWANN '09 Proceedings of the 10th International Work-Conference on Artificial Neural Networks: Part I: Bio-Inspired Systems: Computational and Ambient Intelligence
ACM Transactions on Programming Languages and Systems (TOPLAS)
Atomic mobile agent group communication
CCNC'10 Proceedings of the 7th IEEE conference on Consumer communications and networking conference
Scalable message routing for mobile software assistants
EUC'06 Proceedings of the 2006 international conference on Embedded and Ubiquitous Computing
Agent-based approaches to managing fault-tolerant networks of distributed multi-agent systems
Multiagent and Grid Systems - Agent Based Computing: From Model to Implementation
| Hi-index | 0.00 |
A reliable communication layer is an essential component of a mobile agent system. We present a new fault-tolerant directory service for mobile agents, which can be used to route messages to them. The directory service, based on a technique of forwarding pointers, introduces some redundancy in order to ensure resilience to stopping failures of nodes containing forwarding pointers; in addition, it avoids cyclic routing of messages, and it supports a technique to collapse chains of pointers that allows direct communications between agents. We have formalised the algorithm and derived a fully mechanical proof of its correctness using the proof assistant Coq; we report on our experience of designing the algorithm and deriving its proof of correctness. The complete source code of the proof is made available from the WWW.