Stabilization, Safety, and Security of Distributed Systems, Paul Spirakis; Philippas Tsigas
Автор: 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.
Автор: 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.
Описание: 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.
Автор: Arben ?ela; Mongi Ben Gaid; Xu-Guang Li; Silviu-Iu Название: Optimal Design of Distributed Control and Embedded Systems ISBN: 3319376632 ISBN-13(EAN): 9783319376639 Издательство: Springer Рейтинг: Цена: 15672.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: In this book the authors present a co-design approach which subsumes the synthesis of the optimal control laws and the generation of an optimal schedule of control signals on real-time networks based on a thorough analysis of the induced time-delay system.
Автор: 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.
Автор: 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.
Автор: 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;
Автор: Varela Carlos A Название: Programming Distributed Computing Systems ISBN: 0262018985 ISBN-13(EAN): 9780262018982 Издательство: MIT Press Рейтинг: Цена: 5775.00 р. Наличие на складе: Нет в наличии.
Описание: An introduction to fundamental theories of concurrent computation and associated programming languages for developing distributed and mobile computing systems.
Автор: Mike Barley; Haris Mouratidis; Amy Unruh; Diana F. Название: Safety and Security in Multiagent Systems ISBN: 3642048781 ISBN-13(EAN): 9783642048784 Издательство: Springer Рейтинг: Цена: 10480.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: As intelligent autonomous agents and multiagent system applications become more pervasive, it becomes increasingly important to understand the risks associated with using these systems.
Автор: Mike Hinchey; Bernd Kleinjohann; Lisa Kleinjohann; Название: Distributed, Parallel and Biologically Inspired Systems ISBN: 3642422926 ISBN-13(EAN): 9783642422928 Издательство: Springer Рейтинг: Цена: 12857.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: st This volume contains the proceedings of two conferences held as part of the 21 IFIP World Computer Congress in Brisbane, Australia, 20-23 September 2010.
Автор: Gero M?hl; Ludger Fiege; Peter Pietzuch Название: Distributed Event-Based Systems ISBN: 3642069126 ISBN-13(EAN): 9783642069123 Издательство: Springer Рейтинг: Цена: 11179.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:
In today's world, services and data are integrated in ever new constellations, requiring the easy, flexible and scalable integration of autonomous, heterogeneous components into complex systems at any time.
Event-based architectures inherently decouple system components. Event-based components are not designed to work with specific other components in a traditional request/reply mode, but separate communication from computation through asynchronous communication mechanisms via a dedicated notification service.
Muhl, Fiege, and Pietzuch provide the reader with an in-depth description of event-based systems. They cover the complete spectrum of topics, ranging from a treatment of local event matching and distributed event forwarding algorithms, through a more practical discussion of software engineering issues raised by the event-based style, to a presentation of state-of-the-art research topics in event-based systems, such as composite event detection and security. Their presentation gives researchers a comprehensive overview of the area and lots of hints for future research. In addition, they show the power of event-based architectures in modern system design, thus encouraging professionals to exploit this technique in next generation large-scale distributed applications like information dissemination, network monitoring, enterprise application integration, or mobile systems.
Автор: John Hatcliff; Elena Zucca Название: Formal Techniques for Distributed Systems ISBN: 3642134637 ISBN-13(EAN): 9783642134630 Издательство: Springer Рейтинг: Цена: 9776.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Constitutes the refereed proceedings of the 12th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2010, and the 30th IFIP WG 6.1 Formal Techniques for Networked and Distributed Systems, FORTE 2010, held in Amsterdam, The Netherlands, in June 2010.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
