Titlebook: Dependable Computing for Critical Applications 2; John F. Meyer,Richard D. Schlichting Conference proceedings 1992 Springer-Verlag/Wien 19

教唆

歡樂(lè)東方

Ju H. Park,Tae H. Lee,Yajuan Liu,Jun Chen failures in networks for real-time applications. Comparisons with other fast simulation techniques are made and results of FIS for an M/M/1-queue with rarely occurring service breakdowns are included.

Aggregate

Connectedness of Limit Sets and Separations and experience obtained from fault-tolerant system design with software engineering techniques, and the application of this design paradigm to a real-world project for an extensive evaluation. Some limitations of the approach are also presented.

舞蹈編排

失敗主義者

poliosis

An Empirical Investigation of the Effect of Formal Specifications on Program Diversity version. This paper analyses the effect formal specification languages have on program development by examining nine diverse versions of a communication protocol created using three different formal specification languages.

CORD

Extension of the Usual System Modelsr technique by comparing the availabilities of replicated objects with three replicas managed by majority consensus voting (MCV), and dynamic-linear voting (DLV), under three different network configurations.

使高興

Ju H. Park,Tae H. Lee,Yajuan Liu,Jun Chen at any level, resulting in a much more accurate prediction of reliability. The proposed technique has been validated through comparison with analytical calculations, results from existing tools and Monte-Carlo simulation.

Creatinine-Test

ILEUM

Conference proceedings 1992d by IFIP Working Group lOA and held in Tucson, Arizona on February 18-20, 1991. In keeping with the first such conference on this topic, which took place at the University of California, Santa Barbara in 1989, this meeting was like- wise concerned with an important basic question: Can we rely on Co