Formal Approaches to Agent-Based Systems Second International Workshop, FAABS 2002, Greenbelt, MD, USA, October 29-31, 2002, Revised Papers /
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 deve...
| Corporate Author: | SpringerLink (Online service) |
|---|---|
| Other Authors: | Hinchey, Michael G. (Editor, http://id.loc.gov/vocabulary/relators/edt), Rash, James L. (Editor, http://id.loc.gov/vocabulary/relators/edt), Truszkowski, Walter F. (Editor, http://id.loc.gov/vocabulary/relators/edt), Rouff, Christopher (Editor, http://id.loc.gov/vocabulary/relators/edt), Gordon-Spears, Diana (Editor, http://id.loc.gov/vocabulary/relators/edt) |
| Format: | Electronic eBook |
| Language: | English |
| Published: |
Berlin, Heidelberg :
Springer Berlin Heidelberg : Imprint: Springer,
2003.
|
| Edition: | 1st ed. 2003. |
| Series: | Lecture Notes in Artificial Intelligence ;
2699 |
| Subjects: | |
| Online Access: | Full Text via HEAL-Link |
Similar Items
-
Self-Adaptive Software Second International Workshop, IWSAS 2001, Balatonfüred, Hungary, May 17-19, 2001, Revised Papers /
Published: (2003) -
Computer Aided Verification 14th International Conference, CAV 2002 Copenhagen, Denmark, July 27-31, 2002 Proceedings /
Published: (2002) -
Artificial Neural Networks and Neural Information Processing - ICANN/ICONIP 2003 Joint International Conference ICANN/ICONIP 2003, Istanbul, Turkey, June 26-29, 2003, Proceedings /
Published: (2003) -
Computer Aided Verification 9th International Conference, CAV'97, Haifa, Israel, June 22-25, 1997, Proceedings /
Published: (1997) -
Computer Aided Verification 12th International Conference, CAV 2000 Chicago, IL, USA, July 15-19, 2000 Proceedings /
Published: (2000)