Stabilization, Safety, and Security of Distributed Systems, Mohsen Ghaffari; Mikhail Nesterenko; S?bastien Tix

Автор: 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.

Автор: Taisuke Izumi; Petr Kuznetsov
Название: Stabilization, Safety, and Security of Distributed Systems
ISBN: 3030032310 ISBN-13(EAN): 9783030032319
Издательство: Springer
Рейтинг:
Цена: 46570.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the 20th International Symposium on Stabilization, Safety, and Security of Distributed Systems, SSS 2018, held in Tokyo, Japan, in November 2018. The 24 revised full papers presented were carefully reviewed and selected from 55 submissions. The papers are organized into three tracks reflecting major trends related to distributed systems: theoretical and practical aspects of stabilizing systems; distributed networks and concurrency; and safety in malicious environments.

Автор: Rachid Guerraoui; Franck Petit
Название: Stabilization, Safety, and Security of Distributed Systems
ISBN: 3642051170 ISBN-13(EAN): 9783642051173
Издательство: Springer
Рейтинг:
Цена: 130430.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.

Автор: 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.

Автор: 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.

Автор: 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.

Автор: Luc C.G.J.M. Habets
Название: Robust Stabilization in the Gap-topology
ISBN: 3540534660 ISBN-13(EAN): 9783540534662
Издательство: Springer
Рейтинг:
Цена: 81050.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The author presents a topological approach to the problem of robustness of dynamic feedback control. Furthermore, it is possible to solve the problem of optimally robust control in this setting. Several algorithms for computing an optimally robust controller in the gap-topology are presented and worked out.

Автор: Ahmed Bouajjani; Alexandra Silva
Название: Formal Techniques for Distributed Objects, Components, and Systems
ISBN: 3319602241 ISBN-13(EAN): 9783319602240
Издательство: Springer
Рейтинг:
Цена: 51230.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Session types for Link failures.- Learning-based compositional parameter synthesis for event-recording automata.- Modularising opacity verification for Hybrid Transactional Memory.- Proving opacity via linearizability: a sound and complete method.- On futures for streaming data in ABS.- Session-based concurrency, reactively.- Procedural choreographic programming.- An observational approach to defining linearizability on weak memory models.- Applying a dependency mechanism in the formal development of voting protocol models using event-B.- Weak simulation quasimetric in a gossip scenario.- Reasoning about distributed secrets.- Classical higher-order processes.- Weak nominal modal logic.- Type inference of simulink hierarchical block diagrams in Isabelle.- Creating Bьchi automata for multi-valued model checking.- Privacy assessment using static taint analysis.- EPTL - a temporal logic for weakly consistent systems.

Автор: Ahmed A. Zaki Diab; Abo-Hashima M. Al-Sayed; Hoss
Название: Development of Adaptive Speed Observers for Induction Machine System Stabilization
ISBN: 9811522979 ISBN-13(EAN): 9789811522970
Издательство: Springer
Рейтинг:
Цена: 46570.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book describes the development of an adaptive state observer using a mathematical model to achieve high performance for sensorless induction motor drives.

Автор: 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.