Papers

Page 9 of 15, showing 20 records out of 282 total, starting on record 161, ending on 180

 

On Multiple Inheritance in Java
Lorenzo Bettini, Michele Loreti, Betti Venneri
Technology of Object-Oriented Languages, Systems and Architectures, Proc. of TOOLS Eastern Europe 2002. Theo D'Hondt (Eds.). pages 1-15. Publisher: Kluwer Academic Publishers. 2003.
Abstract   Bibtex   gz   

 

A Java package for class and mixin mobility in a distributed setting
Lorenzo Bettini
Proc. of FIDJI'03. N.Guelfi and E.Astesiano and G.Reggio (Eds.). pages 12-22. volume 2952. Publisher: Springer. Series: LNCS. 2003.
Abstract   Bibtex   gz   

 

 

The Klaim Project: Theory and Practice
Lorenzo Bettini, Viviana Bono, Rocco De Nicola, GianLuigi Ferrari, Daniele Gorla, Michele Loreti, Eugenio Moggi, Rosario Pugliese, Emilio Tuosto, Betti Venneri
Global Computing. Programming Environments, Languages, Security, and Analysis of Systems, IST/FET International Workshop, GC 2003, Revised Papers. C. Priami (Eds.). pages 88-150. volume 2874. Publisher: Springer. Series: LNCS. 2003.
Abstract   Bibtex   gz   

 

X-Klaim and Klava: Programming Mobile Code
Lorenzo Bettini, Rocco De Nicola, Rosario Pugliese
TOSCA 2001. M. Lenisa, M. Miculan (Eds.). pages 24-37. volume 62. Publisher: Elsevier. Series: ENTCS. 2002.
Abstract   Bibtex   gz   

 

Modelling Node Connectivity in Dynamically Evolving Networks
Lorenzo Bettini, Michele Loreti, Rosario Pugliese
ConCoord International Workshop on Concurrency and Coordination. volume 54. Publisher: Elsevier. Series: ENTCS. 2002.
Abstract   Bibtex   gz   

 

 

Klava: a Java Package for Distributed and Mobile Applications
Lorenzo Bettini, Rocco De Nicola, Rosario Pugliese
Software - Practice and Experience. pages 1365-1394. volume 32. number 14. Publisher: John Wiley & Sons. 2002.
Abstract   Bibtex   gz   

 

Software Update via Mobile Agent Based Programming
Lorenzo Bettini, Rocco De Nicola, Michele Loreti
Proc. of SAC, Special Track on Agents, Interactions, Mobility, and Systems. pages 32-36. Publisher: ACM Press. 2002.
Abstract   Bibtex   gz   

 

 

Guardians for Ambient-based Monitoring
Gian Luigi Ferrari, Eugenio Moggi, Rosario Pugliese
Electr. Notes Theor. Comput. Sci.. volume 66. number 3. 2002.
Bibtex   

 

 

An Infrastructure Language for Open Nets
Lorenzo Bettini, Michele Loreti, Rosario Pugliese
Proc. of SAC, Special Track on Coordination Models, Languages and Applications. pages 373-377. Publisher: ACM Press. 2002.
Abstract   Bibtex   gz   gz   

 

 

Coordinating Mobile Object-Oriented Code
Lorenzo Bettini, Viviana Bono, Betti Venneri
Proc. of Coordination 2002. F. Arbab and C. Talcott (Eds.). pages 56-71. number 2315. Publisher: Springer. Series: LNCS. 2002.
Abstract   Bibtex   gz   

 

Formalizing Properties of Mobile Agent Systems
Lorenzo Bettini, Rocco De Nicola, Michele Loreti
Proc. of Coordination 2002. F. Arbab and C. Talcott (Eds.). pages 72-87. number 2315. Publisher: Springer. Series: LNCS. 2002.
Abstract   Bibtex   gz   

 

 

On Compositional Reasoning in the Spi-Calculus
Michele Boreale, Daniele Gorla
FoSSaCS'02 Proceedings. M.Nielsen, H.U.Engberg (Eds.). pages 67-81. number 2303. Publisher: Springer. Series: LNCS. 2002.
Bibtex   pdf   

 

A Framework for the Analysis of Security Protocols
Michele Boreale, Marzia Buscemi
Proc. of CONCUR '02. Publisher: Springer. 2002.
Bibtex   gz   

 

A Modal Logic for Mobile Agents
Rocco De Nicola, Michele Loreti
ACM Transactions on Computational Logic. Publisher: ACM. 2002. to appear.
Abstract   Bibtex   gz   

 

<< previous | 5 | 6 | 7 | 8 | 9 | 10 | 11 | 12 | 13 next >>