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 

BDP01 (In proceedings)
Author(s) Lorenzo Bettini, Rocco De Nicola and Rosario Pugliese
Title« X-Klaim and Klava: Programming Mobile Code »
InTOSCA 2001
Editor(s) M. Lenisa and M. Miculan
Volume62
Year2001
PublisherElsevier
URLhttp://music.dsi.unifi.it/papers/TOSCA01-XKlaim-Klava.ps.gz
Abstract
Highly distributed networks have now become a common infrastructure for a new kind of wide-area distributed applications whose key design principle is network awareness, namely the ability to deal with dynamic changes of the network environment. Network-aware computing has called for new programming languages that exploit the mobility paradigm as the basic interaction mechanism. In this paper we present the Klaim (Kernel Language for Agent Interaction and Mobility) framework for programming mobile code applications, namely the XKlaim programming language and the Java-based run-time system Klava. In particular, we illustrate how Klava handles mobile code. Finally, an example is shown that is implemented using this framework.

BibTeX code

@inproceedings{BDP01,
  booktitle = {TOSCA 2001},
  volume = {62},
  editor = {M. Lenisa and M. Miculan},
  url = {http://music.dsi.unifi.it/papers/TOSCA01-XKlaim-Klava.ps.gz},
  abstract = {Highly distributed networks have now become a common
              infrastructure for a new kind of wide-area distributed
              applications whose key design principle is network awareness,
              namely the ability to deal with dynamic changes of the network
              environment. Network-aware computing has called for new
              programming languages that exploit the mobility paradigm as the
              basic interaction mechanism. In this paper we present the Klaim
              (Kernel Language for Agent Interaction and Mobility) framework for
              programming mobile code applications, namely the XKlaim
              programming language and the Java-based run-time system Klava. In
              particular, we illustrate how Klava handles mobile code. Finally,
              an example is shown that is implemented using this framework.},
  author = {Bettini, Lorenzo and De Nicola, Rocco and Pugliese, Rosario},
  title = {{X-Klaim and Klava: Programming Mobile Code}},
  publisher = {Elsevier},
  year = {2001},
}


 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!