Dependable Computing EDCC-4
Editat de Fabrizio Grandonien Limba Engleză Paperback – 14 oct 2002
Preț: 322.37 lei
Preț vechi: 402.96 lei
-20%
Puncte Express: 484
Carte tipărită la comandă
Livrare economică 28 iulie-11 august
Livrare prin curier în România Termenul estimat este afișat lângă disponibilitate.
Transport gratuit de la 400.00 lei Plată online sau ramburs, în funcție de opțiunile comenzii.
Retur gratuit în 14 zile Comandă securizată și suport în română.
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.