International Conference on Dependable Systems and Networks, DSN 2000
Title | International Conference on Dependable Systems and Networks, DSN 2000 PDF eBook |
Author | International Conference on Dependable Systems and Networks (2000 : New York, N.Y.) |
Publisher | |
Pages | 654 |
Release | 2000 |
Genre | |
ISBN |
Proceedings International Conference on Dependable Systems and Networks
Title | Proceedings International Conference on Dependable Systems and Networks PDF eBook |
Author | |
Publisher | |
Pages | 654 |
Release | 2000 |
Genre | Fault-tolerant computing |
ISBN |
Proceedings, International Conference on Dependable Systems and Networks, DSN 2000: 25-28 June 2000, New York, New York, USA
Title | Proceedings, International Conference on Dependable Systems and Networks, DSN 2000: 25-28 June 2000, New York, New York, USA PDF eBook |
Author | |
Publisher | |
Pages | 0 |
Release | 2000 |
Genre | Computer Science |
ISBN |
Proceedings, International Conference on Dependable Systems and Networks, DSN 2000
Title | Proceedings, International Conference on Dependable Systems and Networks, DSN 2000 PDF eBook |
Author | IEEE Computer Society. Fault-Tolerant Computing Technical Committee |
Publisher | Institute of Electrical & Electronics Engineers(IEEE) |
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
2017 47th Annual IEEE IFIP International Conference on Dependable Systems and Networks (DSN).
Title | 2017 47th Annual IEEE IFIP International Conference on Dependable Systems and Networks (DSN). PDF eBook |
Author | IEEE Staff |
Publisher | |
Pages | |
Release | 2017 |
Genre | Electronic book |
ISBN | 9781538605424 |
Annotation The IEEE IFIP International Conference on Dependable Systems and Networks (DSN) is the most prestigious international forum for presenting advanced and innovative research results, problem solutions, practices, insights on new challenges in the field of dependable computing and security The whole spectrum of IT systems and application areas with stringent relevant dependability and security concerns are of interest to DSN All aspects of dependable and secure systems and networks are within the scope of DSN, including innovative architectures, protocols and algorithms, models for performance and dependability evaluation, as well as, experimentation and assessment of dependable and secure systems and networks.
Dependable Computing Systems
Title | Dependable Computing Systems PDF eBook |
Author | Hassan B. Diab |
Publisher | John Wiley & Sons |
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 Computing
Title | Dependable Computing PDF eBook |
Author | Carlos Alberto Maziero |
Publisher | Springer Science & Business Media |
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.