Dependable Computing

Third Latin-American Symposium, LADC 2007, Morella, Mexico, September 26-28, 2007. Proceedings

  • Editors
  • Andrea Bondavalli
  • Francisco Brasileiro
  • Sergio Rajsbaum
Conference proceedings LADC 2007

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

Table of contents

  1. Front Matter
  2. Invited Talks

  3. Fault-Tolerant Algorithms

    1. Jonatan Schroeder, Elias Procópio Duarte Jr.
      Pages 7-24
    2. Mikel Larrea, Alberto Lafuente, Iratxe Soraluze, Roberto Cortiñas, Joachim Wieland
      Pages 25-37
    3. Sara Tucci Piergiovanni, Roberto Baldoni
      Pages 38-56
  4. Software Engineering of Dependable Systems

    1. Ruben Alexandersson, Peter Öhman
      Pages 57-74
    2. Patrick Henrique S. Brito, Rogério de Lemos, Eliane Martins, Cecília M. Fischer Rubira
      Pages 75-94
    3. Fevzi Belli, Mubariz Eminov, Nida Gökçe
      Pages 95-110
  5. Networking and Mobile Computing

    1. José Carlos Bregieiro Ribeiro, Bruno Miguel Luís, Mário Zenha-Rela
      Pages 111-122
    2. Abdelmajid Khelil, Neeraj Suri
      Pages 123-141
    3. Talmai Brandão de Oliveira, Victor Franco Costa, Fabíola Greve
      Pages 142-159
  6. Experimental Dependability Evaluation

    1. João Muranho, Paula Prata, Mário Zenha-Rela, João Gabriel Silva
      Pages 160-169
    2. Ana Maria Ambrosio, Fátima Mattiello-Francisco, Valdivino A. Santiago Jr., Wendell P. Silva, Eliane Martins
      Pages 170-178
    3. Regina Moraes, João Durães, Eliane Martins, Henrique Madeira
      Pages 179-197
  7. Intrusion Tolerance and Security

    1. José Fonseca, Marco Vieira, Henrique Madeira
      Pages 198-211
    2. Ludovic Courtès, Marc-Olivier Killijian, David Powell
      Pages 212-230
  8. Tutorials

  9. Panels

  10. Back Matter

About these proceedings


Broadcast Roadcasting Windows algorithms broadcasting certification communication dependable computing distributed systems game theory safety-critical systems security systems availability systems modeling systems pe

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2007
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science Computer Science (R0)
  • Print ISBN 978-3-540-75293-6
  • Online ISBN 978-3-540-75294-3
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Materials & Steel
Finance, Business & Banking
IT & Software
Consumer Packaged Goods
Energy, Utilities & Environment
Oil, Gas & Geosciences