|
Conferences in DBLP
- Paolo Baldan, Andrea Bracciali, Roberto Bruni
Symbolic Equivalences for Open Systems. [Citation Graph (0, 0)][DBLP] Global Computing, 2004, pp:1-17 [Conf]
- Paolo Baldan, Andrea Corradini, Fabio Gadducci
Specifying and Verifying UML Activity Diagrams Via Graph Transformation. [Citation Graph (0, 0)][DBLP] Global Computing, 2004, pp:18-33 [Conf]
- Diego Latella, Mieke Massink, Hubert Baumeister, Martin Wirsing
Mobile UML Statecharts with Localities. [Citation Graph (0, 0)][DBLP] Global Computing, 2004, pp:34-58 [Conf]
- Chara Skouteli, Christoforos Panayiotou, George Samaras, Evaggelia Pitoura
Communities: Concept-Based Querying for Mobile Services. [Citation Graph (0, 0)][DBLP] Global Computing, 2004, pp:59-76 [Conf]
- Angelo Troina, Alessandro Aldini, Roberto Gorrieri
Towards a Formal Treatment of Secrecy Against Computational Adversaries. [Citation Graph (0, 0)][DBLP] Global Computing, 2004, pp:77-92 [Conf]
- Mikael Buchholtz, Carlo Montangero, Lara Perrone, Simone Semprini
For-LySa: UML for Authentication Analysis. [Citation Graph (0, 0)][DBLP] Global Computing, 2004, pp:93-106 [Conf]
- Katerina Pokozy-Korenblat, Corrado Priami, Paola Quaglia
Performance Analysis of a UML Micro-business Case Study. [Citation Graph (0, 0)][DBLP] Global Computing, 2004, pp:107-126 [Conf]
- Sotiris E. Nikoletseas, Paul G. Spirakis
Efficient Information Propagation Algorithms in Smart Dust and NanoPeer Networks. [Citation Graph (0, 0)][DBLP] Global Computing, 2004, pp:127-145 [Conf]
- Alan Schmitt, Jean-Bernard Stefani
The Kell Calculus: A Family of Higher-Order Distributed Process Calculi. [Citation Graph (0, 0)][DBLP] Global Computing, 2004, pp:146-178 [Conf]
- Lorenzo Bettini, Rocco De Nicola, Daniele Falassi, Marc Lacoste, Luís M. B. Lopes, Licínio Oliveira, Hervé Paulino, Vasco Thudichum Vasconcelos
A Software Framework for Rapid Prototyping of Run-Time Systems for Mobile Calculi. [Citation Graph (0, 0)][DBLP] Global Computing, 2004, pp:179-207 [Conf]
- Gérard Boudol
A Generic Membrane Model (Note). [Citation Graph (0, 0)][DBLP] Global Computing, 2004, pp:208-222 [Conf]
- Luc Onana Alima, Ali Ghodsi, Seif Haridi
A Framework for Structured Peer-to-Peer Overlay Networks. [Citation Graph (0, 0)][DBLP] Global Computing, 2004, pp:223-249 [Conf]
- Johannes Borgström, Uwe Nestmann, Luc Onana Alima, Dilian Gurov
Verifying a Structured Peer-to-Peer Overlay Network: The Static Case. [Citation Graph (0, 0)][DBLP] Global Computing, 2004, pp:250-265 [Conf]
- Erik Aurell, Sameh El-Ansary
A Physics-Style Approach to Scalability of Distributed systems. [Citation Graph (0, 0)][DBLP] Global Computing, 2004, pp:266-272 [Conf]
- M. Brahami, Patrick Th. Eugster, Rachid Guerraoui, Sidath B. Handurukande
BGP-Based Clustering for Scalable and Reliable Gossip Broadcast. [Citation Graph (0, 0)][DBLP] Global Computing, 2004, pp:273-290 [Conf]
- Sotirios Terzis, Waleed Wagealla, Colin English, Paddy Nixon
Trust Lifecycle Management in a Global Computing Environment. [Citation Graph (0, 0)][DBLP] Global Computing, 2004, pp:291-313 [Conf]
- Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni
The SOCS Computational Logic Approach to the Specification and Verification of Agent Societies. [Citation Graph (0, 0)][DBLP] Global Computing, 2004, pp:314-339 [Conf]
- Andrea Bracciali, Neophytos Demetriou, Ulrich Endriss, Antonis C. Kakas, Wenjin Lu, Paolo Mancarella, Fariba Sadri, Kostas Stathis, Giacomo Terreni, Francesca Toni
The KGP Model of Agency for Global Computing: Computational Model and Prototype Implementation. [Citation Graph (0, 0)][DBLP] Global Computing, 2004, pp:340-367 [Conf]
|