Advertisement

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

    1. Ricardo Marcelín-Jiménez, Sergio Rajsbaum
      Pages 214-233
    2. Raul Ceretta Nunes, Ingrid Jansch-Pôrto
      Pages 254-263
    3. Antonio Caruso, Luiz Albini, Piero Maestrini
      Pages 264-281
  7. Components and Fault Tolerance

    1. Eliane Martins, Maria de Fátima Mattiello-Francisco
      Pages 282-302
    2. Andrea Bondavalli, Silvano Chiaradonna, Domenico Cotroneo, Luigi Romano
      Pages 303-320
    3. Fernando Castor Filho, Paulo Asterio de C. Guerra, Cecília Mary F. Rubira
      Pages 321-340
    4. Fernando L. Dotti, Osmar M. dos Santos, Eduardo T. Rödel
      Pages 341-360
  8. Panel

  9. Workshops

    1. João Batista Camargo Jr., Rogério de Lemos
      Pages 362-362
    2. Avelino Zorzo, Francisco Brasileiro, Ingrid Jansch-Pôrto
      Pages 363-363
  10. Tutorials

    1. Carlos A. T. Moura, Carlos H. N. Lahoz, Martha A. D. Abdala
      Pages 369-370
  11. Back Matter

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
  • Buy this book on publisher's site
Industry Sectors
Biotechnology
Electronics
IT & Software
Telecommunications