A Holistic View of Software and Hardware Reuse: Dependable Reuse of Components and Systems, Belli Fevzi, Quella Ferdinand
Автор: 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.
Описание: This book constitutes the proceedings of the 7th International Symposium on Dependable Software Engineering, SETTA 2021, held in Beijing, China, in November 2021. The 16 full papers in this volume were carefully reviewed and selected from 39 submissions, and are presented with 3 abstracts of keynote speeches.
Описание: This book constitutes the proceedings of the 6th International Symposium on Dependable Software Engineering, SETTA 2020, held in Guangzhou, China, in November 2020. The 10 full and 1 short paper included in this volume were carefully reviewed and selected from 20 submissions.
Автор: Xinyu Feng; Markus M?ller-Olm; Zijiang Yang Название: Dependable Software Engineering. Theories, Tools, and Applications ISBN: 331999932X ISBN-13(EAN): 9783319999326 Издательство: Springer Рейтинг: Цена: 6986.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:
This book constitutes the proceedings of the Third International Symposium on Dependable Software Engineering: Theories,
Tools, and Applications, SETTA 2018, held in Beijing, China, in September 2018.
The 9 full papers presented together with 3 short papers were carefully reviewed and selected from 22 submissions.
The purpose of SETTA is to provide an international forum for researchers and practitioners to share cutting-edge advancements and strengthen collaborations in the field of formal methods and its interoperability with software engineering for building reliable, safe, secure, and smart systems.
Автор: 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 contains papers on selected aspects of dependability analysis in computer systems and networks, which were chosen for discussion during the 16th DepCoS-RELCOMEX conference held in Wroclaw, Poland, from June 28 to July 2, 2021.
Описание: This book presents cutting-edge work onthe most challenging research issues concerning intelligent transportationsystems (ITS), introducing selected, highly relevant advanced research onscheduling and real-time communication for vehicular networks, as well as faulttolerance, test beds and simulations for ITS.
DDoS 3.0 - How terrorists bring down the Internet.- SGsim: Co-Simulation Framework for ICT-Enabled Power Distribution Grids.- Improving Cross-Traffic Bounds in Feed-Forward Networks -- There is a Job for Everyone.- Stochastic analysis of energy consumption in pool depletion systems.- Moving queue on a network.- A Multi-commodity Simulation Tool Based on TRIANA.- Performance and Precision of Web Caching Simulations for Zipf Request Pattern.- PSTeC: A Location-time Driven Modelling Formalism for Probabilistic Real-time Systems.- Analysis of Hierarchical Semi-Markov Processes with Parallel Regions.- Combining Mobility Models with Arrival Processes.- Product Line Fault Tree Analysis by Means of Multi-valued Decision Diagrams.- Resolving Contention for Networks-on-Chips: Combining Time-triggered Application Scheduling with Dynamic Budgeting of Memory Bus Use.- The Weak Convergence of TCP Bandwidth Sharing.- Analysis of Mitigation Measures for Timing Attacks in Mobile Offloading Systems.- Capabilities of Raspberry Pi 2 for Big Data and Video Streaming Applications in Data Centres.- Ensemble-Based Uncertainty Quantification for Smart Grid Co-Simulation.
Описание: This book constitutes the revised selected papers of the Third International Workshop on Engineering Dependable and Secure Machine Learning Systems, EDSMLS 2020, held in New York City, NY, USA, in February 2020.
Автор: Henkel Jцrg, Dutt Nikil Название: Dependable Embedded Systems ISBN: 3030520161 ISBN-13(EAN): 9783030520168 Издательство: Springer Цена: 6986.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Unlike other books that focus on a single abstraction level such circuit level or system level alone, the focus of this book is to deal with the different reliability challenges across different levels starting from the physical level all the way to the system level (cross-layer approaches).
Описание: 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.
Автор: 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.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
