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
Θέματα:
Διαθέσιμο Online:Full Text via HEAL-Link
Πίνακας περιεχομένων:
  • 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.