Model-Based Engineering of Collaborative Embedded Systems: Extensions of the Spes Methodology, Bцhm Wolfgang, Broy Manfred, Klein Cornel
Старое издание
Автор: Bцhm Wolfgang, Broy Manfred, Klein Cornel Название: Model-Based Engineering of Collaborative Embedded Systems: Extensions of the SPES Methodology ISBN: 3030621383 ISBN-13(EAN): 9783030621384 Издательство: Springer Цена: 6097.00 р. Наличие на складе: Есть у поставщикаПоставка под заказ. Описание: 1. Use Cases.- 2. Engineering of Collaborative Embedded Systems.- 3. Architectures for Flexible Collaborative Systems.- 4. Function Modeling for Collaborative Embedded Systems.- 5. Architectures for Dynamically Coupled Systems.- 6. Modeling and Analyzing Context-Sensitive Changes during Runtime.- 7. Handling Uncertainty in Collaborative Embedded Systems Engineering.- 8. Dynamic Safety Certification for Collaborative Embedded Systems at Runtime.- 9. Goal-Based Strategy Exploration.- 10. Creating Trust in Collaborative Embedded Systems.- 11. Language Engineering for Heterogeneous Collaborative Embedded Systems.- 12. Development and Evaluation of Collaborative Systems using Simulation.- 13. Tool Support for Co-Simulation-Based Analysis.- 14. Supporting the Creation of Digital Twins for CESs.- 15. Online Experiment-Driven Learning and Adaption.- 16. Compositional Verification using Model Checking and Theorem Proving.- 17. Artifact-Based Analysis for the Development of Collaborative Embedded Systems.- 18. Variant and Product Line Co-Evolution.- 19. Advanced Systems Engineering.
Описание: Part I Starting Situation.- Part II Modeling Theory.- Part III Application of the SPES XT Modeling Framework.- Part IV Evaluation and Technology Transfer.- Appendices.
Автор: Mehta Название: Creating Google Chrome Extensions ISBN: 1484217748 ISBN-13(EAN): 9781484217740 Издательство: Springer Рейтинг: Цена: 3048.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:
Transform your existing web applications into Google Chrome browser extensions and create brand new extensions that improve your own browsing experience and that of your users. This book shows you how Google Chrome browser extensions are extremely useful tools for enhancing the functionality of the Google Chrome web browser. For example, you can create extensions to summarize the current page you are reading, or to save all of the images in the page you are browsing. They have access to almost all of the features provided by the Google Chrome browser, and they can encapsulate such features in the form of a bundled application providing targeted functionality to users. Extensions also run in a sandboxed environment, making them secure – which is a huge plus in the modern web!The APIs provided by the Chrome Extensions framework help you empower web applications by coupling them with amazing features provided by the Google Chrome web browser, such as bookmarks, history, tabs, actions, storage, notifications, search, and a lot more – facilitating increased productivity on the Google Chrome web browser.
What You Will Learn:
Transform your web application ideas into Google Chrome Extensions.Choose the recommended components for creating your kind of extension.Leverage the power of a Google Chrome browser by making use of the extensions API.Showcase your existing web-development skills in a modern way by creating useful extensions.
Who This Book is For
Creating Google Chrome Extensions is for existing web developers, experienced in creating simple web pages (using HTML, CSS, and JavaScript), to help them create browser extensions for Google Chrome. After understanding the examples and lessons in this book, you will be able to transform your existing web applications into Google Chrome browser extensions, as well as create brand new extensions.
Автор: Evelina Lamma; Paola Mello Название: Extensions of Logic Programming ISBN: 3540564543 ISBN-13(EAN): 9783540564546 Издательство: Springer Рейтинг: Цена: 10610.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: A collection of research papers which investigates how to extend logic programming towards the areas of artificial intelligence and software engineering. The contributors cover both practical and theoretical aspects of the subject.
Автор: Matthieu-P. Schapranow Название: Real-time Security Extensions for EPCglobal Networks ISBN: 3642447228 ISBN-13(EAN): 9783642447228 Издательство: Springer Рейтинг: Цена: 13415.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book reviews the design of real-time security extensions for EPCglobal networks based on in-memory technology, presents authentication protocols for devices with low computational resources and outlines steps for implementing history-based access control.
Автор: John Fitzgerald; Peter Gorm Larsen; Marcel Verhoef Название: Collaborative Design for Embedded Systems ISBN: 3662524449 ISBN-13(EAN): 9783662524442 Издательство: Springer Рейтинг: Цена: 12196.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book presents a framework that allows the very different kinds of design models - discrete-event models of software and continuous time models of the physical environment - to be analyzed and simulated jointly, based on common scenarios.
Описание: Specification and design methodology has seen significant growth as a research area over the last decade, tracking but lagging behind VLSI design technology in general and the CAD industry in particular.
Описание: The LNCS journal Transactions on Computational Science reflects recent developments in the field of Computational Science, conceiving the field not as a mere ancillary science but rather as an innovative approach supporting many other scientific disciplines.
Автор: Klaus Pohl; Harald H?nninger; Reinhold Achatz; Man Название: Model-Based Engineering of Embedded Systems ISBN: 3642439926 ISBN-13(EAN): 9783642439926 Издательство: Springer Рейтинг: Цена: 7317.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book offers a comprehensive guide to model-based engineering of embedded systems, with sections titled Starting Point, SPES Modeling Theory, Application and Evaluation of the SPES Methodology and Impact of the SPES Methodology.
Автор: Anestis Terzis Название: Handbook of Camera Monitor Systems ISBN: 3319806084 ISBN-13(EAN): 9783319806082 Издательство: Springer Рейтинг: Цена: 14635.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This handbook offers a comprehensive overview of Camera Monitor Systems (CMS), ranging from the ISO 16505-based development aspects to practical realization concepts.
Scalable Saturation of Streaming RDF Triples.- Efficient Execution of Scientific Workflows in the Cloud through Adaptive Caching.- From Task Tuning to Task Assignment in Privacy-Preserving.- Secure Distributed Queries over Large Sets of Personal Home Boxes.- Evaluating Classification Feasibility Using Functional Dependencies.- Enabling Decision Support through Ranking and Summarization of Association Rules for TOTAL Customers.
Автор: H. Niemann; M. Lang; G. Sagerer Название: Recent Advances in Speech Understanding and Dialog Systems ISBN: 3642834787 ISBN-13(EAN): 9783642834783 Издательство: Springer Рейтинг: Цена: 12196.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Proceedings of the NATO Advanced Study Institute on Recent Advances in Speech Understanding and Dialog Systems, Held in Bad Windsheim, FRG, July 5-18, 1987
Автор: Klaus Pohl; Harald H?nninger; Reinhold Achatz; Man Название: Model-Based Engineering of Embedded Systems ISBN: 3642346138 ISBN-13(EAN): 9783642346132 Издательство: Springer Рейтинг: Цена: 6097.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book offers a comprehensive guide to model-based engineering of embedded systems, with sections titled Starting Point, SPES Modeling Theory, Application and Evaluation of the SPES Methodology and Impact of the SPES Methodology.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
