Matches in Library of Congress for { <http://lccn.loc.gov/2002069524> ?p ?o. }
Showing items 1 to 22 of
22
with 100 items per page.
- 2002069524 contributor B9239710.
- 2002069524 created "c2002.".
- 2002069524 date "2002".
- 2002069524 date "c2002.".
- 2002069524 dateCopyrighted "c2002.".
- 2002069524 description "Includes bibliographical references and index.".
- 2002069524 description "Machine generated contents note: Part I Role of Modelling and Formalisms for De- -- pendable System Design -- 1 -- Compositional Development in the Event of Interface Differ- 3 -- ence -- Jonathan Burton, Maciej Koutny, Giuseppe Pappalardo and -- Marta Pietkiewicz-Koutny -- 2 -- Model-Based Design of Dependability 23 -- Anish Arora, Rajesh Jagannathan and Yi-Min Wang -- 3 -- TLA Specification of a Mechanism for Concurrent Exception 41 -- Handling -- Avelino Francisco Zorzo, Brian Randell and Alexander Ro- -- manovsky -- 4 -- Component Based Dependable System Modelling for 61 -- Easier Verification -- Didier Buchs, Sandro Costa and David Hurzeler -- Part II Application Specific Modelling for Depend- -- able Design and Analysis -- 5 -- Digging into Concurrency 87 -- Angie Chandler, Serena Patching and Lynne Blair -- 6 -- Deadlock Free Control in Automated Guided Vehicle Systems 105 -- Maria Pia Fanti -- 7 -- Quality Analysis of Dependable Information Systems 127 -- Apostolos Zarras and Valerie Issarny -- Part III Event Ordering and its Application -- 8 -- Fault-Tolerant Sequencer 149 -- Roberto Baldoni, Carlo Marchetti and Sara Tucci Piergiovanni -- 9 -- QoS Analysis of Group Communication Protocols in Wireless 169 -- Environment -- Andrea Bondavalli, Andrea Coccoli and Felicita Di Gian- -- domenico -- 10 -- Semantically Reliable Broadcast 189 -- Jose Pereira, Luis Rodrigues and Rui Oliveira -- 11 -- Exception Handling in Timed Asynchronous Systems 209 -- Robert Miller and Anand Tripathi -- Part IV Transactions and Consistent Checkpointing -- 12 -- A Recovery Model for Cooperative Computations 231 -- Edgar Nett and Michael Mock -- 13 -- Group Transactions 253 -- Marta Patiio-Martnez, Ricardo Jimenez-Peris and Sergio -- Arevalo -- 14 -- Checkpointing in Distributed Computing Systems 273 -- Lalit Kumar, Manoj Misra and Ramesh Chander Joshi -- Part V Concurrency in Real-Time Applications -- 15 -- Concurrency in Dependable Real-Time Objects 293 -- K.H.(Kane) Kim.".
- 2002069524 extent "xvi, 310 p. :".
- 2002069524 identifier "1402070438 (alk. paper)".
- 2002069524 identifier 2002069524-d.html.
- 2002069524 identifier 2002069524.html.
- 2002069524 issued "2002".
- 2002069524 issued "c2002.".
- 2002069524 language "eng".
- 2002069524 publisher "Boston : Kluwer Academic Publishers,".
- 2002069524 subject "Computer systems Reliability.".
- 2002069524 subject "Fault-tolerant computing.".
- 2002069524 subject "Parallel processing (Electronic computers)".
- 2002069524 subject "QA76.58 .C663 2002".
- 2002069524 tableOfContents "Machine generated contents note: Part I Role of Modelling and Formalisms for De- -- pendable System Design -- 1 -- Compositional Development in the Event of Interface Differ- 3 -- ence -- Jonathan Burton, Maciej Koutny, Giuseppe Pappalardo and -- Marta Pietkiewicz-Koutny -- 2 -- Model-Based Design of Dependability 23 -- Anish Arora, Rajesh Jagannathan and Yi-Min Wang -- 3 -- TLA Specification of a Mechanism for Concurrent Exception 41 -- Handling -- Avelino Francisco Zorzo, Brian Randell and Alexander Ro- -- manovsky -- 4 -- Component Based Dependable System Modelling for 61 -- Easier Verification -- Didier Buchs, Sandro Costa and David Hurzeler -- Part II Application Specific Modelling for Depend- -- able Design and Analysis -- 5 -- Digging into Concurrency 87 -- Angie Chandler, Serena Patching and Lynne Blair -- 6 -- Deadlock Free Control in Automated Guided Vehicle Systems 105 -- Maria Pia Fanti -- 7 -- Quality Analysis of Dependable Information Systems 127 -- Apostolos Zarras and Valerie Issarny -- Part III Event Ordering and its Application -- 8 -- Fault-Tolerant Sequencer 149 -- Roberto Baldoni, Carlo Marchetti and Sara Tucci Piergiovanni -- 9 -- QoS Analysis of Group Communication Protocols in Wireless 169 -- Environment -- Andrea Bondavalli, Andrea Coccoli and Felicita Di Gian- -- domenico -- 10 -- Semantically Reliable Broadcast 189 -- Jose Pereira, Luis Rodrigues and Rui Oliveira -- 11 -- Exception Handling in Timed Asynchronous Systems 209 -- Robert Miller and Anand Tripathi -- Part IV Transactions and Consistent Checkpointing -- 12 -- A Recovery Model for Cooperative Computations 231 -- Edgar Nett and Michael Mock -- 13 -- Group Transactions 253 -- Marta Patiio-Martnez, Ricardo Jimenez-Peris and Sergio -- Arevalo -- 14 -- Checkpointing in Distributed Computing Systems 273 -- Lalit Kumar, Manoj Misra and Ramesh Chander Joshi -- Part V Concurrency in Real-Time Applications -- 15 -- Concurrency in Dependable Real-Time Objects 293 -- K.H.(Kane) Kim.".
- 2002069524 title "Concurrency in dependable computing / edited by Paul Ezhilchelvan and Alexander Romanovsky.".
- 2002069524 type "text".