Items related to A Formal Methodology and Technique for Verifying Conversatio...
A Formal Methodology and Technique for Verifying Conversations in a Closed Multi-Agent System - Softcover
Synopsis
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.
"synopsis" may belong to another edition of this title.
Search results for A Formal Methodology and Technique for Verifying Conversatio...
Seller Image
A Formal Methodology and Technique for Verifying Conversations in a Closed Multi-Agent System (Paperback or Softback)
Published by
Biblioscholar 9/20/2012, 2012
ISBN 10: 124944957X
ISBN 13: 9781249449577
New
Paperback or Softback
Seller: BargainBookStores, Grand Rapids, MI, U.S.A.
Seller rating 5 out of 5 stars
Paperback or Softback. Condition: New. A Formal Methodology and Technique for Verifying Conversations in a Closed Multi-Agent System. Book. Seller Inventory # BBS-9781249449577
Stock Image
A Formal Methodology and Technique for Verifying Conversations in a Closed Multi-Agent System
Seller: California Books, Miami, FL, U.S.A.
Seller rating 4 out of 5 stars
Condition: New. Seller Inventory # I-9781249449577
Stock Image
A Formal Methodology and Technique for Verifying Conversations in a Closed Multi-Agent System
Print on DemandSeller: PBShop.store US, Wood Dale, IL, U.S.A.
Seller rating 5 out of 5 stars
PAP. Condition: New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Seller Inventory # L0-9781249449577
Stock Image
A Formal Methodology and Technique for Verifying Conversations in a Closed Multi-Agent System
Print on DemandSeller: PBShop.store UK, Fairford, GLOS, United Kingdom
Seller rating 5 out of 5 stars
PAP. Condition: New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Seller Inventory # L0-9781249449577
Buy New
£ 15.30
£ 3.29 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: Over 20 available
Stock Image
A Formal Methodology and Technique for Verifying Conversations in a Closed Multi-Agent System
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In English. Seller Inventory # ria9781249449577_new
Buy New
£ 13.98
£ 9.37 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: Over 20 available
Stock Image
A Formal Methodology and Technique for Verifying Conversations in a Closed Multi-Agent System
Print on DemandSeller: Majestic Books, Hounslow, United Kingdom
Seller rating 4 out of 5 stars
Condition: New. Print on Demand pp. 94. Seller Inventory # 386357650
Buy New
£ 19.65
£ 6.50 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 4 available
Stock Image
A Formal Methodology and Technique for Verifying Conversations in a Closed Multi-Agent System
Print on DemandSeller: Books Puddle, New York, NY, U.S.A.
Seller rating 4 out of 5 stars
Condition: New. Print on Demand pp. 94. Seller Inventory # 26393274957
Stock Image
A Formal Methodology and Technique for Verifying Conversations in a Closed Multi-Agent System
Published by
Biblioscholar, 2012
ISBN 10: 124944957X
ISBN 13: 9781249449577
New
Paperback / softback
Seller: THE SAINT BOOKSTORE, Southport, United Kingdom
Seller rating 5 out of 5 stars
Paperback / softback. Condition: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days. Seller Inventory # C9781249449577
Buy New
£ 16.47
£ 12.87 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: Over 20 available
Stock Image
A Formal Methodology and Technique for Verifying Conversations in a Closed Multi-Agent System
Print on DemandSeller: Biblios, Frankfurt am main, HESSE, Germany
Seller rating 4 out of 5 stars
Condition: New. PRINT ON DEMAND pp. 94. Seller Inventory # 18393274951
Seller Image
A Formal Methodology and Technique for Verifying Conversations in a Closed Multi-Agent System
Published by
Creative Media Partners, LLC Sep 2012, 2012
ISBN 10: 124944957X
ISBN 13: 9781249449577
New
Taschenbuch
Seller: AHA-BUCH GmbH, Einbeck, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: 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. Seller Inventory # 9781249449577