Quality, Reliability, Security and Robustness in Heterogeneous Systems, Trung Q. Duong; Nguyen-Son Vo; Van Ca Phan
Автор: Xiaowen Chu; Hongbo Jiang; Bo Li; Dan Wang; Wei Wa Название: Quality, Reliability, Security and Robustness in Heterogeneous Systems ISBN: 3030388182 ISBN-13(EAN): 9783030388188 Издательство: Springer Рейтинг: Цена: 6986.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed post-conference proceedings of the 15th EAI International Conference on Quality, Reliability, Security and Robustness in Heterogeneous Networks, QShine 2019, held in Shenzhen, China, in November 2019.
Описание: This book constitutes the refereed conference proceedings of the 12th EAI International Conference on Quality, Reliability, Security and Robustness in Heterogeneous Networks, QShine 2016, held in Seoul, South Korea, in July 2016.
Описание: This book constitutes the refereed post-conference proceedings of the 13th International Conference on Quality, Reliability, Security and Robustness in Heterogeneous Networks, QShine 2017, held in Dalian, China, in December 2017.
Автор: G?rschwin Fey; Rolf Drechsler Название: Robustness and Usability in Modern Design Flows ISBN: 904817662X ISBN-13(EAN): 9789048176625 Издательство: Springer Рейтинг: Цена: 15672.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The size of technically producible integrated circuits increases continuously, but the ability to design and verify these circuits does not keep up. Using a visionary approach, this book analyzes the current design methodology and verification methodology, a number of deficiencies are identified and solutions suggested.
Описание: This book constitutes the refereed proceedings of the Third International Conference on Reliability, Safety, and Security of Railway Systems, RSSRail 2019, held in Lille, France in June 2019. They cover a range of topics including railways system and infrastructure advance modelling;
Описание: 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.
Автор: Alfredo Cuzzocrea; Christian Kittl; Dimitris E. Si Название: Availability, Reliability, and Security in Information Systems and HCI ISBN: 364240510X ISBN-13(EAN): 9783642405105 Издательство: Springer Рейтинг: Цена: 6986.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the IFIP WG 8.4, 8.9, TC 5 International Cross-Domain Conference on Availability, Reliability and Security, CD-ARES 2013, held in Regensburg, Germany, in September 2013.
Автор: Athman Bouguettaya; Boualem Benatallah; Ahmed K. E Название: Interconnecting Heterogeneous Information Systems ISBN: 1461375460 ISBN-13(EAN): 9781461375463 Издательство: Springer Рейтинг: Цена: 20962.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Interconnecting Heterogeneous Information Systems is suitable as a textbook for a graduate-level course on Interconnecting Heterogeneous Information Systems, as well as a secondary text for a graduate-level course on database or information systems, and as a reference for researchers and practitioners in industry.
Автор: Jos? Cec?lio; Pedro Furtado Название: Wireless Sensors in Heterogeneous Networked Systems ISBN: 3319384732 ISBN-13(EAN): 9783319384733 Издательство: Springer Рейтинг: Цена: 11878.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book presents an examination of the middleware that can be used to configure and operate heterogeneous node platforms and sensor networks. provides a detailed examination of platform-agnostic middleware architecture, including important implementation details;
Автор: Novella Bartolini; Sotiris Nikoletseas; Prasun Sin Название: Quality of Service in Heterogeneous Networks ISBN: 3642106242 ISBN-13(EAN): 9783642106248 Издательство: Springer Рейтинг: Цена: 19564.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This volume presents the proceedings of the 6th International ICST Conference on Heterogeneous Networking for Quality, Reliability, Security and Robustness and of the Third International ICST Workshop on Advanced Architectures and Algorithms for Internet DElivery and Applications.
Автор: Jos? Cec?lio; Pedro Furtado Название: Wireless Sensors in Heterogeneous Networked Systems ISBN: 3319092790 ISBN-13(EAN): 9783319092799 Издательство: Springer Рейтинг: Цена: 11878.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book presents an examination of the middleware that can be used to configure and operate heterogeneous node platforms and sensor networks. provides a detailed examination of platform-agnostic middleware architecture, including important implementation details;
Автор: Jens Burkhard Schmitt Название: Heterogeneous Network Quality of Service Systems ISBN: 1461355443 ISBN-13(EAN): 9781461355441 Издательство: Springer Рейтинг: Цена: 13974.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Heterogeneous Network Quality of Service Systems will be especially useful for networking professionals and researchers, advanced level students, and other information technology professionals whose work relate to the Internet.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
