Global Computing

IST/FET International Workshop, GC 2004 Rovereto, Italy, March 9-12, 2004 Revised Selected Papers

  • Corrado Priami
  • Paola Quaglia
Conference proceedings GC 2004

Part of the Lecture Notes in Computer Science book series (LNCS, volume 3267)

Table of contents

  1. Front Matter
  2. Paolo Baldan, Andrea Bracciali, Roberto Bruni
    Pages 1-17
  3. Paolo Baldan, Andrea Corradini, Fabio Gadducci
    Pages 18-33
  4. Diego Latella, Mieke Massink, Hubert Baumeister, Martin Wirsing
    Pages 34-58
  5. Chara Skouteli, Christoforos Panayiotou, George Samaras, Evaggelia Pitoura
    Pages 59-76
  6. Angelo Troina, Alessandro Aldini, Roberto Gorrieri
    Pages 77-92
  7. Mikael Buchholtz, Carlo Montangero, Lara Perrone, Simone Semprini
    Pages 93-106
  8. Katerina Pokozy-Korenblat, Corrado Priami, Paola Quaglia
    Pages 107-126
  9. Alan Schmitt, Jean-Bernard Stefani
    Pages 146-178
  10. Lorenzo Bettini, Rocco De Nicola, Daniele Falassi, Marc Lacoste, Luís Lopes, Licínio Oliveira et al.
    Pages 179-207
  11. Gérard Boudol
    Pages 208-222
  12. Luc Onana Alima, Ali Ghodsi, Seif Haridi
    Pages 223-249
  13. Johannes Borgström, Uwe Nestmann, Luc Onana, Dilian Gurov
    Pages 250-265
  14. Erik Aurell, Sameh El-Ansary
    Pages 266-272
  15. M. Brahami, P. Th. Eugster, R. Guerraoui, S. B. Handurukande
    Pages 273-290
  16. S. Terzis, W. Wagealla, C. English, P. Nixon
    Pages 291-313
  17. Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni
    Pages 314-339
  18. A. Bracciali, N. Demetriou, U. Endriss, A. Kakas, W. Lu, P. Mancarella et al.
    Pages 340-367
  19. Back Matter

About these proceedings

Keywords

Cluster UML Unified Modeling Language (UML) algorithm algorithms dependable computing distributed computing distributed systems formal methods global computing logic mobile computing open systems security verification

Editors and affiliations

  • Corrado Priami
    • 1
  • Paola Quaglia
    • 2
  1. 1.Centre for Computational and Systems BiologyThe Microsoft Research - University of TrentoPovoItaly
  2. 2.Dipartimento di Informatica e TelecomunicazioniUniversità di TrentoItaly

Bibliographic information

  • DOI https://doi.org/10.1007/b103251
  • Copyright Information Springer-Verlag Berlin Heidelberg 2005
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-540-24101-0
  • Online ISBN 978-3-540-31794-4
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book
Industry Sectors
Pharma
Automotive
Finance, Business & Banking
Electronics
IT & Software
Telecommunications
Energy, Utilities & Environment
Aerospace
Engineering