Dependable Software Engineering. Theories, Tools, and Applications, Xinyu Feng; Markus M?ller-Olm; Zijiang Yang
Автор: Xuandong Li; Zhiming Liu; Wang Yi Название: Dependable Software Engineering: Theories, Tools, and Applications ISBN: 3319259415 ISBN-13(EAN): 9783319259413 Издательство: Springer Рейтинг: Цена: 6708.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The title, Violent Grace, suggests a paradox. This pairing has become an unexpected gateway into the varied and prolific artistic career of Edward Knippers. Violence conjures images of aggression while grace has long been associated with beauty, poise, or an unmerited gift. Within the ambiguity of this fertile paradox, the art of Edward Knippers opens up into something rich and rewarding.
Автор: Carl E. Landwehr; Brian Randell; Luca Simoncini Название: Dependable Computing for Critical Applications 3 ISBN: 3709140110 ISBN-13(EAN): 9783709140116 Издательство: Springer Рейтинг: Цена: 6986.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The Third IFIP International Working Conference on Dependable Computing for Critical Applications, like its predecessors, addressed various aspects of computer system dependability, a broad term defined as the degree of trust that may justifiably be placed in a system`s reliability, availability, safety, security, and performance.
Автор: Kim Guldstrand Larsen; Oleg Sokolsky; Ji Wang Название: Dependable Software Engineering. Theories, Tools, and Applications ISBN: 3319694820 ISBN-13(EAN): 9783319694825 Издательство: Springer Рейтинг: Цена: 9083.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the proceedings of the Third International Symposium on Dependable Software Engineering: Theories, Tools, and Applications, SETTA 2017, held in Changsha, China, in October2017.The 19 full papers presented together with 3 invited talks were carefully reviewed and selected from 31 submissions.
Автор: Nan Guan; Joost-Pieter Katoen; Jun Sun Название: Dependable Software Engineering. Theories, Tools, and Applications ISBN: 303035539X ISBN-13(EAN): 9783030355395 Издательство: Springer Рейтинг: Цена: 6986.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the proceedings of the 5th International Symposium on Dependable Software Engineering: Theories, Tools, and Applications, SETTA 2019, held in Shanghai, China, in November 2019.
Описание: This book constitutes the refereed proceedings of the Second International Symposium on Dependable Software Engineering: Theories, Tools, and Applications, SETTA 2016, held in Beijing, China, in November 2016.The 17 full papers presented together with 3 short papers were carefully reviewed and selected from 58 submissions. The aim of the symposium is to bring together international researchers and practitioners in the field of software technology. Its focus is on formal methods and advanced software technologies, especially for engineering complex, large-scale artifacts like cyber-physical systems, networks of things, enterprise systems, or cloud-based services.
Автор: John F. Meyer; Richard D. Schlichting Название: Dependable Computing for Critical Applications 2 ISBN: 3709192005 ISBN-13(EAN): 9783709192009 Издательство: Springer Рейтинг: Цена: 12157.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This volume contains the papers presented at the Second International Work- ing Conference on Dependable Computing for Critical Applications, sponsored by IFIP Working Group lOA and held in Tucson, Arizona on February 18-20, 1991.
Автор: Flaviu Cristian; Gerard LeLann; Teresa Lunt Название: Dependable Computing for Critical Applications 4 ISBN: 3709193982 ISBN-13(EAN): 9783709193983 Издательство: Springer Рейтинг: Цена: 12157.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This volume contains the articles presented at the Fourth InternationallFIP Working Conference on Dependable Computing for Critical Applications held in San Diego, California, on January 4-6, 1994.
The monographic volume addresses, in a systematic and comprehensive way, the state-of-the-art dependability (reliability, availability, risk and safety, security) of systems, using the Artificial Intelligence framework of Probabilistic Graphical Models (PGM). After a survey about the main concepts and methodologies adopted in dependability analysis, the book discusses the main features of PGM formalisms (like Bayesian and Decision Networks) and the advantages, both in terms of modeling and analysis, with respect to classical formalisms and model languages.
Methodologies for deriving PGMs from standard dependability formalisms will be introduced, by pointing out tools able to support such a process. Several case studies will be presented and analyzed to support the suitability of the use of PGMs in the study of dependable systems.
Описание: With practical examples from industry, this volume introduces the methods and tools adopted by the critical systems industry, which includes air traffic control and space exploration. It features `off-the-shelf` systems designed by world-beating companies.
Holistic model for HTTP botnet detection based on DNS traffic analysis.- Detecting broad length algorithmically generated domains.- Secure cloud computing: multithreaded fully homomorphic encryption for legal metrology.- Detecting command and control channel of botnets in clouds.- An experimental framework for investigating security and privacy of IoT devices.- Dynamic cypher for enhanced cryptography and communication for Internet of Things.- An inter-device authentication scheme for smart homes using one-time-password over infrared channel.- Detection and prevention of blackhole attacks in wireless sensor networks.- Detection of online fake news using N-gram analysis and machine learning techniques.- Security protocol of social payment apps.- Spectral-spatial classification of hyperspectral imagery using support vector and Fuzzy-MRF.- Infant monitoring system using wearable sensors based on blood oxygen saturation.- Network behavioral analysis for zero-day malware detection. Network Behavioral Analysis for Zero-day Malware Detection.
Автор: Rog?rio de Lemos; Cristina Gacek; Alexander Romano Название: Architecting Dependable Systems ISBN: 3540407278 ISBN-13(EAN): 9783540407270 Издательство: Springer Рейтинг: Цена: 9781.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: As software systems become more and more ubiquitous, the issues of dependability become more and more critical. The papers are organized in topical sections on- architectures for dependability- fault tolerance in software architectures- dependability analysis in software architectures- industrial experience.
Автор: Rog?rio de Lemos; Jean-Charles Fabre; Cristina Gac Название: Architecting Dependable Systems VI ISBN: 3642102476 ISBN-13(EAN): 9783642102479 Издательство: Springer Рейтинг: Цена: 10480.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru