Dependable Computing Third Latin-American Symposium, LADC 2007, Morelia, Mexico, September 26-28, 2007, Proceedings /
Clasificación: | Libro Electrónico |
---|---|
Autor Corporativo: | |
Otros Autores: | , , |
Formato: | Electrónico eBook |
Idioma: | Inglés |
Publicado: |
Berlin, Heidelberg :
Springer Berlin Heidelberg : Imprint: Springer,
2007.
|
Edición: | 1st ed. 2007. |
Colección: | Theoretical Computer Science and General Issues,
4746 |
Temas: | |
Acceso en línea: | Texto Completo |
Tabla de Contenidos:
- 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.