Skip to main content
Springer Nature Link
Log in

Dependable Computing

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

  • Conference proceedings
  • © 2007

Overview

Editors:
  1. Andrea Bondavalli
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Francisco Brasileiro
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Sergio Rajsbaum
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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)

Included in the following conference series:

Conference proceedings info: LADC 2007.

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

Access this book

Log in via an institution
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

Licence this eBook for your library

Institutional subscriptions

Keywords

Table of contents (21 papers)

  1. Front Matter

    Download chapter PDF

  3. 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

  4. 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

  5. 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

  6. 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

  7. 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

  8. Tutorials

    1. Do You Know... How to Analyze and Share Results from Dependability Evaluation Experiments?

      • Marco Vieira, Henrique Madeira
      Pages 231-232

    2. Security Patterns and Secure Systems Design

      • Eduardo B. Fernandez
      Pages 233-234

    3. BAR—Where Distributed Computing Meets Game Theory

      • Lorenzo Alvisi
      Pages 235-236
Back to top

Other volumes

  1. Dependable Computing

Bibliographic Information

Publish with us

Policies and ethics

Back to top