The SCEAS System
Navigation Menu

Conferences in DBLP

Global Computing (gc)
2004 (conf/gc/2004)

  1. Paolo Baldan, Andrea Bracciali, Roberto Bruni
    Symbolic Equivalences for Open Systems. [Citation Graph (0, 0)][DBLP]
    Global Computing, 2004, pp:1-17 [Conf]
  2. 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]
  3. 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]
  4. 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]
  5. 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]
  6. 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]
  7. 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]
  8. 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]
  9. 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]
  10. 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]
  11. Gérard Boudol
    A Generic Membrane Model (Note). [Citation Graph (0, 0)][DBLP]
    Global Computing, 2004, pp:208-222 [Conf]
  12. 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]
  13. 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]
  14. 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]
  15. 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]
  16. 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]
  17. 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]
  18. 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]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002