Dependable computing for critical applications : can we rely on computers? (Grainau, March 5-7, 1997, Preprints)International working conference on dependable computing for critical applications. 1997, VII, 310 pConference Proceedings

2004 International Conference on Dependable Systems and Networks (28 June-1 July, 2004, Florence, Italy)International Conference on Dependable Systems and Networks. 2004, isbn 0-7695-2052-9, 1Vol, XXIX-909 p, isbn 0-7695-2052-9Conference Proceedings

A highly available local leader election serviceFETZER, C; CRISTIAN, F.International working conference on dependable computing for critical applications. 1997, pp 77-95Conference Paper

Verifying the specification-to-code correspondence for abstract data typesSCHWEIZER, D; DENZLER, C.International working conference on dependable computing for critical applications. 1997, pp 165-189Conference Paper

Multi-property QoS in corba: Providing implementation visibilityLEBLANC, J. P.International working conference on dependable computing for critical applications. 1997, pp 149-151Conference Paper

Experimental evaluation of assigned signature checking with return address hashing on different platformsWILDNER, U.International working conference on dependable computing for critical applications. 1997, pp 1-16Conference Paper

High assurance propertiesMCLEAN, J.International working conference on dependable computing for critical applications. 1997, pp 153-157Conference Paper

Deterministic operation of dissimilar replicated task sets in fault-tolerant distributed real-time systemsPOLEDNA, S.International working conference on dependable computing for critical applications. 1997, pp 97-113Conference Paper

Quality of service: An industry perspectiveSLUMAN, C.International working conference on dependable computing for critical applications. 1997, pp 145-147Conference Paper

Systematic formal verification for fault-tolerant time-triggered algorithmsRUSHBY, J.International working conference on dependable computing for critical applications. 1997, pp 191-210Conference Paper

On specification, metadata, and binding of multi-property quality of serviceBAKKEN, D. E.International working conference on dependable computing for critical applications. 1997, pp 141-143Conference Paper

Validating the fail-silence assumption of the MARS architectureFUCHS, E.International working conference on dependable computing for critical applications. 1997, pp 211-233Conference Paper

On Failure Dependent Protection in Optical Grooming NetworksRAMASUBRAMANIAN, Srinivasan.International Conference on Dependable Systems and Networks. 2004, pp 475-484, isbn 0-7695-2052-9, 1Vol, 10 p.Conference Paper

Experimenting with quantitative evaluation tools for monitoring operational securityORTALO, R; DESWARTE, Y; KAANICHE, M et al.International working conference on dependable computing for critical applications. 1997, pp 289-310Conference Paper

Fault-tolerant rate-monotonic schedulingGHOSH, S; MELHEM, R; MOSSE, D et al.International working conference on dependable computing for critical applications. 1997, pp 115-139Conference Paper

Evaluating the impact of transient faults on software behavior: Case study of a commercial high-speed networkRIES, G; IYER, R. K.International working conference on dependable computing for critical applications. 1997, pp 257-273Conference Paper

Transient fault detection in cache memories by employing a small shadow cacheSOMANI, A. K; KIM, S.International working conference on dependable computing for critical applications. 1997, pp 17-37Conference Paper

Comparing different fault models using VERIFYSIEH, V; TSCHÄCHE, O; BALBACH, F et al.International working conference on dependable computing for critical applications. 1997, pp 59-76Conference Paper

Frequentist and Bayesian coverage estimations for stratified fault-injectionCUKIER, M; ARLAT, J; POWELL, D et al.International working conference on dependable computing for critical applications. 1997, pp 39-57Conference Paper

Special session: Integrated modular avionicsBELCHER, G; DRISCOLL, K; RUSHBY, J et al.International working conference on dependable computing for critical applications. 1997, pp 163-164Conference Paper

A Framework for Dynamic Byzantine StorageMARTIN, Jean-Philippe; ALVISI, Lorenzo.International Conference on Dependable Systems and Networks. 2004, pp 325-334, isbn 0-7695-2052-9, 1Vol, 10 p.Conference Paper

Assured Reconfiguration of Embedded Real-Time SoftwareSTRUNK, Elisabeth A; KNIGHT, John C.International Conference on Dependable Systems and Networks. 2004, pp 367-376, isbn 0-7695-2052-9, 1Vol, 10 p.Conference Paper

Impact of Path Diversity on Multi-homed and Overlay NetworksHAN, Junghee; JAHANIAN, Famam.International Conference on Dependable Systems and Networks. 2004, pp 29-38, isbn 0-7695-2052-9, 1Vol, 10 p.Conference Paper

Improving System Dependability with Functional AlternativesSHELTON, Charles P; KOOPMAN, Philip.International Conference on Dependable Systems and Networks. 2004, pp 295-304, isbn 0-7695-2052-9, 1Vol, 10 p.Conference Paper

QoS of Timeout-based Self-Tuned Failure Detectors : the Effects of the Communication Delay Predictor and the Safety MarginCERETTA NUNES, Raul; JANSCH-PORTO, Ingrid.International Conference on Dependable Systems and Networks. 2004, pp 753-761, isbn 0-7695-2052-9, 1Vol, 9 p.Conference Paper