Delivery: Can be download immediately after purchasing. For new customer, we need process for verification from 30 mins to 12 hours.
Version: PDF/EPUB. If you need EPUB and MOBI Version, please send contact us.
Compatible Devices: Can be read on any devices
Formal Approaches to Agent-Based Systems: Second International Workshop, FAABS 2002, Greenbelt, MD, USA, October 29-31, 2002, Revised Papers eBook
$89.00 Original price was: $89.00.$18.00Current price is: $18.00.
By: Michael G. Hinchey; James L. Rash; Walter F. Truszkowski
Publisher: Springer
Print ISBN: 9783540406655, 3540406654
eText ISBN: 9783540451334, 3540451331
Edition: 1st
Copyright year: 2003
eText ISBN: 9783540451334
SKU: 9783540451334
Category: Trending
Tags: Computers, Intelligence (AI) & Semantics
Print ISBN: 9783540406655
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. While developing this system, several race conditions arose within and between agents. Due to the complexity of the agents and the communications between them, it was decided that a formal approach was needed to specify the agents and the communications between them, so that the system could be checked for additional errors. A formal model of the inter-agent communications was developed, with the expectation that this would enable us to find more errors. Success in this convinced us of the importance of using formal methods to model agent-based systems. To share our own experiences and to learn how others were approaching these issues, we decided to hold a workshop on formal methods and agent-based systems. The response was overwhelming. The result was the first FAABS workshop, which was held at the NASA Goddard Space Flight Center. Posters, paper presentations, panels, and an invited talk by J Moore stimulated much discussion and subsequent collaboration.
Be the first to review “Formal Approaches to Agent-Based Systems: Second International Workshop, FAABS 2002, Greenbelt, MD, USA, October 29-31, 2002, Revised Papers eBook” Cancel reply
You must be logged in to post a review.
Related products
-38%
Bestsellers
eText ISBN: 9781943872183
$53.32 Original price was: $53.32.$32.85Current price is: $32.85.
-38%
eText ISBN: 9781466566330
$58.32 Original price was: $58.32.$35.93Current price is: $35.93.
-38%
Bestsellers
eText ISBN: 9781423207764
$6.65 Original price was: $6.65.$4.10Current price is: $4.10.
-38%
Bestsellers
eText ISBN: 9781482233902
$58.32 Original price was: $58.32.$35.93Current price is: $35.93.
-38%
Bestsellers
eText ISBN: 9781111787080
$51.65 Original price was: $51.65.$31.82Current price is: $31.82.
-38%
Bestsellers
eText ISBN: 9780735637887
$23.32 Original price was: $23.32.$14.37Current price is: $14.37.
-38%
Bestsellers
eText ISBN: 9781610395700
$19.98 Original price was: $19.98.$12.31Current price is: $12.31.
-38%
eText ISBN: 9781337015783
$51.65 Original price was: $51.65.$31.82Current price is: $31.82.
Reviews
There are no reviews yet.