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 

BDFLL05 (In proceedings)
Author(s) Lorenzo Bettini, Rocco De Nicola, Daniele Falassi, Marc Lacoste and Michele Loreti
Title« A Flexible and Modular Framework for Implementing Infrastructures for Global Computing »
InProc. of 5th IFIP Int. Conf. on Distributed Applications and Interoperable Systems (DAIS)
SeriesLNCS
Volume3543
Page(s)181--193
Year2005
PublisherSpringer
URLhttp://rap.dsi.unifi.it/~bettini/bibliography/files/imc-dais.pdf
Abstract
We present a Java software framework for building infrastructures to support the development of applications for systems where mobility and network awareness are key issues. The framework is particularly useful to develop run-time support for languages oriented towards global computing. It enables platform designers to customize communication protocols and network architectures and guarantees transparency of name management and code mobility in distributed environments. The key features are illustrated by means of a couple of simple case studies.

BibTeX code

@inproceedings{BDFLL05,
  volume = {3543},
  author = {Bettini, Lorenzo and De Nicola, Rocco and Falassi, Daniele and
            Lacoste, Marc and Loreti, Michele},
  series = {LNCS},
  booktitle = {Proc. of 5th IFIP Int. Conf. on Distributed Applications and
               Interoperable Systems (DAIS)},
  url = {http://rap.dsi.unifi.it/~bettini/bibliography/files/imc-dais.pdf},
  title = {{A Flexible and Modular Framework for Implementing Infrastructures
           for Global Computing}},
  abstract = {We present a Java software framework for building infrastructures
              to support the development of applications for systems where
              mobility and network awareness are key issues. The framework is
              particularly useful to develop run-time support for languages
              oriented towards global computing. It enables platform designers
              to customize communication protocols and network architectures and
              guarantees transparency of name management and code mobility in
              distributed environments. The key features are illustrated by
              means of a couple of simple case studies.},
  publisher = {Springer},
  pages = {181--193},
  year = {2005},
}


 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!