Dependable Systems and Networks (DSN 2001) (Formerly FTCS)

Dependable Systems and Networks (DSN 2001) (Formerly FTCS)
Author :
Publisher : Institute of Electrical & Electronics Engineers(IEEE)
Total Pages : 562
Release :
ISBN-10 : 0769511015
ISBN-13 : 9780769511016
Rating : 4/5 (15 Downloads)

Book Synopsis Dependable Systems and Networks (DSN 2001) (Formerly FTCS) by : IEEE Computer Society

Download or read book Dependable Systems and Networks (DSN 2001) (Formerly FTCS) written by IEEE Computer Society and published by Institute of Electrical & Electronics Engineers(IEEE). This book was released on 2001 with total page 562 pages. Available in PDF, EPUB and Kindle. Book excerpt: Proceedings of a July 2001 conference, covering all aspects of dependability in classical and networked computer systems, as well as topical areas in IT. There is a special focus on safety and security issues in embedded, multimedia, and Internet applications. Papers are in sections on modeling, algorithms, software demos, replication, software robustness, survivability and security, wireless and mobile communications, real-time, testing and runtime error detection, models for fault tolerance, hardware architecture and design, group-oriented systems, and practical experiences. Specific topics include model- based synthesis of fault trees from MATLAB, a dynamic replica selection algorithm for tolerating timing faults, constructing self- testable software components, and intrusion-tolerant group management in enclaves. This volume lacks a subject index. c. Book News Inc.


Dependable Systems and Networks (DSN 2001) (Formerly FTCS) Related Books

Dependable Systems and Networks (DSN 2001) (Formerly FTCS)
Language: en
Pages: 562
Authors: IEEE Computer Society
Categories: Architecture
Type: BOOK - Published: 2001 - Publisher: Institute of Electrical & Electronics Engineers(IEEE)

DOWNLOAD EBOOK

Proceedings of a July 2001 conference, covering all aspects of dependability in classical and networked computer systems, as well as topical areas in IT. There
Distributed Applications and Interoperable Systems
Language: en
Pages: 313
Authors: Pascal Felber
Categories: Computers
Type: BOOK - Published: 2011-05-26 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 11th IFIP WG 6.1 International Conference on Distributed Applications and Interoperable Systems, DAIS 2011
e-Business and Telecommunications
Language: en
Pages: 454
Authors: Mohammad S. Obaidat
Categories: Computers
Type: BOOK - Published: 2012-02-21 - Publisher: Springer

DOWNLOAD EBOOK

This book constitutes the thoroughly refereed post-conference proceedings of the 7th International Joint Conference on e-Business and Telecommunications, ICETE
Publish / Subscribe Systems
Language: en
Pages: 333
Authors: Sasu Tarkoma
Categories: Technology & Engineering
Type: BOOK - Published: 2012-06-19 - Publisher: John Wiley & Sons

DOWNLOAD EBOOK

This book offers an unified treatment of the problems solved by publish/subscribe, how to design and implement the solutions In this book, the author provides a
Verification, Model Checking, and Abstract Interpretation
Language: en
Pages: 554
Authors: Isil Dillig
Categories: Computers
Type: BOOK - Published: 2018-01-03 - Publisher: Springer

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 19th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2018, he