Warenkorb
€ 0,00 0 Buch dabei,
portofrei
Dependable Computing als Buch
PORTO-
FREI

Dependable Computing

Second Latin-American Symposium, LADC 2005, Salvador, Brazil, October 25-28, 2005, Proceedings. 'Lecture Notes…
Buch (kartoniert)
Ihr 12%-Rabatt auf alle Spielwaren, Hörbücher, Filme, Musik u.v.m
 
12% Rabatt sichern mit Gutscheincode: SONNE12
 
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 a … weiterlesen
Buch

74,99*

inkl. MwSt.
Portofrei
Lieferbar innerhalb von zwei bis drei Werktagen
Dependable Computing als Buch

Produktdetails

Titel: Dependable Computing

ISBN: 3540295720
EAN: 9783540295723
Second Latin-American Symposium, LADC 2005, Salvador, Brazil, October 25-28, 2005, Proceedings.
'Lecture Notes in Computer Science'. 'Theoretical Computer Science and General Issues'.
2005. Auflage.
Book.
Sprache: Englisch.
Herausgegeben von Aline Maria Santos Andrade, Flávio Morais de Assis Silva, Carlos Alberto Maziero
Springer Berlin Heidelberg

11. Oktober 2005 - kartoniert - 288 Seiten

Beschreibung

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.

Inhaltsverzeichnis

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.
Servicehotline
089 - 70 80 99 47

Mo. - Fr. 8.00 - 20.00 Uhr
Sa. 10.00 - 20.00 Uhr
Filialhotline
089 - 30 75 75 75

Mo. - Sa. 9.00 - 20.00 Uhr
Bleiben Sie in Kontakt:
Sicher & bequem bezahlen:
akzeptierte Zahlungsarten: Überweisung, offene Rechnung,
Visa, Master Card, American Express, Paypal
Zustellung durch:
* Alle Preise verstehen sich inkl. der gesetzlichen MwSt. Informationen über den Versand und anfallende Versandkosten finden Sie hier.
** Deutschsprachige eBooks und Bücher dürfen aufgrund der in Deutschland geltenden Buchpreisbindung und/oder Vorgaben von Verlagen nicht rabattiert werden. Soweit von uns deutschsprachige eBooks und Bücher günstiger angezeigt werden, wurde bei diesen kürzlich von den Verlagen der Preis gesenkt oder die Buchpreisbindung wurde für diese Titel inzwischen aufgehoben. Angaben zu Preisnachlässen beziehen sich auf den dargestellten Vergleichspreis.