FREE delivery to all EXCLUSIVE BOOKS stores nationwide. FREE delivery to your door on all orders over R450. Excludes all international deliveries.

Formal Approaches to Agent-Based Systems

Michael G. Hinchey
    Product form
      FORMAT: Paperback / softback

      R 1,558.72 Price and availability exclusive to website

      YOU COULD EARN 1,558.72 FUTURE RETAIL DISCOUNTS.
      ESTIMATED DELIVERY: Approx. 10 - 15 Business Days
      BUY NOW PAY LATER
      From R 259.78 per month!
      3x monthly payments of R 519.57 with
      4x fortnightly payments of R 389.68 with
      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.
      Format: Paperback / softback CONTRIBUTORS: Michael G. Hinchey EAN: 9783540406655 COUNTRY: Germany PAGES: WEIGHT: 980 g HEIGHT: 233 cm
      PUBLISHED BY: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG DATE PUBLISHED: 2003-07-29 CITY: GENRE: COMPUTERS / Artificial Intelligence / General, COMPUTERS / Artificial Intelligence / Expert Systems, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Networking / Hardware, SCIENCE / General WIDTH: 155 cm SPINE:

      Book Themes:

      Interdisciplinary studies, Network hardware, Software Engineering, Mathematical theory of computation, Artificial intelligence, Expert systems / knowledge-based systems

      Customer Reviews

      Be the first to write a review
      0%
      (0)
      0%
      (0)
      0%
      (0)
      0%
      (0)
      0%
      (0)
      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.
      Format: Paperback / softback CONTRIBUTORS: Michael G. Hinchey EAN: 9783540406655 COUNTRY: Germany PAGES: WEIGHT: 980 g HEIGHT: 233 cm
      PUBLISHED BY: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG DATE PUBLISHED: 2003-07-29 CITY: GENRE: COMPUTERS / Artificial Intelligence / General, COMPUTERS / Artificial Intelligence / Expert Systems, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Networking / Hardware, SCIENCE / General WIDTH: 155 cm SPINE:

      Book Themes:

      Interdisciplinary studies, Network hardware, Software Engineering, Mathematical theory of computation, Artificial intelligence, Expert systems / knowledge-based systems

      Customer Reviews

      Be the first to write a review
      0%
      (0)
      0%
      (0)
      0%
      (0)
      0%
      (0)
      0%
      (0)

      Recently viewed products

      Login

      Forgot your password?

      Don't have an account yet?
      Create account