Dependable Computing Second Latin-American Symposium, LADC 2005, Salvador, Brazil, October 25-28, 2005. Proceedings /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Maziero, Carlos Alberto (Επιμελητής έκδοσης), Gabriel Silva, João (Επιμελητής έκδοσης), Andrade, Aline Maria Santos (Επιμελητής έκδοσης), Assis Silva, Flávio Morais de (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.
• Σειρά: Lecture Notes in Computer Science, 3747
• Θέματα: Computer science.; Logic design.; Special purpose computers.; Computer system failures.; Software engineering.; Coding theory.; Computers.; Computer Science.; Theory of Computation.; Special Purpose and Application-Based Systems.; System Performance and Evaluation.; Software Engineering.; Logic Design.; Coding and Information Theory.

Πίνακας περιεχομένων:

• Invited Talks
• Probabilistic Validation of Computer System Survivability
• Timed Asynchronous Distributed Systems
• WLAN in Automation – More Than an Academic Exercise?
• Evaluation
• Using Stratified Sampling for Fault Injection
• A Methodology for the Automated Identification of Buffer Overflow Vulnerabilities in Executable Software Without Source-Code
• Quantitative Evaluation of Distributed Algorithms Using the Neko Framework: The NekoStat Extension
• Certification
• Airborne Software Concerns in Civil Aviation Certification
• Modelling
• A Method for Modeling and Testing Exceptions in Component-Based Software Development
• Verifying Fault-Tolerant Distributed Systems Using Object-Based Graph Grammars
• The Zerberus Language: Describing the Functional Model of Dependable Real-Time Systems
• Embedded Systems
• Soft Error Mitigation in Cache Memories of Embedded Systems by Means of a Protected Scheme
• On the Effects of Errors During Boot
• A Fault Tolerant Approach to Object Oriented Design and Synthesis of Embedded Systems
• Time
• Scheduling Fixed-Priority Hard Real-Time Tasks in the Presence of Faults
• On the Monitoring Period for Fault-Tolerant Sensor Networks
• Adapting Failure Detectors to Communication Network Load Fluctuations Using SNMP and Artificial Neural Nets
• Distributed Systems Algorithms
• Parsimony-Based Approach for Obtaining Resource-Efficient and Trustworthy Execution
• Generating Fast Atomic Commit from Hyperfast Consensus
• Group-Based Replication of On-Line Transaction Processing Servers
• Workshops
• Third Workshop on Theses and Dissertations on Dependable Computing
• Latin-American Workshop on Dependable Automation Systems
• Tutorials
• Software Architectures for Dependable Systems
• Fault-Tolerant Techniques for Concurrent Objects
• Agreement Protocols in Environments with Temporal Uncertainties.