Cargando…

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

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: SpringerLink (Online service)
Otros Autores: Bondavalli, Andrea (Editor ), Brasileiro, Francisco (Editor ), Rajsbaum, Sergio (Editor )
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.