Resilience Assessment and Evaluation of Computing Systems, Katinka Wolter; Alberto Avritzer; Marco Vieira; Aa
Автор: Christian Berger; Mohammad Reza Mousavi; Rafael Wi Название: Cyber Physical Systems. Design, Modeling, and Evaluation ISBN: 3319517376 ISBN-13(EAN): 9783319517377 Издательство: Springer Рейтинг: Цена: 6986.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the proceedings of the 6th International Workshopon Design, Modeling, and Evaluation of Cyber Physical Systems, CyPhy2016, held in conjunction with ESWeek 2016, in Pittsburgh, PA, USA, inOctober 2016. The 9 papers presented in this volume were carefully reviewed and selected from 14 submissions. They broadly interpret, from a diverse set of disciplines, the modeling, simulation, and evaluation of cyber-physical systems with a particular focus on techniques and components to enable and support virtual prototyping and testing.
Автор: Raj Madhavan; Edward Tunstel; Elena Messina Название: Performance Evaluation and Benchmarking of Intelligent Systems ISBN: 1489983007 ISBN-13(EAN): 9781489983008 Издательство: Springer Рейтинг: Цена: 21661.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This volume examines performance evaluation and benchmarking of intelligent systems. The chapters cover a range of applications, such as assistive robotics, planetary surveying, urban search and rescue, and line tracking for automotive assembly.
Автор: Roy Billinton; Rajesh Karki; Ajit Kumar Verma Название: Reliability and Risk Evaluation of Wind Integrated Power Systems ISBN: 8132217462 ISBN-13(EAN): 9788132217466 Издательство: Springer Рейтинг: Цена: 15372.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book deals with reliability and evaluation of renewable energy based electricity generating schemes. It quantifies wind power prediction as well as measures capacity benefit and capacity credit of wind and solar power systems.
Автор: Mohammad Reza Mousavi; Christian Berger Название: Cyber Physical Systems. Design, Modeling, and Evaluation ISBN: 3319251406 ISBN-13(EAN): 9783319251400 Издательство: Springer Рейтинг: Цена: 5590.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the proceedings of the 5th International Workshop on Design, Modeling, and Evaluation of Cyber Physical Systems, CyPhy 2015, held as part of ESWeek 2015, in Amsterdam, The Netherlands, in October 2015.
Описание: Includes the refereed proceedings of the 15th International GI/ITG Conference on `Measurement, Modelling and Evaluation of Computing Systems` and `Dependability and Fault Tolerance`, held in Essen, Germany, in March 2010.
Автор: Da Ruan; Mario Fedrizzi Название: Soft Computing for Risk Evaluation and Management ISBN: 3662003481 ISBN-13(EAN): 9783662003480 Издательство: Springer Рейтинг: Цена: 20962.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Автор: Kamel Barkaoui; Hanifa Boucheneb; Ali Mili; Sofi?n Название: Verification and Evaluation of Computer and Communication Systems ISBN: 3319661752 ISBN-13(EAN): 9783319661759 Издательство: Springer Рейтинг: Цена: 7685.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Distributed computing models.- Formal languages and automata theory.- Concurrency.- Probabilistic computation.- Timed and hybrid models.- Formal software verification.- Model verification and validation.- Performance evaluation.- Control methods.- Modeling methodologies.- Model development and analysis.- Modeling and simulation.- Formal mehods.
Автор: Nathalie Bertrand; Luca Bortolussi Название: Quantitative Evaluation of Systems ISBN: 3319663348 ISBN-13(EAN): 9783319663340 Издательство: Springer Рейтинг: Цена: 9083.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the proceedings of the 14th International Conference on Quantitative Evaluation Systems, QEST 2017, held in Berlin, Germany, in September 2017.The 20 full papers and 4 tool papers presented were carefully reviewed and selected From 58 submissions. The papers are organized in topical sections entitled: probabilistic modeling;
Автор: Pietro Burrascano; Sergio Callegari; Augusto Monti Название: Ultrasonic Nondestructive Evaluation Systems ISBN: 3319105655 ISBN-13(EAN): 9783319105659 Издательство: Springer Рейтинг: Цена: 19591.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The contents of this book is the result of the common effort of six University Research Groups that focused their research activities for two years on this specific objective, working in direct conjunction with primary industrial firms, in a research project funded by the Italian government as a Strategic Research Project.
Автор: Gethin Norman; William Sanders Название: Quantitative Evaluation of Systems ISBN: 3319106953 ISBN-13(EAN): 9783319106953 Издательство: Springer Рейтинг: Цена: 8944.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the proceedings of the 11th International Conference on Quantitative Evaluation of Systems, QEST 2014, held in Florence, Italy, in September 2014. The 24 full papers and 5 short papers included in this volume were carefully reviewed and selected from 61 submissions. models and tools; applications, theory and tools;
Автор: Javier Campos; Boudewijn R. Haverkort Название: Quantitative Evaluation of Systems ISBN: 3319222635 ISBN-13(EAN): 9783319222639 Издательство: Springer Рейтинг: Цена: 7826.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the proceedings of the 12th International Conference on Quantitative Evaluation of Systems, QEST 2015, held in Madrid, Spain, in September 2015. They are organized in topical sections named: modelling and applications; and queuing systems and hybrid systems.
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.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
