Chronological Overview 
 Type-Hierarchical Overview 
Formal Methods in Computing
(Most of the papers antecedent to 1995
are not included in the list)
FRAMES  NO FRAME 

BDL02 (In proceedings)
Author(s) Lorenzo Bettini, Rocco De Nicola and Michele Loreti
Title« Software Update via Mobile Agent Based Programming »
InProc. of SAC, Special Track on Agents, Interactions, Mobility, and Systems
Page(s)32-36
Year2002
PublisherACM Press
URLhttp://music.dsi.unifi.it/papers/SAC02-software-update.ps.gz
Abstract
We describe a system that permits maintaining the software installed on several heterogeneous computers distributed over a network by taking advantage of the mobile agent paradigm. The applications are installed and updated only on the central server. When a new release of an application is installed on the server, agents are scattered along the network to update the application on the clients. To build a prototype system we use X-Klaim, a programming language specifically designed to program distributed systems composed of several components interacting through multiple tuple spaces and mobile code.

BibTeX code

@inproceedings{BDL02,
  author = {Bettini, Lorenzo and De Nicola, Rocco and Loreti, Michele},
  booktitle = {Proc. of SAC, Special Track on Agents, Interactions, Mobility,
               and Systems},
  url = {http://music.dsi.unifi.it/papers/SAC02-software-update.ps.gz},
  abstract = {We describe a system that permits maintaining the software
              installed on several heterogeneous computers distributed over a
              network by taking advantage of the mobile agent paradigm. The
              applications are installed and updated only on the central server.
              When a new release of an application is installed on the server,
              agents are scattered along the network to update the application
              on the clients. To build a prototype system we use X-Klaim, a
              programming language specifically designed to program distributed
              systems composed of several components interacting through
              multiple tuple spaces and mobile code.},
  title = {{Software Update via Mobile Agent Based Programming}},
  publisher = {ACM Press},
  year = {2002},
  pages = {32-36},
}


 Chronological Overview 
 Type-Hierarchical Overview 
Formal Methods in Computing
(Most of the papers antecedent to 1995
are not included in the list)
FRAMES  NO FRAME 

This document was generated by bib2html 3.3.
(Modified by Luca Paolini, under the GNU General Public License)

Valid HTML 4.01!