Isbn: 9781249449577 - a formal methodology and technique for verifying conversations in a closed multi-agent system (12 risultati)

Paperback or Softback. Condizione: New. A Formal Methodology and Technique for Verifying Conversations in a Closed Multi-Agent System. Book.

Condizione: New.

Condizione: New. In English.

Taschenbuch. Condizione: Neu. Neuware - 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.…

Condizione: New. KlappentextrnrnAs 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 complicate.

PAP. Condizione: New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.

Paperback. Condizione: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.

PAP. Condizione: New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.

Condizione: New. Print on Demand pp. 94.

Condizione: New. Print on Demand pp. 94.

Condizione: New. PRINT ON DEMAND pp. 94.

Paperback / softback. Condizione: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days.