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

Front Cover
Springer Science & Business Media, Sep 12, 2007 - Computers - 236 pages
This book constitutes the refereed proceedings of the Third Latin-American Symposium on Dependable Computing, LADC 2007, held in Morelia, Mexico, in September 2007. The 14 revised full papers presented together with 2 invited talks, and outlines of 3 tutorials and 2 panel sessions, were carefully reviewed and selected from 37 submissions. The papers are organized in topical sections on fault-tolerant algorithms, software engineering of dependable systems, networking and mobile computing, experimental dependability evaluation, as well as intrusion tolerance and security.
 

What people are saying - Write a review

We haven't found any reviews in the usual places.

Contents

FaultTolerant Dynamic Routing Based on Maximum Flow Evaluation
7
On the Implementation of CommunicationOptimal Failure Detectors
25
Connectivity in Eventually Quiescent Dynamic Distributed Systems
38
Implementing Fault Tolerance Using Aspect Oriented Programming
57
ArchitectureCentric Fault Tolerance with Exception Handling
75
CoverageOriented Prioritized Testing A Fuzzy Clustering Approach and Case Study
95
Error Propagation Monitoring on Windows MobileBased Devices
111
Adaptive and Reliable Broadcasting in MANETs
123
ComponentBased Software Certification Based on Experimental Risk Assessment
179
Integrated Intrusion Detection in Databases
198
Security Rationale for a Cooperative Backup Service for Mobile Devices
212
Do You Know How to Analyze and Share Results from Dependability Evaluation Experiments?
231
Security Patterns and Secure Systems Design
233
BARWhere Distributed Computing Meets Game Theory
235
Scaling Dependability and Security in Ad Hoc Networks
237
Assessing Measuring and Benchmarking Dependability and Resilience
238

On the Behavior of Broadcasting Protocols for MANETs Under Omission Faults Scenarios
142
Failure Boundedness in Discrete Applications
160
Designing Fault Injection Experiments Using StateBased Model to Test a Space Software
170

Other editions - View all

Common terms and phrases