SAC '00 Proceedings of the 2000 ACM symposium on Applied computing - Volume 1
Types of specifications of access policies
Secure Internet programming
Software update via mobile agent based programming
Proceedings of the 2002 ACM symposium on Applied computing
An infrastructure language for open nets
Proceedings of the 2002 ACM symposium on Applied computing
Using mobile code to provide fault tolerance in tuple space based coordination languages
Science of Computer Programming - Special issue on coordination languages and architectures
An Ada95 Implementation of a Network Coordination Language with Code Mobility
Ada-Europe '99 Proceedings of the 1999 Ada-Europe International Conference on Reliable Software Technologies
Programming Access Control: The KLAIM Experience
CONCUR '00 Proceedings of the 11th International Conference on Concurrency Theory
COORDINATION '00 Proceedings of the 4th International Conference on Coordination Languages and Models
Coordinating Mobile Object-Oriented Code
COORDINATION '02 Proceedings of the 5th International Conference on Coordination Models and Languages
Formalizing Properties of Mobile Agent Systems
COORDINATION '02 Proceedings of the 5th International Conference on Coordination Models and Languages
Translating Strong Mobility into Weak Mobility
MA '01 Proceedings of the 5th International Conference on Mobile Agents
KLAVA: a Java package for distributed and mobile applications
Software—Practice & Experience
Formulae Meet Programs Over the Net: A Framework for Correct Network Aware Programming
Automated Software Engineering
On the expressive power of KLAIM-based calculi
Theoretical Computer Science - Expressiveness in concurrency
Basic observables for a calculus for global computing
Information and Computation
A flexible and modular framework for implementing infrastructures for global computing
DAIS'05 Proceedings of the 5th IFIP WG 6.1 international conference on Distributed Applications and Interoperable Systems
Basic observables for a calculus for global computing
ICALP'05 Proceedings of the 32nd international conference on Automata, Languages and Programming
A java package for transparent code mobility
FIDJI'04 Proceedings of the 4th international conference on Scientific Engineering of Distributed Java Applications
Pattern matching over a dynamic network of tuple spaces
FMOODS'05 Proceedings of the 7th IFIP WG 6.1 international conference on Formal Methods for Open Object-Based Distributed Systems
Global computing in a dynamic network of tuple spaces
COORDINATION'05 Proceedings of the 7th international conference on Coordination Models and Languages
Modeling adaptation with a tuple-based coordination language
Proceedings of the 27th Annual ACM Symposium on Applied Computing
Modeling adaptation with Klaim
ACM SIGAPP Applied Computing Review
Hi-index | 0.00 |