Dependable Computing

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

Häftad, Engelska, 2007

AvAndrea Bondavalli,Francisco Brasileiro,Sergio Rajsbaum

709 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.

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.

Produktinformation

Utgivningsdatum2007-09-12
Mått155 x 235 x 15 mm
Vikt394 g
FormatHäftad
SpråkEngelska
SerieLecture Notes in Computer Science
Antal sidor242
FörlagSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN9783540752936

Tillhör följande kategorier

Nätverk och kommunikation inom Data och IT
Referensverk och tvärvetenskap inom Samhälle och politik
Hårdvara inom Data och IT
Programvaruutveckling inom Data och IT
Systemvetenskap och AI inom Data och IT

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.

Du kanske också är intresserad av

Certifications of Critical Systems – The CECRIS Experience

Andrea Bondavalli, Francesco Brancati

Häftad

639 kr

Del 13892

Structural Information and Communication Complexity

Sergio Rajsbaum, Alkida Balliu, Joshua J. Daymude, Dennis Olivetti

Häftad

1 369 kr

Distributed Computing Through Combinatorial Topology

Maurice Herlihy, Dmitry Kozlov, Sergio Rajsbaum, USA) Herlihy, Maurice (Brown University, Providence, RI, Germany) Kozlov, Dmitry (University of Bremen, Universidad Nacional Autonoma de Mexico) Rajsbaum, Sergio (Instituto de Matematicas

Häftad

1 019 kr