Formal Approaches to Agent-Based Systems, James L. Rash; Christopher A. Rouff; Walter Truszk
Автор: 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.
Описание: 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).
Автор: 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.
Автор: Gilles Barthe Название: Formal Methods for Open Object-Based Distributed Systems ISBN: 3540688625 ISBN-13(EAN): 9783540688624 Издательство: Springer Рейтинг: Цена: 9776.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the 10th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2008, held in Oslo, Norway, in June 2008. formal methods for service-oriented computing; integration of quality of service requirements into formal models;
Автор: Dov M. Gabbay; Karl Schlechta Название: Logical Tools for Handling Change in Agent-Based Systems ISBN: 3642261876 ISBN-13(EAN): 9783642261879 Издательство: Springer Рейтинг: Цена: 23058.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book covers general logical tools for handling change. The tools are preferential reasoning, theory revision and reasoning in inheritance systems. Logics examined are nonmonotonic, deontic, modal, intuitionistic and temporal as well as counterfactuals.
Автор: Oscar Castillo; Patricia Melin; Witold Pedrycz; Ja Название: Recent Advances on Hybrid Approaches for Designing Intelligent Systems ISBN: 3319051695 ISBN-13(EAN): 9783319051697 Издательство: Springer Рейтинг: Цена: 30039.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book describes recent advances on hybrid intelligent systems using soft computing techniques for diverse areas of application, such as intelligent control and robotics, pattern recognition, time series prediction and optimization complex problems.
Описание: Knowledge processing and decision making in agent-based systems constitute the key components of intelligent machines. This book contains the latest research in the area of knowledge processing and decision making in agent-based systems.
Автор: Michael G. Hinchey; Patricia Rago; James L. Rash; Название: Innovative Concepts for Autonomic and Agent-Based Systems ISBN: 3540692657 ISBN-13(EAN): 9783540692652 Издательство: Springer Рейтинг: Цена: 10480.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Constitutes the refereed post-proceedings of the Second International Workshop on Radical Agent Concepts, WRAC 2005, held in Greenbelt, MD, USA in September 2005. This book addresses such topics as: social aspects of agents, agent architectures, autonomic systems, agent communities, and agent intelligence.
Описание: Diagnostic Test Approaches to Machine Learning and Commonsense Reasoning Systems surveys, analyzes, and compares the most effective algorithms for mining all kinds of logical rules. Global academics and professionals in related fields have come together to create this unique knowledge-sharing resources which will serve as a forum for future collaborations.
Автор: Kacprzyk Название: Granular, Soft and Fuzzy Approaches for Intelligent Systems ISBN: 3319403125 ISBN-13(EAN): 9783319403120 Издательство: Springer Рейтинг: Цена: 20962.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book offers a comprehensive report on the state-of-the art in the broadly-intended field of “intelligent systems”. After introducing key theoretical issues, it describes a number of promising models for data and system analysis, decision making, and control. It discusses important theories, including possibility theory, the Dempster-Shafer theory, the theory of approximate reasoning, as well as computing with words, together with novel applications in various areas, such as information aggregation and fusion, linguistic data summarization, participatory learning, systems modeling, and many others. By presenting the methods in their application contexts, the book shows how granular computing, soft computing and fuzzy logic techniques can provide novel, efficient solutions to real-world problems. It is dedicated to Professor Ronald R. Yager for his great scientific and scholarly achievements, and for his long-lasting service to the fuzzy logic, and the artificial and computational intelligence communities. It has been motivated by the authors’ appreciation of his original thinking and groundbreaking ideas, with a special thought to his valuable research on the computerized implementation of various aspects of human cognition for decision-making and problem-solving.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
