Produktart
Zustand
Einband
Weitere Eigenschaften
Gratisversand
Land des Verkäufers
Verkäuferbewertung
Verlag: Springer Berlin Heidelberg, 2001
ISBN 10: 3540419527ISBN 13: 9783540419525
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Buch
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Modern software systems are becoming more complex in many ways and have to cope with a growing number of abnormal situations which, in turn, are increasingly complex to handle. The most general way of dealing with these problems is by incorporating exception handling techniques in software design. In the past, various exception handling models and techniques have been proposed and many of them are part of practical languages and software composition technologies.This book is composed of five parts, which deal with topics related to exception handling in the context of programming language models, design methodologies, concurrent and distributed systems, applications and experiences, and large-scale systems such as database and workflow process mangagement systems. The 17 coherently written chapters by leading researchers competently address a wide range of issues in exception handling.
Verlag: Springer International Publishing, 2019
ISBN 10: 3030266001ISBN 13: 9783030266004
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Buch
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the proceedings of the 38th International Conference on Computer Safety, Reliability and Security, SAFECOMP 2019, held in Turku, Finland, in September 2019.The 16 full and 5 short papers included in this volume were carefully reviewed and selected from 65 submissions. They were organized in topical sections named: formal verification; autonomous driving; safety and reliability modeling; security engineering and risk assessment; safety argumentation; verification and validation of autonomous systems; and interactive systems and design validation.
Verlag: Springer International Publishing, 2019
ISBN 10: 3030262499ISBN 13: 9783030262495
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Buch
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the proceedings of the Workshops held in conjunction with SAFECOMP 2019, 38th International Conference on Computer Safety, Reliability and Security, in September 2019 in Turku, Finland. The 32 regular papers included in this volume were carefully reviewed and selected from 43 submissions; the book also contains two invited papers. The workshops included in this volume are:ASSURE 2019: 7th International Workshop on Assurance Cases for Software-Intensive SystemsDECSoS 2019: 14th ERCIM/EWICS/ARTEMIS Workshop on Dependable Smart Embedded and Cyber-Physical Systems and Systems-of-SystemsSASSUR 2019: 8th International Workshop on Next Generation of System Assurance Approaches for Safety-Critical SystemsSTRIVE 2019: Second International Workshop on Safety, securiTy, and pRivacy In automotiVe systEmsWAISE 2019: Second International Workshop on Artificial Intelligence Safety Engineering.
Verlag: Chapman and Hall/CRC, 2016
ISBN 10: 1498742459ISBN 13: 9781498742450
Anbieter: Buchpark, Trebbin, Deutschland
Buch
Zustand: Wie neu. Zustand: Wie neu | Seiten: 488.
Verlag: Springer US, 2010
ISBN 10: 1441952780ISBN 13: 9781441952783
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Buch
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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 normal system events. Achieving dependability therefore is closely related to, and also benefits from, concurrency theory and formalisms. This beneficial relationship appears to manifest into three strands of work. Application level structuring of concurrent activities. Concepts such as atomic actions, conversations, exception handling, view synchrony, etc., are useful in structuring concurrent activities so as to facilitate attempts at coping with the effects of component failures. Replication induced concurrency management. Replication is a widely used technique for achieving reliability. Replica management essentially involves ensuring that replicas perceive concurrent events identically. Application of concurrency formalisms for dependability assurance. Fault-tolerant algorithms are harder to verify than their fault-free counterparts due to the fact that the impact of component faults at each state need to be considered in addition to valid state transitions. CSP, Petri nets, CCS are useful tools to specify and verify fault-tolerant designs and protocols. Concurrency in Dependable Computing explores many significant issues in all three strands. To this end, it is composed as a collection of papers written by authors well-known in their respective areas of research. To ensure quality, the papers are reviewed by a panel of at least three experts in the relevant area.
Verlag: Springer US, 2002
ISBN 10: 1402070438ISBN 13: 9781402070433
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Buch
Buch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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 normal system events. Achieving dependability therefore is closely related to, and also benefits from, concurrency theory and formalisms. This beneficial relationship appears to manifest into three strands of work. Application level structuring of concurrent activities. Concepts such as atomic actions, conversations, exception handling, view synchrony, etc., are useful in structuring concurrent activities so as to facilitate attempts at coping with the effects of component failures. Replication induced concurrency management. Replication is a widely used technique for achieving reliability. Replica management essentially involves ensuring that replicas perceive concurrent events identically. Application of concurrency formalisms for dependability assurance. Fault-tolerant algorithms are harder to verify than their fault-free counterparts due to the fact that the impact of component faults at each state need to be considered in addition to valid state transitions. CSP, Petri nets, CCS are useful tools to specify and verify fault-tolerant designs and protocols. Concurrency in Dependable Computing explores many significant issues in all three strands. To this end, it is composed as a collection of papers written by authors well-known in their respective areas of research. To ensure quality, the papers are reviewed by a panel of at least three experts in the relevant area.
Verlag: Springer International Publishing, 2017
ISBN 10: 3319659472ISBN 13: 9783319659473
Anbieter: moluna, Greven, Deutschland
Buch
Zustand: New.
Verlag: CRC Press 2020-06-30, Boca Raton, 2020
ISBN 10: 036757442XISBN 13: 9780367574420
Anbieter: Blackwell's, London, Vereinigtes Königreich
Buch
paperback. Zustand: New. Language: ENG.
Verlag: Springer Berlin Heidelberg, 2005
ISBN 10: 3540250530ISBN 13: 9783540250531
Anbieter: moluna, Greven, Deutschland
Buch
Kartoniert / Broschiert. Zustand: New.
Verlag: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 2006
ISBN 10: 3540374434ISBN 13: 9783540374435
Anbieter: Ammareal, Morangis, Frankreich
Buch
Softcover. Zustand: Très bon. Ancien livre de bibliothèque. Edition 2006. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Edition 2006. Ammareal gives back up to 15% of this item's net price to charity organizations.
Mehr Angebote von anderen Verkäufern bei ZVAB
Neu ab EUR 48,37
Gebraucht ab EUR 32,08
Mehr entdecken Softcover
Verlag: Springer Berlin Heidelberg, 2007
ISBN 10: 354073130XISBN 13: 9783540731306
Anbieter: moluna, Greven, Deutschland
Buch
Kartoniert / Broschiert. Zustand: New. The papers selected for this volume present advances in software engineering approaches to develop dependable high-quality multi-agent systems. These papers describe experiences and techniques associated with large multi-agent systems in a wide variety o.
Verlag: Springer, 2004
ISBN 10: 3540231684ISBN 13: 9783540231684
Anbieter: Ammareal, Morangis, Frankreich
Buch
Softcover. Zustand: Très bon. Ancien livre de bibliothèque. Edition 2004. Tome 2. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Edition 2004. Volume 2. Ammareal gives back up to 15% of this item's net price to charity organizations.
Verlag: Springer Berlin Heidelberg 2011-06-14, Heidelberg, 2011
ISBN 10: 3642213375ISBN 13: 9783642213373
Anbieter: Blackwell's, London, Vereinigtes Königreich
Buch
paperback. Zustand: New. Language: ENG.
Verlag: Springer Berlin Heidelberg, 2006
ISBN 10: 3540335803ISBN 13: 9783540335801
Anbieter: moluna, Greven, Deutschland
Buch
Zustand: New. Presents a coherent and well-balanced survey of recent advances in software engineering approaches to the design and analysis of realistic large-scale multi-agent systemsOffers 15 reviewed and revised papers, most presented at 4th International Wo.