Papers

Page 7 of 15, showing 20 records out of 285 total, starting on record 121, ending on 140

 

MoMi: A Calculus for Mobile Mixins
Lorenzo Bettini, Viviana Bono, Betti Venneri
Acta Informatica. pages 143 - 190. volume 42. number 2-3. Publisher: Springer. 2005.
Abstract   Bibtex   ps   url   

 

Translating Double-Dispatch into Single-Dispatch
Lorenzo Bettini, Sara Capecchi, Betti Venneri
Proceedings of the Second Workshop on Object Oriented Developments (WOOD 2004). pages 59-78. volume 138. number 2. Publisher: Elsevier. Series: ENTCS. 2005.
Abstract   Bibtex   pdf   

 

Safe and Flexible Objects
Lorenzo Bettini, Viviana Bono, Silvia Likavec
Proc. of SAC 2005, Special Track on Object-Oriented Programming Languages and Systems (OOPS). pages 1268-1273. Publisher: ACM Press. 2005.
Abstract   Bibtex   pdf   

 

Safe Object Composition in the Presence of Subtyping
Lorenzo Bettini, Viviana Bono, Silvia Likavec
Proc. of ICTCS 2005. M. Coppo, E. Lodi, G.M. Pinna (Eds.). pages 128-142. volume 3701. Publisher: Springer. Series: LNCS. 2005.
Abstract   Bibtex   pdf   

 

Safe and Flexible Objects with Subtyping
Lorenzo Bettini, Viviana Bono, Silvia Likavec
Journal of Object Technology, Special Issue: OOPS Track at SAC 2005. pages 5-29. volume 4. number 10. 2005.
Abstract   Bibtex   url   

 

A method for symbolic analysis of security protocols.
Maria Grazia Buscemi, Michele Boreale
Theor. Comput. Sci.. pages 393-425. volume 338. number 1-3. 2005.
Bibtex   

 

Global Computing in a Dynamic Network of Tuple Spaces.
Daniele Gorla, Rosario Pugliese, Rocco De Nicola
Coordination Models and Languages, 7th International Conference, COORDINATION 2005, Namur, Belgium, April 20-23, 2005, Proceedings. Jean-Marie Jacquet, Gian Pietro Picco (Eds.). pages 157-172. volume 3454. Publisher: Springer. Series: Lecture Notes in Computer Science. 2005.
Bibtex   

 

A Process Calculus for QoS-Aware Applications.
Rocco De Nicola, Gian Luigi Ferrari, Ugo Montanari, Rosario Pugliese, Emilio Tuosto
Coordination Models and Languages, 7th International Conference, COORDINATION 2005, Namur, Belgium, April 20-23, 2005, Proceedings. Jean-Marie Jacquet, Gian Pietro Picco (Eds.). pages 33-48. volume 3454. Publisher: Springer. Series: Lecture Notes in Computer Science. 2005.
Bibtex   

 

Pattern Matching over a Dynamic Network of Tuple Spaces.
Daniele Gorla, Rosario Pugliese, Rocco De Nicola
Formal Methods for Open Object-Based Distributed Systems, 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005, Pro. Martin Steffen, Gianluigi Zavattaro (Eds.). pages 1-14. volume 3535,year. Publisher: Springer. Series: Lecture Notes in Computer Science. 2005.
Bibtex   

 

Basic Observables for a Calculus for Global Computing.
Daniele Gorla, Rosario Pugliese, Rocco De Nicola
Automata, Languages and Programming, 32nd International Colloquium, ICALP 2005, Lisbon, Portugal, July 11-15, 2005, Proceedings. Luìs Caires, Giuseppe F. Italiano, Luìs Monteiro, Catuscia Palamidessi, Moti Yung (Eds.). pages 1226-1238. volume 3580,,. Publisher: Springer. Series: Lecture Notes in Computer Science. 2005.
Bibtex   

 

A Flexible and Modular Framework for Implementing Infrastructures for Global Computing
Lorenzo Bettini, Rocco De Nicola, Daniele Falassi, Marc Lacoste, Michele Loreti
Proc. of 5th IFIP Int. Conf. on Distributed Applications and Interoperable Systems (DAIS). pages 181--193. volume 3543. Publisher: Springer. Series: LNCS. 2005.
Abstract   Bibtex   pdf   

 

 

 

Types in concurrency
Rocco De Nicola, Davide Sangiorgi
Acta Inf.. pages 79-81. volume 42. number 2-3. 2005.
Bibtex   

 

Trustworthy Global Computing, International Symposium, TGC 2005, Edinburgh, UK, April 7-9, 2005, Revised Selected Papers

TGC. Rocco De Nicola, Davide Sangiorgi (Eds.). volume 3705. Publisher: Springer. Series: Lecture Notes in Computer Science. 2005.
Bibtex   

 

 

On the Expressive Power of Klaim-based Calculi
Rocco De Nicola, Daniele Gorla, Rosario Pugliese
Electr. Notes Theor. Comput. Sci.. pages 117-130. volume 128. number 2. 2005.
Bibtex   

 

Coordination Models and Languages, 6th International Conference, COORDINATION 2004, Pisa, Italy, February 24-27, 2004, Proceedings

COORDINATION. Rocco De Nicola, Gian Luigi Ferrari, Greg Meredith (Eds.). volume 2949. Publisher: Springer. Series: Lecture Notes in Computer Science. ISBN: 3-540-21044-X. 2004.
Bibtex   

 

Formulae meet Programs over the Net: a Framework for Correct Network Aware Programming
Lorenzo Bettini, Rocco De Nicola, Michele Loreti
Automated Software Engineering: Special Issue on Distributed and Mobile Software Engineering. pages 245-288. volume 11. number 3. 2004.
Abstract   Bibtex   gz   

 

Data Privacy in Tuple Space Based Mobile Agent Systems
Lorenzo Bettini
2nd Int. Workshop on Security Issues in Coordination Models, Languages, and Systems (SecCo). R.Focardi and G.Zavattaro (Eds.). pages 3-16. volume 128. number 5. Publisher: Elsevier. Series: ENTCS. 2004.
Abstract   Bibtex   pdf   

 

<< previous | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10 | 11 next >>