Dependable Computing

First Latin-American Symposium, LADC 2003, São Paulo, Brazil, October 21-24, 2003. Proceedings

  • Rogério de Lemos
  • Taisy Silva Weber
  • João Batista CamargoJr.
Conference proceedings LADC 2003

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

Table of contents

  1. Front Matter
  2. Invited Talks

    1. Vijay Machiraju, Akhil Sahai, Aad van Moorsel
      Pages 4-7
  3. Fault Injection

    1. Pedro Costa, Marco Vieira, Henrique Madeira, João Gabriel Silva
      Pages 8-22
    2. Pedro Yuste, Juan Carlos Ruiz, Lenin Lemus, Pedro Gil
      Pages 23-38
    3. Luís Santos, Mário Zenha Rela
      Pages 39-55
    4. Regina Lúcia de Oliveira Moraes, Eliane Martins
      Pages 56-68
    5. Håkan Sivencrona, Per Johannessen, Mattias Persson, Jan Torin
      Pages 69-80
  4. Security

    1. Vishu Gupta, Vinh Lam, HariGovind V. Ramasamy, William H. Sanders, Sankalp Singh
      Pages 81-101
    2. Emerson Ribeiro de Mello, Joni da Silva Fraga, Altair Olivo Santin, Frank Siqueira
      Pages 102-116
    3. Mauro Borchardt, Carlos Maziero, Edgard Jamhour
      Pages 117-126
    4. Paulo César Herrmann Wanner, Raul Fernando Weber
      Pages 127-136
  5. Adaptive Fault Tolerance

    1. Henrique Madeira, João Durães, Marco Vieira
      Pages 137-159
    2. Marcos A. M. de Moura, Markus Endler
      Pages 160-180
    3. Jose Lino Contreras, Jean Louis Sourrouille
      Pages 181-196
    4. Klaus Echtle, Irene Eusgeld
      Pages 197-213
  6. Distributed Algorithms

About these proceedings

Keywords

CORBA algorithms architecture calculus communication dependable computing dependable systems embedded systems fault-tolerant systems formal specification quality assurance safety-critical systems systems availability systems performance systems validation

Editors and affiliations

  • Rogério de Lemos
    • 1
  • Taisy Silva Weber
    • 2
  • João Batista CamargoJr.
    • 3
  1. 1.Computing LaboratoryUniversity of Kent 
  2. 2.Instituto de InformáticaUniversidade Federal do Rio Grande do SulPorto AlegreBrazil
  3. 3.Escola Politécnica Travessa 3, NúmeroUniversidade de São Paulo,São PauloBrazil

Bibliographic information

  • DOI https://doi.org/10.1007/b13952
  • Copyright Information Springer-Verlag Berlin Heidelberg 2003
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-20224-0
  • Online ISBN 978-3-540-45214-0
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book
Industry Sectors
Electronics
Telecommunications
Biotechnology