LEADER 04944nam 22008055 450 001 996466225303316 005 20230406060038.0 024 7 $a10.1007/11572329 035 $a(CKB)1000000000213318 035 $a(SSID)ssj0000317166 035 $a(PQKBManifestationID)11246647 035 $a(PQKBTitleCode)TC0000317166 035 $a(PQKBWorkID)10287829 035 $a(PQKB)11374916 035 $a(DE-He213)978-3-540-32092-0 035 $a(MiAaPQ)EBC3067857 035 $a(PPN)123098238 035 $a(EXLCZ)991000000000213318 100 $a20100320d2005 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aDependable Computing$b[electronic resource] $eSecond Latin-American Symposium, LADC 2005, Salvador, Brazil, October 25-28, 2005, Proceedings /$fedited by Carlos Alberto Maziero, João Gabriel Silva, Aline Maria Santos Andrade, Flávio Morais de Assis Silva 205 $a1st ed. 2005. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2005. 215 $a1 online resource (XV, 267 p.) 225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v3747 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-32092-X 311 $a3-540-29572-0 320 $aIncludes bibliographical references and index. 327 $aInvited 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. 410 0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v3747 606 $aComputer science 606 $aComputers, Special purpose 606 $aElectronic digital computers?Evaluation 606 $aSoftware engineering 606 $aLogic design 606 $aCoding theory 606 $aInformation theory 606 $aTheory of Computation 606 $aSpecial Purpose and Application-Based Systems 606 $aSystem Performance and Evaluation 606 $aSoftware Engineering 606 $aLogic Design 606 $aCoding and Information Theory 615 0$aComputer science. 615 0$aComputers, Special purpose. 615 0$aElectronic digital computers?Evaluation. 615 0$aSoftware engineering. 615 0$aLogic design. 615 0$aCoding theory. 615 0$aInformation theory. 615 14$aTheory of Computation. 615 24$aSpecial Purpose and Application-Based Systems. 615 24$aSystem Performance and Evaluation. 615 24$aSoftware Engineering. 615 24$aLogic Design. 615 24$aCoding and Information Theory. 676 $a004.2 702 $aMaziero$b Carlos Alberto$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aSilva$b João Gabriel$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aAndrade$b Aline Maria Santos$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aAssis Silva$b Flávio Morais de$4edt$4http://id.loc.gov/vocabulary/relators/edt 906 $aBOOK 912 $a996466225303316 996 $aDependable Computing$9772138 997 $aUNISA