Dependable Computing  Third Latin-American Symposium, LADC 2007, Morelia, Mexico, September 26-28, 2007, Proceedings /  [electronic resource] : 
edited by Andrea Bondavalli, Francisco Brasileiro, Sergio Rajsbaum. 
 - 1st ed. 2007. 
 - XIV, 242 p.  online resource. 
 - Theoretical Computer Science and General Issues,  4746  2512-2029 ; .
 - Theoretical Computer Science and General Issues,  4746 .
<br/><br/>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. 
<br/><br/><label>ISBN: </label>9783540752943 
<br/><br/><label>Standard No.: </label>10.1007/978-3-540-75294-3  doi 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer networks .<br/>Computers, Special purpose.<br/>Electronic digital computers--Evaluation.<br/>Software engineering.<br/>Logic design.<br/>Coding theory.<br/>Information theory.<br/>Computer Communication Networks.<br/>Special Purpose and Application-Based Systems.<br/>System Performance and Evaluation.<br/>Software Engineering.<br/>Logic Design.<br/>Coding and Information Theory.
<br/><br/><label>LC Class. No.: </label>TK5105.5-5105.9 
<br/><br/><label>Dewey Class. No.: </label>004.6