Dependable Computing
Third Latin-American Symposium, LADC 2007, Morelia, Mexico, September 26-28, 2007, Proceedings
Published on 12. September 2007
Book
Paperback/Softback
XIV, 242 pages
978-3-540-75293-6 (ISBN)
Description
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.
More details
Series
Edition
2007 ed.
Language
English
Place of publication
Berlin
Germany
Publishing group
Springer Berlin
Target group
Professional and scholarly
Professional/practitioner
Illustrations
XIV, 242 p.
Dimensions
Height: 235 mm
Width: 155 mm
Thickness: 15 mm
Weight
394 gr
ISBN-13
978-3-540-75293-6 (9783540752936)
DOI
10.1007/978-3-540-75294-3
Schweitzer Classification
Content
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.