Matches in Harvard for { <http://id.lib.harvard.edu/aleph/009244932/catalog> ?p ?o. }
Showing items 1 to 34 of
34
with 100 items per page.
- catalog abstract "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.".
- catalog contributor b13038578.
- catalog contributor b13038579.
- catalog created "2003.".
- catalog date "2003".
- catalog date "2003.".
- catalog dateCopyrighted "2003.".
- catalog description ""What Is an Agent and Why Should I Care?" / Tim Menzies, Adrian Pearce, Clinton Heinze and Simon Goss -- Organising Logic-Based Agents / Michael Fisher, Chiara Ghidini and Benjamin Hirsch -- A Statechart Framework for Agent Roles that Captures Expertise and Learns Improved Behavior / Bahram Kimiaghalam, Abdollah Homaifar and Albert C. Esterline.".
- catalog description "Includes bibliographical references and index.".
- catalog description "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.".
- catalog extent "ix, 295 p. :".
- catalog identifier "3540406654 (alk. paper)".
- catalog isPartOf "Lecture notes in computer science ; 2699. Lecture notes in artificial intelligence".
- catalog isPartOf "Lecture notes in computer science ; 2699.".
- catalog isPartOf "Lecture notes in computer science. Lecture notes in artificial intelligence.".
- catalog issued "2003".
- catalog issued "2003.".
- catalog language "eng".
- catalog publisher "Berlin ; New York : Springer-Verlag,".
- catalog subject "629.8/0285/63 22".
- catalog subject "Artificial intelligence.".
- catalog subject "Computer Communication Networks.".
- catalog subject "Computer science.".
- catalog subject "Computer simulation.".
- catalog subject "Intelligent control system Congresses.".
- catalog subject "Intelligent control systems Congresses.".
- catalog subject "Logic design.".
- catalog subject "Software engineering Congresses.".
- catalog subject "Software engineering.".
- catalog subject "TJ217.5 .F33 2002".
- catalog tableOfContents ""What Is an Agent and Why Should I Care?" / Tim Menzies, Adrian Pearce, Clinton Heinze and Simon Goss -- Organising Logic-Based Agents / Michael Fisher, Chiara Ghidini and Benjamin Hirsch -- A Statechart Framework for Agent Roles that Captures Expertise and Learns Improved Behavior / Bahram Kimiaghalam, Abdollah Homaifar and Albert C. Esterline.".
- catalog title "Formal approaches to agent-based systems : second international workshop, FAABS 2002, Greenbelt, MD, USA, October 29-31, 2002 : revised papers / Michael G. Hinchey ... [et al.].".
- catalog type "Conference proceedings. fast".
- catalog type "text".