Andrea Bondavalli (Volume ed.) / Francisco Brasileiro / Sergio Rajsbaum

Dependable Computing

Third Latin-American Symposium, LADC 2007, Morelia, Mexico, September 26-28, 2007, Proceedings
Herausgegeben:Bondavalli, Andrea; Brasileiro, Francisco; Rajsbaum, Sergio

• Broschiertes Buch

Produktbeschreibung

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

Produktdetails

• Theoretical Computer Science and General Issues 4746
• Verlag: Springer / Springer Berlin Heidelberg / Springer, Berlin
• Artikelnr. des Verlages: 12167449, 978-3-540-75293-6
• 2007
• Seitenzahl: 256
• Erscheinungstermin: 12. September 2007
• Englisch
• Abmessung: 235mm x 155mm x 15mm
• Gewicht: 399g
• ISBN-13: 9783540752936
• ISBN-10: 3540752935
• Artikelnr.: 23112147

Inhaltsangabe

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.