Publications
Search

Publications :: Search

Show venue

On this page you see the details of the selected venue.

    Conference
    Name: Global Computing, IST/FET International Workshop, GC 2004, Rovereto, Italy, March 9-12, 2004, Revised Selected Papers 2005
    DBLP: db/conf/gc/gc2004.html
    Bookmark:

    Below you find the publications assigned to this venue.

    Show item 1 to 10 of 18  
    Select a publication
    Show Title Venue Rating Date
    Conference paper
    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.
    Global Computing, IST/FET International Workshop, GC 2004, Rovereto, Italy, March 9-12, 2004, Revised Selected Papers 2005 (0) 2004
    Conference paper
    Luc Onana Alima, Ali Ghodsi, Seif Haridi.
    A Framework for Structured Peer-to-Peer Overlay Networks.
    Global Computing, IST/FET International Workshop, GC 2004, Rovereto, Italy, March 9-12, 2004, Revised Selected Papers 2005 (0) 2004
    Conference paper
    Erik Aurell, Sameh El-Ansary.
    A Physics-Style Approach to Scalability of Distributed systems.
    Global Computing, IST/FET International Workshop, GC 2004, Rovereto, Italy, March 9-12, 2004, Revised Selected Papers 2005 (0) 2004
    Conference paper
    Paolo Baldan, Andrea Bracciali, Roberto Bruni.
    Symbolic Equivalences for Open Systems.
    Global Computing, IST/FET International Workshop, GC 2004, Rovereto, Italy, March 9-12, 2004, Revised Selected Papers 2005 (0) 2004
    Conference paper
    Paolo Baldan, Andrea Corradini, Fabio Gadducci.
    Specifying and Verifying UML Activity Diagrams Via Graph Transformation.
    Global Computing, IST/FET International Workshop, GC 2004, Rovereto, Italy, March 9-12, 2004, Revised Selected Papers 2005 (0) 2004
    Conference paper
    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.
    Global Computing, IST/FET International Workshop, GC 2004, Rovereto, Italy, March 9-12, 2004, Revised Selected Papers 2005 (0) 2004
    Conference paper
    Johannes Borgström, Uwe Nestmann, Luc Onana Alima, Dilian Gurov.
    Verifying a Structured Peer-to-Peer Overlay Network: The Static Case.
    Global Computing, IST/FET International Workshop, GC 2004, Rovereto, Italy, March 9-12, 2004, Revised Selected Papers 2005 (0) 2004
    Conference paper
    Gérard Boudol.
    A Generic Membrane Model (Note).
    Global Computing, IST/FET International Workshop, GC 2004, Rovereto, Italy, March 9-12, 2004, Revised Selected Papers 2005 (0) 2004
    Conference paper
    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.
    Global Computing, IST/FET International Workshop, GC 2004, Rovereto, Italy, March 9-12, 2004, Revised Selected Papers 2005 (0) 2004
    Conference paper
    M. Brahami, Patrick Th. Eugster, Rachid Guerraoui, Sidath B. Handurukande.
    BGP-Based Clustering for Scalable and Reliable Gossip Broadcast.
    Global Computing, IST/FET International Workshop, GC 2004, Rovereto, Italy, March 9-12, 2004, Revised Selected Papers 2005 (0) 2004
    Show item 1 to 10 of 18  

    Your query returned 18 matches in the database.