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 Рейтинг: Цена: 7826.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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 Рейтинг: Цена: 9781.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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 Рейтинг: Цена: 9222.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.
Автор: Rachid Guerraoui; Franck Petit Название: Stabilization, Safety, and Security of Distributed Systems ISBN: 3642051170 ISBN-13(EAN): 9783642051173 Издательство: Springer Рейтинг: Цена: 19564.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the 11th International Symposium on Stabilization, Safety, and Security of Distributed Systems, SSS 2009, held in Lyon, France, in November 2009. The 49 revised full papers and 14 brief announcements presented together with three invited talks were carefully reviewed and selected from 126 submissions. The papers address all safety and security-related aspects of self-stabilizing systems in various areas. The most topics related to self-* systems. The special topics were alternative systems and models, autonomic computational science, cloud computing, embedded systems, fault-tolerance in distributed systems / dependability, formal methods in distributed systems, grid computing, mobility and dynamic networks, multicore computing, peer-to-peer systems, self-organizing systems, sensor networks, stabilization, and system safety and security.
Автор: Teruo Higashino; Yoshiaki Katayama; Toshimitsu Mas Название: Stabilization, Safety, and Security of Distributed Systems ISBN: 3319030884 ISBN-13(EAN): 9783319030883 Издательство: Springer Рейтинг: Цена: 6986.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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 Рейтинг: Цена: 6708.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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 Рейтинг: Цена: 9224.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.
This year the Program Committee was organized into three groups reflecting the major trends related to self-* systems: (a) Self-* and Autonomic Computing, (b)Foundations, and (c) Networks, Multi-Agent Systems, and Mobility.
Описание: 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.
Описание: 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 Рейтинг: Цена: 8384.00 р. Наличие на складе: Поставка под заказ.
Описание: 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 Рейтинг: Цена: 6653.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Designing Distributed Control Systems presents 80 patterns for designing distributed machine control system software architecture (forestry machinery, mining drills, elevators, etc.).
Описание: 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.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
