Stabilization, Safety, and Security of Distributed Systems, Taisuke Izumi; Petr Kuznetsov

Автор: Pascal Felber; Vijay Garg
Название: Stabilization, Safety, and Security of Distributed Systems
ISBN: 3319117637 ISBN-13(EAN): 9783319117638
Издательство: Springer
Рейтинг:
Цена: 52170.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the 16 International Symposium on Stabilization, Safety and Security of Distributed Systems, SSS 2013, held in Osaka, Japan, in September/October 2014. The 21 regular papers and 8 short papers presented were carefully reviewed and selected from 44 submissions. fault-tolerant and dependable systems;

Автор: Paul Spirakis; Philippas Tsigas
Название: Stabilization, Safety, and Security of Distributed Systems
ISBN: 3319690833 ISBN-13(EAN): 9783319690834
Издательство: Springer
Рейтинг:
Цена: 65210.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the 19th International Symposium on Stabilization, Safety, and Security of Distributed Systems, SSS 2017, held in Boston, MA, USA, in November 2017. The 29 revised full papers presented together with 8 revised short papers were carefully reviewed and selected from 68 initial submissions.

Автор: Mohsen Ghaffari; Mikhail Nesterenko; S?bastien Tix
Название: Stabilization, Safety, and Security of Distributed Systems
ISBN: 3030349918 ISBN-13(EAN): 9783030349912
Издательство: Springer
Рейтинг:
Цена: 61480.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the 21st International Symposium on Stabilization, Safety, and Security of Distributed Systems, SSS 2019, held in Pisa, Italy, in October 2019.The 21 full papers presented were carefully reviewed and selected from 45 submissions.

Автор: Teruo Higashino; Yoshiaki Katayama; Toshimitsu Mas
Название: Stabilization, Safety, and Security of Distributed Systems
ISBN: 3319030884 ISBN-13(EAN): 9783319030883
Издательство: Springer
Рейтинг:
Цена: 46570.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the thoroughly refereed proceedings of the 15 International Symposium on Stabilization, Safety and Security of Distributed Systems, SSS 2013, held in Osaka, Japan, in November 2013. ad-hoc, sensors, mobile agents and robot networks and P2P, social, self-organizing, autonomic and opportunistic networks.

Автор: Andrzej Pelc; Alexander A. Schwarzmann
Название: Stabilization, Safety, and Security of Distributed Systems
ISBN: 3319217402 ISBN-13(EAN): 9783319217406
Издательство: Springer
Рейтинг:
Цена: 44720.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the 17 International Symposium on Stabilization, Safety, and Security of Distributed Systems, SSS 2015, held in Edmonton, AB, Canada, in August 2015. The 16 regular papers presented together with 8 brief announcements and 3 keynote lectures were carefully reviewed and selected from 38 submissions.

Автор: Bonakdarpour
Название: Stabilization, Safety, and Security of Distributed Systems
ISBN: 3319492586 ISBN-13(EAN): 9783319492582
Издательство: Springer
Рейтинг:
Цена: 61490.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the 18th International Symposium on Stabilization, Safety, and Security of Distributed Systems, SSS 2016, held in Lyon, France, in November 2016.

Автор: Limin Wang; Ridong Zhang; Furong Gao
Название: Iterative Learning Stabilization and Fault-Tolerant Control for Batch Processes
ISBN: 9811357897 ISBN-13(EAN): 9789811357893
Издательство: Springer
Рейтинг:
Цена: 93160.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book is based on the authors` research on the stabilization and fault-tolerant control of batch processes, which are flourishing topics in the field of control system engineering.

Автор: Burns Brendan
Название: Designing Distributed Systems: Patterns and Paradigms for Scalable, Reliable Services
ISBN: 1491983647 ISBN-13(EAN): 9781491983645
Издательство: Wiley
Рейтинг:
Цена: 42230.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This report explores the concept of a digital business platform as a way of empowering individual business sectors to act on data in real time.

Автор: Peter Csaba ?lveczky
Название: Designing Reliable Distributed Systems
ISBN: 1447166868 ISBN-13(EAN): 9781447166863
Издательство: Springer
Рейтинг:
Цена: 55890.00 T
Наличие на складе: Поставка под заказ.
Описание: This classroom-tested textbook provides an accessible introduction to the design, formal modeling, and analysis of distributed computer systems.

Автор: Eloranta Veli Pekka
Название: Designing Distributed Control Systems
ISBN: 1118694155 ISBN-13(EAN): 9781118694152
Издательство: Wiley
Рейтинг:
Цена: 44350.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Designing Distributed Control Systems presents 80 patterns for designing distributed machine control system software architecture (forestry machinery, mining drills, elevators, etc.).

Автор: Lecomte
Название: Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
ISBN: 3319339508 ISBN-13(EAN): 9783319339504
Издательство: Springer
Рейтинг:
Цена: 46590.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The Risk Assessment of ERTMS-Based Railway Systems from a Cyber SecurityPerspective: Methodology and Lessons Learned.- Using Formal Proof and B Method at System Level for Industrial Projects.- A Novel Approach to HW/SW Integration Testing of Route-Based Interlocking System Controllers.- A Formal Security Analysis of ERTMS Train to Trackside Protocols.- Operational Security - A Coming Evolution of Railway Operational Procedures under the IT Security Threat.- Risk Assessment of the 3Des in the ERTMS.- Failure Analysis of Chinese Train Control System Level 3 Based on Model Checking.- Correct Formalization of Requirement Specifications: A V-Model for Building Formal Methods.- Static Verification of Railway Scheme and Interlocking Design Data.- Verification of Railway Interlocking - Compositional Approach with OCRA.- Safety Verification of Heterogeneous Railway Networks.- Comparing Formal Verification Approaches of Interlocking Systems.- Predictive Reasoning and Machine Learning for the Enhancement of Reliability in Railway Systems.- Applying Abstract Interpretation to Verify EN-50128 Software Safety Requirements.- The PERF Approach for Formal Verification.- Abstract Software Specifications and Automatic Proof of Refinement.- S3: Proving the Safety of Critical Systems.- Increasing Proofs Automation Rate of Atelier-B Thanks to Alt-Ergo.

Автор: Mike Barley; Haris Mouratidis; Amy Unruh; Diana F.
Название: Safety and Security in Multiagent Systems
ISBN: 3642048781 ISBN-13(EAN): 9783642048784
Издательство: Springer
Рейтинг:
Цена: 69870.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: As intelligent autonomous agents and multiagent system applications become more pervasive, it becomes increasingly important to understand the risks associated with using these systems.