Cover Image
Read Now

1
Published 2006
Springer Berlin Heidelberg
Table of Contents: “... Finite State Machines -- On the Convergence Rate of Quasi Lumpable Markov Chains -- Formal Dependability...”
Cover Image
Read Now

2
Published 2008
Springer Berlin Heidelberg
Table of Contents: “... of Real-Time Systems -- Early Prototyping of Wireless Sensor Network Algorithms in PVS -- Dependability...”
Cover Image
Read Now

3
Published 1991
Springer Berlin Heidelberg
Table of Contents: “.... Overview of the Architecture -- 2.1. Dependability and Real-Time Concepts -- 2.2. Dependability and Real...”
Cover Image
Read Now

4
Published 2004
Springer US
Table of Contents: “... Formal Model of Cyberrail -- Open-Source Software in Dependable Systems -- Open Source Software...”
Cover Image
Read Now

5
Published 2022
Springer International Publishing
“... researchers and practitioners in the areas of verification, control, performance, and dependability evaluation...”
Cover Image
Read Now

6
Published 1998
Springer US
Table of Contents: “...-Tolerance Issues in RDBMS on SCI-Based Local Area Multiprocessor (LAMP) -- III: Dependable Systems -- 10...”
Cover Image
Read Now

7
by Banerjee, Utpal
Published 1988
Springer US
Table of Contents: “...1. Introduction -- 2. Basic Concepts -- 2.1. Relations and Graphs -- 2.2. Orders on Vectors -- 2.3...”
Cover Image
Read Now

8
Published 2007
Springer Berlin Heidelberg
Table of Contents: “... Engineering -- An Eclipse-Based Framework for AIS Service Configurations -- MDDPro: Model-Driven Dependability...”
Cover Image
Read Now

9
by Paredaens, Jan, De Bra, Paul, Gyssens, Marc, Gucht, Dirk van
Published 1989
Springer Berlin Heidelberg
Table of Contents: “... -- 1.6 Example -- 1.7 Exercises -- 2 Query Systems -- 2.1 The Relational Algebra -- 2.2 The Tuple...”
Cover Image
Read Now

10
Published 1997
Springer US
Table of Contents: “... for Dependability Modeling and Evaluation -- 22 Submicron Circuit Design on PC....”
Cover Image
Read Now

11
Published 2010
Springer Berlin Heidelberg
Table of Contents: “...Invited Talks -- A Structure for Dependability Arguments -- Formal Probabilistic Analysis: A Higher...”
Cover Image
Read Now

12
by Veríssimo, Paulo, Rodrigues, Luís
Published 2001
Springer US
Table of Contents: “... -- 8. Models of Distributed Fault-Tolerant Computing -- 9. Dependable Systems and Platforms -- 10. Case...”
Cover Image
Read Now

13
Published 2000
Springer US
Table of Contents: “... Agents and Active Networks -- Dependability Issues in Smart Networks -- Service Feature Interaction...”
Cover Image
Read Now

14
by Meyers, Mike
Published 2023
McGraw-Hill Education
Table of Contents: “...Quality of Service (QoS), Traffic Shaping -- REVIEW -- 22 QUESTIONS -- 22 ANSWERS -- Objective 23...”
Cover Image
Read Now

15
by Calinescu, Radu C.
Published 2000
Springer London
Table of Contents: “... Organisation of the Book -- 2 The Bulk-Synchronous Parallel Model -- 2.1 Introduction -- 2.2 Bulk-Synchronous...”
Cover Image
Read Now

16
by Polychronopoulos, Constantine D.
Published 1988
Springer US
Table of Contents: “... restructuring for parallel execution -- 2.1 Data Dependences -- 2.2 Common Optimizations -- 2.3 Transformations...”
Cover Image
Read Now

17
Published 2010
Springer Berlin Heidelberg
Table of Contents: “... Privacy and Trust Based Context-Aware Secure Framework -- Security, Privacy, and Dependability in Smart...”
Cover Image
Read Now

18
by Blaschek, Günther, Pomberger, Gustav
Published 1990
Springer Berlin Heidelberg
Table of Contents: “... -- 2.2 Data Capsules -- 2.3 The Module Concept -- Exercises -- 3 The Programming Language Modula-2 -- 3.1...”
Cover Image
Read Now

19
by Dąbrowski, Marcin
Published 2023
Apress
Table of Contents: “... management academic discussions versus real life -- Chapter 14: The management strategy depends on the stage...”
Cover Image
Read Now

20
by Dąbrowski, Marcin
Published 2023
Apress
Table of Contents: “... strategy depends on the stage of the project.-Chapter 15: People's availability in particular phases...”