Papers

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

Title Authors Year
MoSL: A Stochastic Logic for StoKlaim Rocco De Nicola, Joost-Pieter Katoen, Diego Latella, Michele Loreti, Mieke Massink 2006
Assessing CS1 java skills: a three-year experience Pilu Crescenzi, Michele Loreti, Rosario Pugliese 2006
From Process Calculi to Klaim and Back Rocco De Nicola 2006
On the expressive power of KLAIM-based calculi Rocco De Nicola, Daniele Gorla, Rosario Pugliese 2006
Towards a Logic for Performance and Mobility Rocco De Nicola, Pieter Katoen, Diego Latella, Mieke Massink 2006
A Java Package for Transparent Code Mobility Lorenzo Bettini 2005
Trustworthy Global Computing, International Symposium, TGC 2005, Edinburgh, UK, April 7-9, 2005, Revised Selected Papers 2005
Mobile Distributed Programming in X-Klaim Lorenzo Bettini, Rocco De Nicola 2005
A Mobility Calculus with Local and Dependent Types Mario Coppo, Federico Cozzi, Mariangiola Dezani-Ciancaglini, Elio Giovannetti, Rosario Pugliese 2005
MoMi: A Calculus for Mobile Mixins Lorenzo Bettini, Viviana Bono, Betti Venneri 2005
Translating Double-Dispatch into Single-Dispatch Lorenzo Bettini, Sara Capecchi, Betti Venneri 2005
Safe and Flexible Objects Lorenzo Bettini, Viviana Bono, Silvia Likavec 2005
Safe Object Composition in the Presence of Subtyping Lorenzo Bettini, Viviana Bono, Silvia Likavec 2005
Safe and Flexible Objects with Subtyping Lorenzo Bettini, Viviana Bono, Silvia Likavec 2005
A method for symbolic analysis of security protocols. Maria Grazia Buscemi, Michele Boreale 2005
Global Computing in a Dynamic Network of Tuple Spaces. Daniele Gorla, Rosario Pugliese, Rocco De Nicola 2005
A Process Calculus for QoS-Aware Applications. Rocco De Nicola, Gian Luigi Ferrari, Ugo Montanari, Rosario Pugliese, Emilio Tuosto 2005
Pattern Matching over a Dynamic Network of Tuple Spaces. Daniele Gorla, Rosario Pugliese, Rocco De Nicola 2005
Basic Observables for a Calculus for Global Computing. Daniele Gorla, Rosario Pugliese, Rocco De Nicola 2005
A Flexible and Modular Framework for Implementing Infrastructures for Global Computing Lorenzo Bettini, Rocco De Nicola, Daniele Falassi, Marc Lacoste, Michele Loreti 2005
<< previous | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10 | 11 next >>