Dependable Computing for Critical Applications 2

Dependable Computing for Critical Applications 2

This volume contains the papers presented at the Second International Work ing Conference on Dependable Computing for Critical Applications, sponsored 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 Computers? In more precise terms, it addressed various aspects of computer system de pendability, a broad concept defined as th'e trustworthiness of computer service such that reliance can justifiably be placed on this service. Given that this term includes attributes such as reliability, availability, safety, and security, it is our hope that these papers will contribute to further integration of these ideas in the context of critical applications. The program consisted of 20 papers and three panel sessions. The papers were selected from a total of 61 submissions at a November 1990 meeting of the Program Committee in Ann Arbor, Michigan. We were very fortunate to have a broad spectrum of interests represented, with papers in the final program coming from seven different countries, representing work at universities, corporations, and government agencies. The process was greatly facilitated by the diligent work of the Program Committee and the quality of reviews provided by outside referees. In addition to the paper presentations, there were three panel sessions or ganized to examine particular topics in detail.

Download Now

Author
Publisher Springer Science & Business Media
Release Date
ISBN 370919198X
Pages 439 pages
Rating 4/5 (89 users)

More Books:

Dependable Computing for Critical Applications 2
Language: en
Pages: 439
Authors: John F. Meyer
Categories: Computers
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

GET EBOOK

This volume contains the papers presented at the Second International Work ing Conference on Dependable Computing for Critical Applications, sponsored by IFIP W
Dependable Computing for Critical Applications 3
Language: en
Pages: 384
Authors: Carl E. Landwehr
Categories: Computers
Type: BOOK - Published: 2013-06-29 - Publisher: Springer Science & Business Media

GET EBOOK

This volume contains the papers presented. at the Third IFIP International Working Conference on Dependable Computing for Critical Applications, sponsored by IF
Dependable Computing for Critical Applications
Language: en
Pages: 431
Authors: Algirdas Avizienis
Categories: Computers
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

GET EBOOK

The International Working Conference on Dependable Computing for Critical Applications was the first conference organized by IFIP Working Group 10. 4 "Dependabl
Dependable Computing for Critical Applications
Language: en
Pages:
Authors:
Categories: Application software
Type: BOOK - Published: 1995 - Publisher:

GET EBOOK

Dependable Computing - EDCC-2
Language: en
Pages: 440
Authors: Andrzej Hlawiczka
Categories: Computers
Type: BOOK - Published: 1996-09-18 - Publisher: Springer Science & Business Media

GET EBOOK

This book constitutes the refereed proceedings of the Second European Dependable Computing Conference, EDCC-2, held in Taormina, Italy, in October 1996. The boo
Dependable Computing - EDCC-1
Language: en
Pages: 625
Authors: Klaus Echtle
Categories: Computers
Type: BOOK - Published: 1994-09-21 - Publisher: Springer Science & Business Media

GET EBOOK

This book presents the proceedings of the First European Dependable Computing Conference (EDCC-1), held in Berlin, Germany, in October 1994. EDCC is the merger
Dependable Computing for Critical Applications 4
Language: en
Pages: 499
Authors: Flaviu Cristian
Categories: Computers
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

GET EBOOK

This volume contains the articles presented at the Fourth InternationallFIP Working Conference on Dependable Computing for Critical Applications held in San Die
Dependable Computing for Critical Applications 6
Language: en
Pages: 328
Authors: Mario Dal Cin
Categories: Computers
Type: BOOK - Published: 1998 - Publisher: Institute of Electrical & Electronics Engineers(IEEE)

GET EBOOK

This text addresses significant ideas and concepts for designing, analyzing, implementing and operating dependable computing systems. It covers such topics as:
Responsive Computer Systems
Language: en
Pages: 377
Authors: Hermann Kopetz
Categories: Computers
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

GET EBOOK

For the second time the International Workshop on Responsive Com puter Systems has brought together a group of international experts from the fields of real-tim
The Second NASA Formal Methods Workshop 1992
Language: en
Pages: 232
Authors:
Categories:
Type: BOOK - Published: 1992 - Publisher:

GET EBOOK