Skip to main content
  • Conference proceedings
  • © 2007

Dependable Computing

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

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

Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)

Conference series link(s): LADC: Latin-American Symposium on Dependable Computing

Conference proceedings info: LADC 2007.

Buy it now

Buying options

eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

This is a preview of subscription content, log in via an institution to check for access.

Table of contents (21 papers)

  1. Front Matter

  2. Fault-Tolerant Algorithms

    1. Fault-Tolerant Dynamic Routing Based on Maximum Flow Evaluation

      • Jonatan Schroeder, Elias Procópio Duarte Jr.
      Pages 7-24
    2. On the Implementation of Communication-Optimal Failure Detectors

      • Mikel Larrea, Alberto Lafuente, Iratxe Soraluze, Roberto Cortiñas, Joachim Wieland
      Pages 25-37
    3. Connectivity in Eventually Quiescent Dynamic Distributed Systems

      • Sara Tucci Piergiovanni, Roberto Baldoni
      Pages 38-56
  3. Software Engineering of Dependable Systems

    1. Implementing Fault Tolerance Using Aspect Oriented Programming

      • Ruben Alexandersson, Peter Öhman
      Pages 57-74
    2. Architecture-Centric Fault Tolerance with Exception Handling

      • Patrick Henrique S. Brito, Rogério de Lemos, Eliane Martins, Cecília M. Fischer Rubira
      Pages 75-94
    3. Coverage-Oriented, Prioritized Testing – A Fuzzy Clustering Approach and Case Study

      • Fevzi Belli, Mubariz Eminov, Nida Gökçe
      Pages 95-110
  4. Networking and Mobile Computing

    1. Error Propagation Monitoring on Windows Mobile-Based Devices

      • José Carlos Bregieiro Ribeiro, Bruno Miguel Luís, Mário Zenha-Rela
      Pages 111-122
    2. Gossiping: Adaptive and Reliable Broadcasting in MANETs

      • Abdelmajid Khelil, Neeraj Suri
      Pages 123-141
    3. On the Behavior of Broadcasting Protocols for MANETs Under Omission Faults Scenarios

      • Talmai Brandão de Oliveira, Victor Franco Costa, Fabíola Greve
      Pages 142-159
  5. Experimental Dependability Evaluation

    1. Failure Boundedness in Discrete Applications

      • João Muranho, Paula Prata, Mário Zenha-Rela, João Gabriel Silva
      Pages 160-169
    2. Designing Fault Injection Experiments Using State-Based Model to Test a Space Software

      • Ana Maria Ambrosio, Fátima Mattiello-Francisco, Valdivino A. Santiago Jr., Wendell P. Silva, Eliane Martins
      Pages 170-178
    3. Component-Based Software Certification Based on Experimental Risk Assessment

      • Regina Moraes, João Durães, Eliane Martins, Henrique Madeira
      Pages 179-197
  6. Intrusion Tolerance and Security

    1. Integrated Intrusion Detection in Databases

      • José Fonseca, Marco Vieira, Henrique Madeira
      Pages 198-211
    2. Security Rationale for a Cooperative Backup Service for Mobile Devices

      • Ludovic Courtès, Marc-Olivier Killijian, David Powell
      Pages 212-230

Other Volumes

  1. Dependable Computing

Bibliographic Information

Buy it now

Buying options

eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access