Formal Approaches to Agent-Based Systems, Michael G. Hinchey; James L. Rash; Walter F. Trusz
Автор: Michael G. Hinchey; James L. Rash; Walter F. Trusz Название: Formal Approaches to Agent-Based Systems ISBN: 3540406654 ISBN-13(EAN): 9783540406655 Издательство: Springer Рейтинг: Цена: 9781.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The idea of a FAABS workshop was first conceived in 1998 at the NASA Goddard Space Flight Center, while the Agent Technology Development Group in the Advanced Architectures and Automation Branch (Code 588) was developing a prototype agent community to automate satellite ground operations.
Автор: Bertolotti Название: Real-Time Embedded Systems ISBN: 1439841543 ISBN-13(EAN): 9781439841549 Издательство: Taylor&Francis Рейтинг: Цена: 33686.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: From the Foreword: "…the presentation of real-time scheduling is probably the best in terms of clarity I have ever read in the professional literature. Easy to understand, which is important for busy professionals keen to acquire (or refresh) new knowledge without being bogged down in a convoluted narrative and an excessive detail overload. The authors managed to largely avoid theoretical-only presentation of the subject, which frequently affects books on operating systems. … an indispensable [resource] to gain a thorough understanding of the real-time systems from the operating systems perspective, and to stay up to date with the recent trends and actual developments of the open-source real-time operating systems." —Richard Zurawski, ISA Group, San Francisco, California, USA Real-time embedded systems are integral to the global technological and social space, but references still rarely offer professionals the sufficient mix of theory and practical examples required to meet intensive economic, safety, and other demands on system development. Similarly, instructors have lacked a resource to help students fully understand the field. The information was out there, though often at the abstract level, fragmented and scattered throughout literature from different engineering disciplines and computing sciences. Accounting for readers’ varying practical needs and experience levels, Real Time Embedded Systems: Open-Source Operating Systems Perspective offers a holistic overview from the operating-systems perspective. It provides a long-awaited reference on real-time operating systems and their almost boundless application potential in the embedded system domain. Balancing the already abundant coverage of operating systems with the largely ignored real-time aspects, or "physicality," the authors analyze several realistic case studies to introduce vital theoretical material. They also discuss popular open-source operating systems—Linux and FreRTOS, in particular—to help embedded-system designers identify the benefits and weaknesses in deciding whether or not to adopt more traditional, less powerful, techniques for a project.
Описание: Part: Keynote.- Software Quality Assurance by Static Program Analysis.- Part: Software Process Improvement and Measurement.- An Industry Ready Defect Causal Analysis Approach Exploring Bayesian Networks.- Business Intelligence in Software Quality Monitoring: Experiences and Lessons Learnt from an Industrial Case Study (Short Paper).- Dealing with Technical Debt in Agile Development Projects (Short Paper).- Part: Requirements Management.- Statistical Analysis of Requirements Prioritization for Transition to Web Technologies: A Case Study in an Electric Power Organization.- Challenges and Solutions in Global Requirements Engineering - A Literature Survey (Short Paper).- Automated Feature Identification in Web Applications (Short Paper).- Part: Value-Based Software Engineering.- Value-Based Migration of Legacy Data Structures.- Part: Software and Systems Testing.- An Integrated Analysis and Testing Methodology to Support Model-Based Quality Assurance.- Effects of Test-Driven Development: A Comparative Analysis of Empirical Studies (Short Paper).- Isolated Testing of Software Components in Distributed Software Systems (Short Paper).- Part: Automation-Supported Testing.- Automated Test Generation for Java Generics (Short Paper).- Constraint-Based Automated Generation of Test Data (Short Paper).- Part: Quality Assurance and Collaboration.- RUP Alignment and Coverage Analysis of CMMI ML2 Process Areas for the Context of Software Projects Execution (Short Paper).- Directing High-Performing Software Teams: Proposal of a Capability-Based Assessment Instrument Approach (Short Paper).
Автор: James L. Rash; Christopher A. Rouff; Walter Truszk Название: Formal Approaches to Agent-Based Systems ISBN: 3540427163 ISBN-13(EAN): 9783540427162 Издательство: Springer Рейтинг: Цена: 10480.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This text constitutes the post-proceedings of the First International Workshop on Formal Approaches to Agent-Based Systems, 2000. The work presents 22 revised papers and 13 posters organized in topical sections including; verifying agents` mental states, synthesizing agents initially and modelling.
Автор: Takao Terano; Hajime Kita; Shingo Takahashi; Hiros Название: Agent-Based Approaches in Economic and Social Complex Systems V ISBN: 4431998578 ISBN-13(EAN): 9784431998570 Издательство: Springer Рейтинг: Цена: 29209.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Agent-based modeling/simulation is an emergent approach to the analysis of social and economic systems. This book includes selected papers presented at the Fifth International Workshop on Agent-Based Approaches in Economic and Social Complex Systems held in Tokyo in 2007.
Автор: Yutaka Nakai; Yuhsuke Koyama; Takao Terano Название: Agent-Based Approaches in Economic and Social Complex Systems VIII ISBN: 4431552359 ISBN-13(EAN): 9784431552352 Издательство: Springer Рейтинг: Цена: 19564.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Agent-based modeling/simulation is an emergent approach to the analysis of social and economic systems. This book includes selected papers presented at the Eighth International Workshop on Agent-Based Approaches in Economic and Social Complex Systems held in Tokyo, Japan, in 2013.
Автор: T. Terano; H. Kita; H. Deguchi; K. Kijima Название: Agent-Based Approaches in Economic and Social Complex Systems IV ISBN: 4431998225 ISBN-13(EAN): 9784431998228 Издательство: Springer Рейтинг: Цена: 25155.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The chapters of this book are the selected papers from those presented at the Third International Workshop on Agent-Based Approaches in Economic and Social Complex Systems held in Tokyo, Japan in 2005.
Автор: Tadahiko Murata; Takao Terano; Shingo Takahashi Название: Agent-Based Approaches in Economic and Social Complex Systems VII ISBN: 4431547398 ISBN-13(EAN): 9784431547396 Издательство: Springer Рейтинг: Цена: 25155.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book includes selected papers presented at the Seventh International Workshop on Agent-Based Approaches in Economic and Social Complex Systems held in Osaka, Japan, in 2012.At the workshop, 24 reviewed full papers were presented, and of those, 17 were selected to be included in this volume.
Автор: Shu-Heng Chen; Takao Terano; Ryuichi Yamamoto Название: Agent-Based Approaches in Economic and Social Complex Systems VI ISBN: 4431546510 ISBN-13(EAN): 9784431546511 Издательство: Springer Рейтинг: Цена: 32004.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Agent-based modeling/simulation is an emergent approach to the analysis of social and economic systems. This book includes selected papers presented at the Sixth International Workshop on Agent-Based Approaches in Economic and Social Complex Systems held in Taipei in 2009.
Автор: Tadahiko Murata; Takao Terano; Shingo Takahashi Название: Agent-Based Approaches in Economic and Social Complex Systems VII ISBN: 4431542787 ISBN-13(EAN): 9784431542780 Издательство: Springer Рейтинг: Цена: 20962.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book includes selected papers presented at the Seventh International Workshop on Agent-Based Approaches in Economic and Social Complex Systems held in Osaka, Japan, in 2012.At the workshop, 24 reviewed full papers were presented, and of those, 17 were selected to be included in this volume.
Автор: Takao Terano; Hajime Kita; Shingo Takahashi; Hiros Название: Agent-Based Approaches in Economic and Social Complex Systems V ISBN: 443187433X ISBN-13(EAN): 9784431874331 Издательство: Springer Рейтинг: Цена: 29209.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Agent-based modeling/simulation is an emergent approach to the analysis of social and economic systems. This book includes selected papers presented at the Fifth International Workshop on Agent-Based Approaches in Economic and Social Complex Systems held in Tokyo in 2007.
Автор: Katsuhide Fujita; Quan Bai; Takayuki Ito; Minjie Z Название: Modern Approaches to Agent-based Complex Automated Negotiation ISBN: 3319515616 ISBN-13(EAN): 9783319515618 Издательство: Springer Рейтинг: Цена: 20962.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book addresses several important aspects of complex automated negotiations and introduces a number of modern approaches for facilitating agents to conduct complex negotiations.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
