Описание: 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.
Автор: Achim Rettberg; Mauro C. Zanella; Michael Amann; M Название: Analysis, Architectures and Modelling of Embedded Systems ISBN: 364204283X ISBN-13(EAN): 9783642042836 Издательство: Springer Рейтинг: Цена: 17043.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book presents the technical program of the International Embedded Systems Symposium (IESS) 2009. Embedded systems meet their performance goals, including real-time constraints, through a combination of special-purpose hardware and software components tailored to the system requirements.
Автор: Tim Hussein; Heiko Paulheim; Stephan Lukosch; J?rg Название: Semantic Models for Adaptive Interactive Systems ISBN: 1447162382 ISBN-13(EAN): 9781447162384 Издательство: Springer Рейтинг: Цена: 13275.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Providing insight into methodologies for designing adaptive systems based on semantic data, and introducing semantic models that can be used for building interactive systems, this book showcases applications made possible by the use of semantic models.
Автор: H. Ledgard; A. Singer; J. Whiteside Название: Directions in Human Factors for Interactive Systems ISBN: 3540105743 ISBN-13(EAN): 9783540105749 Издательство: Springer Рейтинг: Цена: 4890.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Автор: Fabio Patern? Название: Engineering Interactive Systems 2008 ISBN: 3540859918 ISBN-13(EAN): 9783540859918 Издательство: Springer Рейтинг: Цена: 11179.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Constitutes the combined proceedings of the second working conference on Human-Centred Software Engineering (HCSE 2008) and the 6th International Workshop on Task Models and Diagrams (TAMODIA 2008); jointly held as EIS 2008, the international event on Engineering Interactive Systems, in Pisa, Italy, in September 2008.
Автор: Jan Gulliksen; Morten Borup Harning; Philippe Pala Название: Engineering Interactive Systems ISBN: 3540926976 ISBN-13(EAN): 9783540926979 Издательство: Springer Рейтинг: Цена: 16764.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Constitutes the post-conference proceedings of the WG2.7/13.4 10th Conference on Engineering Human Computer Interaction (EHCI 2007), the WG 13.2 First Conference on Human Centred Software Engineering (HCSE 2007), and the 14th Conference on Design Specification and Verification of Interactive Systems (DSV-IS 2007).
Автор: Tim Hussein; Heiko Paulheim; Stephan Lukosch; J?rg Название: Semantic Models for Adaptive Interactive Systems ISBN: 1447153006 ISBN-13(EAN): 9781447153009 Издательство: Springer Рейтинг: Цена: 6986.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Providing insight into methodologies for designing adaptive systems based on semantic data, and introducing semantic models that can be used for building interactive systems, this book showcases applications made possible by the use of semantic models.
Описание: 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.
Автор: Salim Chikhi; Abdelmalek Amine; Allaoua Chaoui; Mo Название: Modelling and Implementation of Complex Systems ISBN: 3319334093 ISBN-13(EAN): 9783319334097 Издательство: Springer Рейтинг: Цена: 22359.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This volumeis a comprehensive collection of extended contributions from the fourthinternational symposium on Modeling and Implementing Complex Systems(MICS`2106) organized into four main topics: Networking and Cloud Computing,Software Engineering and Formal Methods, Intelligent and Information Systems,and Algorithms and Complexity.
Автор: Mohammad-Reza Namazi-Rad; Lin Padgham; Pascal Pere Название: Agent Based Modelling of Urban Systems ISBN: 3319519565 ISBN-13(EAN): 9783319519562 Издательство: Springer Рейтинг: Цена: 7685.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes revised, selected, and invited papers from the First International Workshop on Agent Based Modelling of Urban Systems, ABMUS 2016, held in conjunction with AAMAS 2016 in Singapore in May 2016. They were organized in topical sections named: urban systems modeling;
Описание: This volume constitutes the proceedings of the Second International Conference on Reliability, Safety and Security of Railway Systems, RRSRail 2017, held in Pistoia, Italy, in November 2017. They are organized in topical sections named: communication challenges in railway 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
