Papers

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

Title Authors Year
MoMo: A Modal Logic for Reasoning About Mobility Rocco De Nicola, Michele Loreti 2004
Coordination Models and Languages, 6th International Conference, COORDINATION 2004, Pisa, Italy, February 24-27, 2004, Proceedings 2004
Extending Java to dynamic object behaviors Lorenzo Bettini, Sara Capecchi, Betti Venneri 2003
A Java Middleware for Guaranteeing Privacy of Distributed Tuple Spaces Lorenzo Bettini, Rocco De Nicola 2003
Linguistic Constructs for Object-Oriented Mobile Code Programming & their Implementations Lorenzo Bettini 2003
Estendere linguaggi orientati agli oggetti con il Double Dispatch (Extending object-oriented languages with Double Dispatch) Tommaso Paba 2003
Realizzazione di un'estensione di Java verso l'evoluzione dinamica degli oggetti (Implementing an extension of Java towards dynamic evolution of objects) Marco Naldini 2003
Resource Access and Mobility Control with Dynamic Privileges Acquisition Daniele Gorla, Rosario Pugliese 2003
Enforcing Security Policies via Types Daniele Gorla, Rosario Pugliese 2003
A Formal Basis for Reasoning on Programmable QoS Rocco De Nicola, Gian Luigi Ferrari, Ugo Montanari, Rosario Pugliese, Emilio Tuosto 2003
Nondeterministic regular expressions as solutions of equational systems Rocco De Nicola, Anna Labella 2003
Subtyping Mobile Classes and Mixins Lorenzo Bettini, Viviana Bono, Betti Venneri 2003
On Multiple Inheritance in Java Lorenzo Bettini, Michele Loreti, Betti Venneri 2003
A Java package for class and mixin mobility in a distributed setting Lorenzo Bettini 2003
Open nets, contexts and their properties Rocco De Nicola, Michele Loreti 2003
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 2003
X-Klaim and Klava: Programming Mobile Code Lorenzo Bettini, Rocco De Nicola, Rosario Pugliese 2002
Modelling Node Connectivity in Dynamically Evolving Networks Lorenzo Bettini, Michele Loreti, Rosario Pugliese 2002
AGILE: Software Architecture for Mobility Luis Filipe Andrade, Paolo Baldan, Hubert Baumeister, Roberto Bruni, Andrea Corradini, Rocco De Nicola, José Luiz Fiadeiro, Fabio Gadducci, Stefania Gnesi, Piotr Hoffman, Nora Koch, Piotr Kosiuczenko, Alessandro Lapadula, Diego Latella, Antónia Lopes, Michele Loreti, Mieke Massink, Franco Mazzanti, Ugo Montanari, Cristóv\ ao Oliveira, Rosario Pugliese, Andrzej Tarlecki, Michel Wermelinger, Martin Wirsing, Artur Zawlocki 2002
Klava: a Java Package for Distributed and Mobile Applications Lorenzo Bettini, Rocco De Nicola, Rosario Pugliese 2002
<< previous | 5 | 6 | 7 | 8 | 9 | 10 | 11 | 12 | 13 next >>