Dependable Computing Third Latin-American Symposium, LADC 2007, Morella, Mexico, September 26-28, 2007. Proceedings /

• Corporate Author: SpringerLink (Online service)
• Other Authors: Bondavalli, Andrea (Editor), Brasileiro, Francisco (Editor), Rajsbaum, Sergio (Editor)
• Format: Electronic eBook
• Language: English
• Published: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.
• Series: Lecture Notes in Computer Science, 4746
• Subjects: Computer science.; Logic design.; Computer communication systems.; Special purpose computers.; Computer system failures.; Software engineering.; Coding theory.; Computer Science.; Computer Communication Networks.; Special Purpose and Application-Based Systems.; System Performance and Evaluation.; Software Engineering.; Logic Design.; Coding and Information Theory.

Table of Contents:

• Invited Talks
• Reliability, Safety, and Security in Everyday Embedded Systems (Extended Abstract)
• Nanoscale Technologies: Prospect or Hazard to Dependable and Secure Computing?
• Fault-Tolerant Algorithms
• Fault-Tolerant Dynamic Routing Based on Maximum Flow Evaluation
• On the Implementation of Communication-Optimal Failure Detectors
• Connectivity in Eventually Quiescent Dynamic Distributed Systems
• Software Engineering of Dependable Systems
• Implementing Fault Tolerance Using Aspect Oriented Programming
• Architecture-Centric Fault Tolerance with Exception Handling
• Coverage-Oriented, Prioritized Testing – A Fuzzy Clustering Approach and Case Study
• Networking and Mobile Computing
• Error Propagation Monitoring on Windows Mobile-Based Devices
• Gossiping: Adaptive and Reliable Broadcasting in MANETs
• On the Behavior of Broadcasting Protocols for MANETs Under Omission Faults Scenarios
• Experimental Dependability Evaluation
• Failure Boundedness in Discrete Applications
• Designing Fault Injection Experiments Using State-Based Model to Test a Space Software
• Component-Based Software Certification Based on Experimental Risk Assessment
• Intrusion Tolerance and Security
• Integrated Intrusion Detection in Databases
• Security Rationale for a Cooperative Backup Service for Mobile Devices
• Tutorials
• Do You Know... How to Analyze and Share Results from Dependability Evaluation Experiments?
• Security Patterns and Secure Systems Design
• BAR—Where Distributed Computing Meets Game Theory
• Panels
• Scaling Dependability and Security in Ad Hoc Networks
• Assessing, Measuring, and Benchmarking Dependability and Resilience.