Dependable Computing EDCC-4
Editat de Fabrizio Grandonien Limba Engleză Paperback – 14 oct 2002
Preț: 321.39 lei
Preț vechi: 401.73 lei
-20% Nou
Puncte Express: 482
Preț estimativ în valută:
56.87€ • 66.69$ • 49.94£
56.87€ • 66.69$ • 49.94£
Carte tipărită la comandă
Livrare economică 05-19 februarie 26
Preluare comenzi: 021 569.72.76
Specificații
ISBN-13: 9783540000129
ISBN-10: 3540000127
Pagini: 304
Ilustrații: XIV, 290 p.
Dimensiuni: 155 x 235 x 17 mm
Greutate: 0.46 kg
Ediția:2002
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany
ISBN-10: 3540000127
Pagini: 304
Ilustrații: XIV, 290 p.
Dimensiuni: 155 x 235 x 17 mm
Greutate: 0.46 kg
Ediția:2002
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany
Public țintă
ResearchCuprins
Keynote Talk.- Use and Misuse of Safety Models in Design.- Modeling and Evaluation.- On the Effects of Outages on the QoS of GPRS Networks under Different User Characterizations.- Combination of Fault Tree Analysis and Model Checking for Safety Assessment of Complex System.- BPM Based Robust E-business Application Development.- Agreement Protocols.- Solving Agreement Problems with Weak Ordering Oracles.- An Efficient Solution to the k-Set Agreement Problem.- Fast Abstracts I.- Novel Approaches in Dependable Computing.- An Immune System Paradigm for the Design of Fault Tolerant Systems.- Security and Survivability of Large Scale Critical Infrastructures.- An Architectural Approach to Fault Treatment in Critical Infrastructures.- Biologically Inspired Fault-Tolerant Computer Systems.- Error Detection and Fault Tolerance.- Test Set Embedding Based on Phase Shifters.- Reset-Driven Fault Tolerance.- Towards Dependability Modeling of FT-CORBA Architectures.- Experimental Validation.- Experimental Evaluation of the Unavailability Induced by a Group Membership Protocol.- UMLinux - A Versatile SWIFI Tool.- A Methodology for Dependability Evaluation of the Time-Triggered Architecture Using Software Implemented Fault Injection.- Distributed Algorithms.- Fast Indulgent Consensus with Zero Degradation.- Probabilistic Queries in Large-Scale Networks.- Distributed Algorithms.- Towards Information Society Dependability Initiative in FP6: Roadmapping Activities in Dependability.- Real-Time.- The Design of a COTS Real-Time Distributed Security Kernel.- Wrapping Real-time Systems from Temporal Logic Specifications.- Model-Based Dependability Evaluation Method for TTP/C Based Systems.
Caracteristici
Includes supplementary material: sn.pub/extras