Andere Kunden interessierten sich auch für
![Formal Object State Model Transformations for Automated Agent System Synthesis]( "Formal Object State Model Transformations for Automated Agent System Synthesis")
Formal Object State Model Transformations for Automated Agent System Synthesis60,99 €![Extensible Multi-Agent System for Heterogeneous Database Association Rule Mining and Unification]( "Extensible Multi-Agent System for Heterogeneous Database Association Rule Mining and Unification")
Extensible Multi-Agent System for Heterogeneous Database Association Rule Mining and Unification61,99 €![A Multi Agent System for Flow-Based Intrusion Detection Using Reputation and Evolutionary Computation]( "A Multi Agent System for Flow-Based Intrusion Detection Using Reputation and Evolutionary Computation")
A Multi Agent System for Flow-Based Intrusion Detection Using Reputation and Evolutionary Computation60,99 €![Application of Fuzzy State Aggregation and Policy Hill Climbing to Multi-Agent Systems in Stochastic Environments]( "Application of Fuzzy State Aggregation and Policy Hill Climbing to Multi-Agent Systems in Stochastic Environments")
Application of Fuzzy State Aggregation and Policy Hill Climbing to Multi-Agent Systems in Stochastic Environments60,99 €![Knowledge Base Support for Design and Synthesis of Multi-Agent Systems]( "Knowledge Base Support for Design and Synthesis of Multi-Agent Systems")
Knowledge Base Support for Design and Synthesis of Multi-Agent Systems62,99 €![Software Domain Model Integration Methodology for Formal Specifications]( "Software Domain Model Integration Methodology for Formal Specifications")
Software Domain Model Integration Methodology for Formal Specifications62,99 €![A Formal Specification and Proof of System Safety Using the Schematic Protection Model]( "A Formal Specification and Proof of System Safety Using the Schematic Protection Model")
A Formal Specification and Proof of System Safety Using the Schematic Protection Model60,99 €
As network bandwidth increases, distributed applications are becoming increasing lyprevalent. Systems using these applications are very complicated to build and must be dependable. Software agents are ideal for breaking complicated problems into manageable subtasks. Agent conversations, a series of messages passed between agents, are the cornerstone of multi-agent systems and must be deemed correct before being placed into service. The purpose of this research was to develop a formal methodology and technique to verify that the communication protocols defined in a multi-agent environment were valid. This was accomplished by examining agent conversations before deploying the system. An additional goal of this research was to develop a proof-of-concept module for agent Tool that automatically verified some of the important properties identified in this methodology.
Hinweis: Dieser Artikel kann nur an eine deutsche Lieferadresse ausgeliefert werden.
Hinweis: Dieser Artikel kann nur an eine deutsche Lieferadresse ausgeliefert werden.