Luc Moreau  Home/Search
Context Related
| ecs.soton.ac.uk/~lavm/paper...mob.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: ecs.soton.ac.uk/~lavm/papers (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Research about networks and agents has identi ed the need for a layer that provides a uniform protocol to communicate with xed and mobile agents. In order to preserve the compatibility with existing infrastructures, proposed solutions have involved a \home agent", which forwards messages to a mobile entity. The mechanism of a home agent puts a burden on the infrastructure, which may hamper the scalability of the approach, in particular, in massively distributed systems, such as the... (Update)
Context of citations to this paper: More
...mobile agents. There is an opportunity to shortcut such sequences of remote groups using a mechanism similar to the collapsing of chains of pointers [8]. The rationale for requiring a single thread in a group g before allowing migration to proceed is the following. After...
Cited by: More
Foundations Of The B Method - Cansell, Méry (2003) (Correct)
Coordination of Mobile Intermediaries Acting on behalf of.. - Norliza Zaini And (2002) (Correct)
Service Discovery in Wireless Sensor Networks - Frank, Handziski, Karl (2004) (Correct)
Active bibliography (related documents): More All
1.6: Mobile Objects in Java - Moreau, Ribbens (2000) (Correct)
0.7: the Garbage Collection Bibliography - Richard Jones (2003) (Correct)
0.6: SoFAR with DIM Agents - An Agent Framework for.. - Moreau, Gibbins.. (2000) (Correct)
Similar documents based on text: More All
0.2: Agents for the Grid: a Comparison with Web Services (Part I.. - Moreau (2002) (Correct)
0.1: Practical Aspects of the Moreau-Yosida Regularization .. - Lemaréchal.. (1994) (Correct)
0.1: A Globally Convergent BFGS Method for Nonsmooth Convex.. - Rauf, Fukushima (1996) (Correct)
Related documents from co-citation: More All
10: Nomadic Pict: Language and infrastructure design for mobile agents - Wojciechowski, Sewell - 1999
6: Programming and Deploying Java Mobile Agents with Aglets (context) - Lange, Oshima - 1998
5: Some computer science problems in ubiquitous computing (context) - Weiser - 1993
BibTeX entry: (Update)
Luc Moreau. Distributed Directory Service and Message Router for Mobile Agents: the Constructive Proof in COQ. Available from http://www.staff.ecs.soton.ac.uk/lavm/coq/mobility/, October 1999. http://citeseer.ist.psu.edu/moreau99distributed.html More
@article{ moreau01distributed,
author = "Luc Moreau",
title = "Distributed directory service and message routing for mobile agents",
journal = "Science of Computer Programming",
volume = "39",
number = "2--3",
pages = "249--272",
year = "2001",
url = "citeseer.ist.psu.edu/moreau99distributed.html" }
Citations (may not include all citations):718 Distributed Algorithms (context) - Lynch - 1995
566 Proof-Carrying Code - Necula - 1997
410 Mobile Ambients - Cardelli, Gordon - 1998
404 A Calculus for Cryptographic Protocols: the Spi Calculus - Abadi, Gordon - 1997
140 Agent Tcl: A Flexible and Secure Mobile-Agent System - Gray - 1996
91 Operating System Support for Mobile Agents - Johansen, van Renesse et al. - 1995
88 The Architecture of the Ara Platform for Mobile Agents - Peine, Stolpmann - 1997
85 Mobility Support in IPv - Perkins, Johnson - 1996
78 APRIL - Agent Process Interaction Language - McCabe, Clark - 1995
74 Abstractions for Mobile Computation - Cardelli - 1999
71 Distributed References Supporting Acyclic Garbage Collection (context) - Shapiro, Dickman et al. - 1992
61 Some Computer Science Problems in Ubiquitous Computing (context) - Weiser - 1993
51 Migratory Applications - Bharat, Cardelli - 1997
42 The Coq Proof Assistant Reference Manual { Version V (context) - Barras, Boutin et al. - 1997
35 Network Layer Mobility: an Architecture and Survey - Bhagwat, Perkins et al. - 1996
25 The Derivation of Distributed Termination Detection Algorith.. - Tel, Mattern - 1993
24 Internet Mobility 4x - Cheshire, Baker - 1996
21 Distributed Directory Service and Message Router for Mobile .. - Moreau - 1999
18 Telescript Technology: Mobile Agents (context) - Magic - 1996
12 Design and Semantics of Quantum: a Language to Control Resou.. - Moreau, Queinnec - 1997
8 A Construction of Distributed Reference Counting - Moreau, Duprat - 1999
8 Network Programming Using PLAN - Hicks, Kakkar et al. - 1998
7 IETF Mobile IP Working Group (context) - Johnson, Perkins et al. - 1999
6 Mobile Host Tracking and Resource Discovery - Baggio, Piumarta - 1996
3 InterAgent Communications Reference manual (context) - McCabe - 1999
2 A Mobile Agent Programming System (context) - Tripathi, Karnik et al. - 1999
2 A Simulator for an Amorphous Computer (context) - Adams, DeRoure - 1998
2 Agent Management Support for Mobility (context) - Dale, McCabe - 1998
2 Graceful Disconnection (context) - Queinnec, Moreau - 1999
2 Providing Fault Tolerance to Mobile Intelligent Agents (context) - Mishra, Jiang et al. - 1999
2 An Agent Framework for Distributed Information Management (context) - Moreau, Gibbins et al. - 1999
1 Seal: A Framework for Secure Mmobile Computations (context) - Vitek, Castagna - 1999
1 The Re exive Chemical Abstract Machine and the Joinf-Calculu.. (context) - edric, Georges - 1996
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.ecs.soton.ac.uk/~lavm/papers.html): More
A Parallel Functional Language With First-Class Continuations.. - Moreau (Correct)
A Distributed Garbage Collector for NeXeme - Moreau, De Roure (Correct)
An Operational Semantics for a Parallel Functional Language With.. - Moreau (1992) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC