Proceedings, International Conference on Dependable Systems and Networks, DSN 2000

Proceedings, International Conference on Dependable Systems and Networks, DSN 2000
Author: IEEE Computer Society. Fault-Tolerant Computing Technical Committee
Publisher: Institute of Electrical & Electronics Engineers(IEEE)
Total Pages: 696
Release: 2000
Genre: Computers
ISBN:

Proceedings of the June 2000 conference that addressed society's unprecedented reliance on the dependability, integrity, security, and availability of a global network of computing systems. The 66 contributions cover embedded systems, measurement and assessment, mobile agents, analysis and evaluatio

Dependable Computing Systems

Dependable Computing Systems
Author: Hassan B. Diab
Publisher: John Wiley & Sons
Total Pages: 693
Release: 2005-10-05
Genre: Computers
ISBN: 0471674222

A team of recognized experts leads the way to dependable computing systems With computers and networks pervading every aspect of daily life, there is an ever-growing demand for dependability. In this unique resource, researchers and organizations will find the tools needed to identify and engage state-of-the-art approaches used for the specification, design, and assessment of dependable computer systems. The first part of the book addresses models and paradigms of dependable computing, and the second part deals with enabling technologies and applications. Tough issues in creating dependable computing systems are also tackled, including: * Verification techniques * Model-based evaluation * Adjudication and data fusion * Robust communications primitives * Fault tolerance * Middleware * Grid security * Dependability in IBM mainframes * Embedded software * Real-time systems Each chapter of this contributed work has been authored by a recognized expert. This is an excellent textbook for graduate and advanced undergraduate students in electrical engineering, computer engineering, and computer science, as well as a must-have reference that will help engineers, programmers, and technologists develop systems that are secure and reliable.

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

Dependable Systems and Networks (DSN 2001) (Formerly FTCS)
Author: IEEE Computer Society
Publisher: Institute of Electrical & Electronics Engineers(IEEE)
Total Pages: 562
Release: 2001
Genre: Architecture
ISBN: 9780769511016

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.

Advances in Computers

Advances in Computers
Author: Ali R. Hurson
Publisher: Academic Press
Total Pages: 209
Release: 2012-04-18
Genre: Computers
ISBN: 012396525X

Since its first volume in 1960, Advances in Computers has presented detailed coverage of innovations in computer hardware, software, theory, design, and applications. It has also provided contributors with a medium in which they can explore their subjects in greater depth and breadth than journal articles usually allow. As a result, many articles have become standard references that continue to be of sugnificant, lasting value in this rapidly expanding field. In-depth surveys and tutorials on new computer technology Well-known authors and researchers in the field Extensive bibliographies with most chapters Many of the volumes are devoted to single themes or subfields of computer science

Dependable Computing

Dependable Computing
Author: Carlos Alberto Maziero
Publisher: Springer Science & Business Media
Total Pages: 279
Release: 2005-10-11
Genre: Computers
ISBN: 3540295720

This book constitutes the refereed proceedings of the Second Latin-American Symposium on Dependable Computing, LADC 2005, held in Salvador, Brazil, in October 2005. The 16 revised full papers presented together with 3 invited talks, and outlines of 2 workshops and 3 tutorials, were carefully reviewed and selected from 39 submissions. The papers are organized in topical sections on evaluation, certification, modelling, embedded systems, time, and distributed systems algorithms.

Dependable Computing

Dependable Computing
Author: Rogério le Lemos
Publisher: Springer Science & Business Media
Total Pages: 384
Release: 2003-09-29
Genre: Computers
ISBN: 3540202242

This book constitutes the refereed proceedings of the First Latin-American Symposium on Dependable Computing, LADC 2003, held in Sao Paulo, Brazil in October 2003. The 21 revised full papers presented together with abstracts of invited talks, a panel, workshops, and tutorials were carefully reviewed and selected for presentation. The papers are organized in topical sections on fault injection, security, adaptive fault tolerance, distributed algorithms, and components and fault tolerance.

Dependability Benchmarking for Computer Systems

Dependability Benchmarking for Computer Systems
Author: Karama Kanoun
Publisher: John Wiley & Sons
Total Pages: 384
Release: 2008-10-03
Genre: Computers
ISBN: 0470370831

A comprehensive collection of benchmarks for measuring dependability in hardware-software systems As computer systems have become more complex and mission-critical, it is imperative for systems engineers and researchers to have metrics for a system's dependability, reliability, availability, and serviceability. Dependability benchmarks are useful for guiding development efforts for system providers, acquisition choices of system purchasers, and evaluations of new concepts by researchers in academia and industry. This book gathers together all dependability benchmarks developed to date by industry and academia and explains the various principles and concepts of dependability benchmarking. It collects the expert knowledge of DBench, a research project funded by the European Union, and the IFIP Special Interest Group on Dependability Benchmarking, to shed light on this important area. It also provides a large panorama of examples and recommendations for defining dependability benchmarks. Dependability Benchmarking for Computer Systems includes contributions from a credible mix of industrial and academic sources: IBM, Intel, Microsoft, Sun Microsystems, Critical Software, Carnegie Mellon University, LAAS-CNRS, Technical University of Valencia, University of Coimbra, and University of Illinois. It is an invaluable resource for engineers, researchers, system vendors, system purchasers, computer industry consultants, and system integrators.

Data and Applications Security XIX

Data and Applications Security XIX
Author: Sushil Jajodia
Publisher: Springer
Total Pages: 362
Release: 2005-08-25
Genre: Computers
ISBN: 3540319379

The 19th Annual IFIP Working Group 11.3 Working Conference on Data and Applications Security was held August 7–10, 2005 at the University of Connecticut in Storrs, Connecticut.

System Analysis and Modeling. Technology-Specific Aspects of Models

System Analysis and Modeling. Technology-Specific Aspects of Models
Author: Jens Grabowski
Publisher: Springer
Total Pages: 253
Release: 2016-09-12
Genre: Computers
ISBN: 3319466135

This book constitutes revised papers of the proceedings of the 9th International Workshop on System Analysis and Modeling, SAM 2016, held in Saint-Melo, France, in October 2016. The 15 full papers presented were carefully reviewed and selected from 31 submissions. The contributions are organized in topical theme named: Technology-Specific Aspects of Models. The volume reflects the five sessions of the conference. The first two sessions are closely aligned with the conference theme with a session on the Internet of Things and a session on Technology-specific Aspects. The other three sessions cover aspects regarding modeling languages and model-driven development in general and were organized in the sessions Languages, Configurations and Features, and Patterns and Compilation.