Dependable Computing: Second Latin-american Symposium, Ladc 2005, Salvador, Brazil, October 25-28, 2005, Proceedings: Sec by Carlos Alberto MazieroDependable Computing: Second Latin-american Symposium, Ladc 2005, Salvador, Brazil, October 25-28, 2005, Proceedings: Sec by Carlos Alberto Maziero

Dependable Computing: Second Latin-american Symposium, Ladc 2005, Salvador, Brazil, October 25-28…

byCarlos Alberto MazieroEditorJoão Gabriel Silva, Aline Maria Santos Andrade

Paperback | October 11, 2005

Pricing and Purchase Info

$114.32 online 
$136.95 list price save 16%
Earn 572 plum® points

Prices and offers may vary in store

Quantity:

In stock online

Ships free on orders over $25

Not available in stores

about

The Latin-American Symposium on Dependable Computing,LADC,isthemain Latin-American event dedicated to the discussion of the many issues related to dependability in computer systems and networks. It is a forum for researchers and practitioners (from all over the world) to present and discuss their latest results and experiences in this ?eld. LADC2005,thesecondeditionofthisevent,followedonthesuccessofLADC 2003,which took place at the Polytechnic School of the University of SË ao Paulo. It was organized by LaSiD, the Distributed Systems Laboratoryassociated with the Department of Computer Science of the Federal University of Bahia. LADC 2005wassponsoredbySBC,theBrazilianComputerSociety,incooperationwith IEEETConFault-TolerantComputing, IFIPWorking Group10.4"Dependable Computing and Fault-Tolerance",SADIO, the Argentine Society for Informatics and Operations Research, SCCC, the Chilean Computer Science Society, and SMCC, the Mexican Society for Computer Science. LADC2005wasstructuredaroundtechnicalsessions,keynotespeechesanda panel.Twoworkshopswereco-locatedwithLADC2005:WDAS(Latin-American Workshop on Dependable Automation Systems) and WTD (3rd Workshop on Theses and Dissertations on Dependable Computing). WDAS is a forum where members of academia and industry can meet to discuss speci?c dependability issues related to automation systems. WTD is a student forum dedicated to the discussion of ongoing and recent work in the ?eld of dependability carried out at graduate level.
Title:Dependable Computing: Second Latin-american Symposium, Ladc 2005, Salvador, Brazil, October 25-28…Format:PaperbackDimensions:267 pagesPublished:October 11, 2005Language:English

The following ISBNs are associated with this title:

ISBN - 10:3540295720

ISBN - 13:9783540295723

Look for similar items by category:

Reviews

Table of Contents

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.