Searching for authors named "Giovanna Di Marzo Serugendo" – sorted by Relevance.
11 documents found, showing 1 through 10.
Next 10 →
-
A Social Semantic Infrastructure for Decentralised Systems Based on Specification-Carrying Code and Trust
- … and Trust Giovanna Di Marzo Serugendo ¡ Centre Universitaire d’Informatique University of Geneva 24, rue…
- Add To MetaCart
-
Formal Development of Java Programs
- …Formal Development of Java Programs 1 Giovanna Di Marzo Serugendo 1;2 , Nicolas Guelfi 1 , 1…
- Add To MetaCart
-
Towards a Secure and Efficient Model for Grid Computing using Mobile Code
- … , Giovanna Di Marzo Serugendo 2, and Jarle Hulaas 2 CoCo Software Engineering GmbH, Vienna, Austria 2…
- Cited by 6 (1 self) – Add To MetaCart
-
Enhancing Java grid computing security with resource control
- … , and Giovanna Di Marzo Serugendo 2 1 School of Computer and Communication Sciences Swiss Federal Institute…
- Cited by 1 (1 self) – Add To MetaCart
-
CO-OPN/2 Specification of the DSGamma System Designed Using Coordinated Atomic Actions
- … Di Marzo Serugendo 1 , Nicolas Guelfi 1 , Alexander Romanovsky 2 , Avelino Zorzo 2 1 LGL-DI…
- Add To MetaCart
-
A Survey of Theories for Mobile Agents
- …A Survey of Theories for Mobile Agents 1) Giovanna Di Marzo Serugendo Centre Universitaire d…
- Add To MetaCart
-
Formal Development and Validation of the DSGamma System Based on CO-OPN/2 and Coordinated Atomic Actions
- … Actions Giovanna Di Marzo Serugendo 1 , Nicolas Guelfi 1 , Alexander Romanovsky 2 , Avelino Zorzo…
- Add To MetaCart
-
Adding Real Time Constraints to Synchronised Petri Nets
- …Adding Real Time Constraints to Synchronised Petri Nets Giovanna Di Marzo Serugendo 1 , Dino…
- Add To MetaCart
-
A Survey of Theories for Mobile Agents
- …A Survey of Theories for Mobile Agents 1) Giovanna Di Marzo Serugendo Centre Universitaire d…
- Cited by 10 (2 self) – Add To MetaCart
-
Formal Development and Validation of Java Dependable Distributed Systems
- …Formal Development and Validation of Java Dependable Distributed Systems Giovanna Di Marzo…
- Add To MetaCart
Showing 1 through 10.
Next 10 →
