000 04647nam a22006495i 4500
001 978-3-540-32092-0
003 DE-He213
005 20240730190057.0
007 cr nn 008mamaa
008 100320s2005 gw | s |||| 0|eng d
020 _a9783540320920
_9978-3-540-32092-0
024 7 _a10.1007/11572329
_2doi
050 4 _aQA75.5-76.95
072 7 _aUYA
_2bicssc
072 7 _aCOM014000
_2bisacsh
072 7 _aUYA
_2thema
082 0 4 _a004.0151
_223
245 1 0 _aDependable Computing
_h[electronic resource] :
_bSecond Latin-American Symposium, LADC 2005, Salvador, Brazil, October 25-28, 2005, Proceedings /
_cedited by Carlos Alberto Maziero, João Gabriel Silva, Aline Maria Santos Andrade, Flávio Morais de Assis Silva.
250 _a1st ed. 2005.
264 1 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg :
_bImprint: Springer,
_c2005.
300 _aXV, 267 p.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aTheoretical Computer Science and General Issues,
_x2512-2029 ;
_v3747
505 0 _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.
650 0 _aComputer science.
_99832
650 0 _aComputers, Special purpose.
_946653
650 0 _aElectronic digital computers
_xEvaluation.
_921495
650 0 _aSoftware engineering.
_94138
650 0 _aLogic design.
_93686
650 0 _aCoding theory.
_94154
650 0 _aInformation theory.
_914256
650 1 4 _aTheory of Computation.
_9141226
650 2 4 _aSpecial Purpose and Application-Based Systems.
_946654
650 2 4 _aSystem Performance and Evaluation.
_932047
650 2 4 _aSoftware Engineering.
_94138
650 2 4 _aLogic Design.
_93686
650 2 4 _aCoding and Information Theory.
_9141227
700 1 _aMaziero, Carlos Alberto.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9141228
700 1 _aSilva, João Gabriel.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9141229
700 1 _aAndrade, Aline Maria Santos.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9141230
700 1 _aAssis Silva, Flávio Morais de.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9141231
710 2 _aSpringerLink (Online service)
_9141232
773 0 _tSpringer Nature eBook
776 0 8 _iPrinted edition:
_z9783540295723
776 0 8 _iPrinted edition:
_z9783540817000
830 0 _aTheoretical Computer Science and General Issues,
_x2512-2029 ;
_v3747
_9141233
856 4 0 _uhttps://doi.org/10.1007/11572329
912 _aZDB-2-SCS
912 _aZDB-2-SXCS
912 _aZDB-2-LNC
942 _cELN
999 _c93079
_d93079