Dependable Computing

Second Latin-American Symposium, Ladc 2005, Salvador, Brazil, October 25-28, 2005, Proceedings

By: Carlos Alberto Maziero (Editor), JoÃ£o Gabriel Silva (Editor), Aline Maria Santos Andrade (Editor)

Write A Review

Paperback | 11 October 2005

At a Glance

Paperback
288 Pages

Dimensions(cm)
23.5 x 15.24 x 1.91

Paperback

$84.99

or 4 interest-free payments of $21.25 with

Ships in 5 to 7 business days

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.

Shipping

	Standard Shipping	Express Shipping
Metro postcodes:	$9.99	$14.95
Regional postcodes:	$9.99	$14.95
Rural postcodes:	$9.99	$14.95

Orders over $89.00 qualify for free shipping.

How to return your order

At Booktopia, we offer hassle-free returns in accordance with our returns policy. If you wish to return an item, please get in touch with Booktopia Customer Care.

Additional postage charges may be applicable.

Defective items

If there is a problem with any of the items received for your order then the Booktopia Customer Care team is ready to assist you.

For more info please visit our Help Centre.

You Can Find This Book In

Non-Fiction Computing & I.T.Computer Science Systems Analysis & Design Computer Architecture & Logic Design Operating Systems Artificial Intelligence Expert Systems & Knowledge-Based Systems Digital Lifestyle & Online World: Consumer & User Guides Portable & Handheld Devices User Guides Earth Sciences, Geography, Environment, Planning Earth Sciences

Geology & The Lithosphere Databases Reference, Information & Interdisciplinary Subjects Research & Information Information theory

Probabilistic validation of computer system survivability	p. 1
Timed asynchronous distributed systems	p. 2
WLAN in automation - more than an academic exercise?	p. 4
Using stratified sampling for fault injection	p. 9
A methodology for the automated identification of buffer overflow vulnerabilities in executable software without source-code	p. 20
Quantitative evaluation of distributed algorithms using the Neko framework : the NekoStat extension	p. 35
Airborne software concerns in civil aviation certification	p. 52
A method for modeling and testing exceptions in component-based software development	p. 61
Verifying fault-tolerant distributed systems using object-based graph grammars	p. 80
The Zerberus language : describing the functional model of dependable real-time systems	p. 101
Soft error mitigation in cache memories of embedded systems by means of a protected scheme	p. 121
On the effects of errors during boot	p. 131
A fault tolerant approach to object oriented design and synthesis of embedded systems	p. 143
Scheduling fixed-priority hard real-time tasks in the presence of faults	p. 154
On the monitoring period for fault-tolerant sensor networks	p. 174
Adapting failure detectors to communication network load fluctuations using SNMP and artificial neural nets	p. 191
Parsimony-based approach for obtaining resource-efficient and trustworthy execution	p. 206
Generating fast atomic commit from hyperfast consensus	p. 226
Group-based replication of on-line transaction processing servers	p. 245
Third workshop on theses and dissertations on dependable computing	p. 261
Latin-American workshop on dependable automation systems	p. 262
Software architectures for dependable systems	p. 263
Fault-tolerant techniques for concurrent objects	p. 265
Agreement protocols in environments with temporal uncertainties	p. 266
Table of Contents provided by Blackwell. All Rights Reserved.

Dependable Computing

Second Latin-American Symposium, Ladc 2005, Salvador, Brazil, October 25-28, 2005, Proceedings

At a Glance

Paperback

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Information theory

The Laws of Thought

The Quest for a Mathematical Theory of the Mind

Two-Dimensional Self and Product Polynomial Systems

Fractional Differential Equations

Numerical Methods for Applications

Areas of Success for AI

Third Annual Workshop, Embry-Riddle L. H. Harper Memorial AI Workshop 2025, Prescott, AZ, USA, August 15-16, 2025, Proceedings

ESG Investment, German Industrie 4.0, and Blockchain

Mathematics of Epidemics on Networks

From Exact to Approximate Models

Artificial Intelligence, Cybersecurity and Game Design

ICAICG 2024, Rajapalayam, India, February 23â"25

Psycho-Cybernetics (Updated and Expanded)

Psycho-cybernetics

Nexus

A Brief History of Information Networks from the Stone Age to AI

The Infinite Alphabet

And the Laws of Knowledge

Psycho-Cybernetics 365

Thrive and Grow Every Day of the Year

Thinking in Systems

A Primer

Effective Machine Learning Teams

Best Practices for ML Practitioners

Constrained Cooperation: Event-Triggered and Intelligent Backstepping Control for Nonlinear Multiagent Systems

Balancing Performance, Communication, and Computation

The e-Dimensionality Information Principle

Data, Representation, and Algorithms

Quantum Artificial Intelligence

Technologies, Algorithms and Programming

Innovations in Management, Technology, and Performance

Driving Sustainable Solutions and Business Value

Modelling of Virtual Worlds Using the Internet of Things

Intelligent Data-Driven Systems and Artificial Intelligence

An Introduction to Systems Biology

Design Principles of Biological Circuits

Information, Entropy, Life and the Universe

What We Know and What We Do Not Know

Innovations in Management, Technology, and Performance

Driving Sustainable Solutions and Business Value

Explainable AI (XAI) for Sustainable Development

Trends and Applications

Coding for Erasure Channels

Dynamical Systems Essentials

An Application Oriented Introduction to Ideas, Concepts, Examples, Methods, and Results

This product is categorised by