Контакты/Проезд  Доставка и Оплата Помощь/Возврат
История
  +7(495) 980-12-10
  пн-пт: 10-18 сб,вс: 11-18
  shop@logobook.ru
   
    Поиск книг                    Поиск по списку ISBN Расширенный поиск    
Найти
  Зарубежные издательства Российские издательства  
Авторы | Каталог книг | Издательства | Новинки | Учебная литература | Акции | Хиты | |
 

Stabilization, Safety, and Security of Distributed Systems, Andrzej Pelc; Alexander A. Schwarzmann


Варианты приобретения
Цена: 6708.00р.
Кол-во:
Наличие: Поставка под заказ.  Есть в наличии на складе поставщика.
Склад Америка: Есть  
При оформлении заказа до: 2025-07-28
Ориентировочная дата поставки: Август-начало Сентября
При условии наличия книги у поставщика.

Добавить в корзину
в Мои желания

Автор: Andrzej Pelc; Alexander A. Schwarzmann
Название:  Stabilization, Safety, and Security of Distributed Systems
ISBN: 9783319217406
Издательство: Springer
Классификация:



ISBN-10: 3319217402
Обложка/Формат: Paperback
Страницы: 288
Вес: 0.44 кг.
Дата издания: 21.07.2015
Серия: Theoretical Computer Science and General Issues
Язык: English
Размер: 234 x 156 x 17
Основная тема: Computer Science
Подзаголовок: 17th International Symposium, SSS 2015, Edmonton, AB, Canada, August 18-21, 2015, Proceedings
Ссылка на Издательство: Link
Рейтинг:
Поставляется из: Германии
Описание: 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.


Stabilization, Safety, and Security of Distributed Systems

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

Safety and Security in Multiagent 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.

Distributed Applications and Interoperable Systems

Автор: Lydia Y. Chen; Hans P. Reiser
Название: Distributed Applications and Interoperable Systems
ISBN: 3319596640 ISBN-13(EAN): 9783319596648
Издательство: Springer
Рейтинг:
Цена: 7685.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the proceedings of the 17th IFIP International Conference on Distributed Applications and Interoperable Systems, DAIS 2017, held in Neuchatel, Switzerland, in June 2017. The 11 papers presented together with 4 short papers in this volume were carefully reviewed and selected from 23 submissions.

Stabilization, Safety, and Security of Distributed Systems

Автор: 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.
Stabilization, Safety, and Security of Distributed 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.

Stabilization, Safety, and Security of Distributed Systems

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

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification

Автор: Lecomte
Название: Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
ISBN: 3319339508 ISBN-13(EAN): 9783319339504
Издательство: Springer
Рейтинг:
Цена: 6988.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: 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.

Formal Techniques for Distributed Objects, Components, and Systems

Автор: Ahmed Bouajjani; Alexandra Silva
Название: Formal Techniques for Distributed Objects, Components, and Systems
ISBN: 3319602241 ISBN-13(EAN): 9783319602240
Издательство: Springer
Рейтинг:
Цена: 7685.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: 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.

Internet and Distributed Computing Systems

Автор: Li
Название: Internet and Distributed Computing Systems
ISBN: 3319459392 ISBN-13(EAN): 9783319459394
Издательство: Springer
Рейтинг:
Цена: 10342.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the proceedings of the 9th International Conference on Internet and Distributed Computing Systems, IDCS 2016, held in Wuhan, China, in September 2016. The 30 full papers and 18 short papers presented in this volume were carefully reviewed and selected from 78 submissions.

Formal Techniques for Distributed Objects, Components, and Systems

Автор: Albert
Название: Formal Techniques for Distributed Objects, Components, and Systems
ISBN: 3319395696 ISBN-13(EAN): 9783319395692
Издательство: Springer
Рейтинг:
Цена: 8944.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: On the Power of Attribute-Based Communication.- Fencing Programs with Self-Invalidation and Self-Downgrade.- A Framework for Certified Self-Stabilization.- Developing Honest Java Programs with Diogenes.- Playing with our CAT and Communication-Centric Applications.- Multiparty Session Types Within A Canonical Binary Theory, and Beyond.- A Type Theory for Robust Failure Handling in Distributed Systems.- Choreographies in Practice.- Specification-Based Synthesis of Distributed Self-Stabilizing Protocols.- Branching Bisimulation Games.- A Configurable CEGAR Framework with Interpolation-Based Refinements.- A Theory for the Composition of Concurrent Processes.- Enforcing Availability in Failure-Aware Communicating Systems.- Ransomware Steals Your Phone. Formal Methods Rescue It.- Multiple Mutation Testing from FSM.- The Challenge of Typed Expressiveness in Concurrency.- Type-Based Analysis for Session Inference.- SimAutoGen Tool: Test Vector Generation from Large Scale Matlab/Simulink Models.

Distributed Computing in Sensor Systems

Автор: Phil Gibbons; Tarek Abdelzaher; James Aspnes; Rame
Название: Distributed Computing in Sensor Systems
ISBN: 3540352279 ISBN-13(EAN): 9783540352273
Издательство: Springer
Рейтинг:
Цена: 13974.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Constitutes the refereed proceedings of the Second International Conference on Distributed Computing in Sensor Systems, DCOSS 2006, held in San Francisco, California, USA, June 2006. This book presents the papers focusing on distributed computing issues in large-scale networked sensor systems.

Trust and Fairness in Open, Distributed Systems

Автор: Adam Wierzbicki
Название: Trust and Fairness in Open, Distributed Systems
ISBN: 3642425143 ISBN-13(EAN): 9783642425141
Издательство: Springer
Рейтинг:
Цена: 19589.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This major contribution to the development of social informatics shows how information systems can realize social goals, use social concepts, or become sources of information about social phenomena. All of these research directions are present in this book.


ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
   В Контакте     В Контакте Мед  Мобильная версия