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 

BDFP00 (In proceedings)
Author(s) Lorenzo Bettini, Rocco De Nicola, GianLuigi Ferrari and Rosario Pugliese
Title« Mobile Applications in X-KLAIM »
InProc. of WOA 2000
Editor(s) A. Corradi, A. Omicini and A. Poggi
Page(s)1-6
Year2000
URLhttp://music.dsi.unifi.it/papers/woa2000.ps.gz
Abstract
Networking has turned computers from isolated data processors into powerful communication and elaboration devices, called global computers; an illustrative example is the World-Wide Web. Global computers are rapidly evolving towards programmability. The new scenario has called for new programming languages and paradigms centered around the notions of mobility and location awareness. In this paper, we briefly present X-Klaim, an experimental programming language for global computers, and show a few programming examples.

BibTeX code

@inproceedings{BDFP00,
  author = {Bettini, Lorenzo and De Nicola, Rocco and Ferrari, GianLuigi and
            Pugliese, Rosario},
  booktitle = {Proc. of WOA 2000},
  editor = {A. Corradi and A. Omicini and A. Poggi},
  url = {http://music.dsi.unifi.it/papers/woa2000.ps.gz},
  abstract = {Networking has turned computers from isolated data processors into
              powerful communication and elaboration devices, called global
              computers; an illustrative example is the World-Wide Web. Global
              computers are rapidly evolving towards programmability. The new
              scenario has called for new programming languages and paradigms
              centered around the notions of mobility and location awareness. In
              this paper, we briefly present X-Klaim, an experimental
              programming language for global computers, and show a few
              programming examples.},
  title = {{Mobile Applications in X-KLAIM}},
  year = {2000},
  pages = {1-6},
}


 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!