|
|
Sold Out
Book Categories |
| Foreword | ||
| Preface | ||
| Pt. I | Role of Modelling and Formalisms for Dependable System Design | |
| 1 | Compositional Development in the Event of Interface Difference | 3 |
| 2 | Model-Based Design of Dependability | 23 |
| 3 | TLA Specification of a Mechanism for Concurrent Exception Handling | 41 |
| 4 | Component Based Dependable System Modelling for Easier Verification | 61 |
| Pt. II | Application Specific Modelling for Dependable Design and Analysis | |
| 5 | Digging into Concurrency | 87 |
| 6 | Deadlock Free Control in Automated Guided Vehicle Systems | 105 |
| 7 | Quality Analysis of Dependable Information Systems | 127 |
| Pt. III | Event Ordering and its Application | |
| 8 | Fault-Tolerant Sequencer | 149 |
| 9 | QoS Analysis of Group Communication Protocols in Wireless Environment | 169 |
| 10 | Semantically Reliable Broadcast | 189 |
| 11 | Exception Handling in Timed Asynchronous Systems | 209 |
| Pt. IV | Transactions and Consistent Checkpointing | |
| 12 | A Recovery Model for Cooperative Computations | 231 |
| 13 | Group Transactions | 253 |
| 14 | Checkpointing in Distributed Computing Systems | 273 |
| Pt. V | Concurrency in Real-Time Applications | |
| 15 | Concurrency in Dependable Real-Time Objects | 293 |
| Price | Condition | Delivery | Seller | Action |
| $194.00 | Digital |
| WonderClub |
Login|Complaints|Blog|Games|Digital Media|Souls|Obituary|Contact Us|FAQ
CAN'T FIND WHAT YOU'RE LOOKING FOR? CLICK HERE!!! X
You must be logged in to add to WishlistX
This item is in your Wish List
X
This item is in your Collection
Concurrency in Dependable Computing
X
This Item is in Your Inventory
Concurrency in Dependable Computing
X
You must be logged in to review the productsX
X
X
Add Concurrency in Dependable Computing, Concurrency in Dependable Computing focuses on concurrency related issues in the area of dependable computing. Failures of system components, be hardware units or software modules, can be viewed as undesirable events occurring concurrently with a set of n, Concurrency in Dependable Computing to the inventory that you are selling on WonderClubX
X
Add Concurrency in Dependable Computing, Concurrency in Dependable Computing focuses on concurrency related issues in the area of dependable computing. Failures of system components, be hardware units or software modules, can be viewed as undesirable events occurring concurrently with a set of n, Concurrency in Dependable Computing to your collection on WonderClub |