- 2005
- Michael G. Hinchey, James L. Rash, Walt Truszkowski, Christopher A. Rouff:
Formal Approaches to Agent-Based Systems, Third InternationalWorkshop, FAABS 2004, Greenbelt, MD, USA, April 26-27, 2004, Revised Selected Papers. Lecture Notes in Computer Science 3228, Springer 2005, ISBN 3-540-24422-0 [contents] - 2004
- Margo Bergman:
Petri Nets as Modeling Tool for Emergent Agents. FAABS 2004: 271-274 - Shawn A. Bohner, Boby George, Denis Gracanin, Michael G. Hinchey:
Formalism Challenges of the Cougaar Model Driven Architecture. FAABS 2004: 57-71 - Karin Koogan Breitman, Aluízio Haendchen Filho
, Edward Hermann Haeusler, Arndt von Staa:
Using Ontologies to Formalize Services Specifications in Multi-agent Systems. FAABS 2004: 92-110 - Jean-Charles Campagne, Alain Cardon, Etienne Collomb, Toyoaki Nishida:
Massive Multi-agent systems control. FAABS 2004: 275-280 - Frank Dignum, Jan M. Broersen, Virginia Dignum
, John-Jules Ch. Meyer:
Meeting the Deadline: Why, When and How. FAABS 2004: 30-40 - Aluízio Haendchen Filho
, Nuno Caminada, Edward Hermann Haeusler, Arndt von Staa:
Facilitating the Specification Capture and Transformation Process in the Development of Multi-agent Systems. FAABS 2004: 72-91 - Denis Gracanin, H. Lally Singh, Shawn A. Bohner, Michael G. Hinchey:
Model-Driven Architecture for Agent-Based Systems. FAABS 2004: 249-261 - Davide Grossi, Frank Dignum:
From Abstract to Concrete Norms in Agent Institutions. FAABS 2004: 12-29 - Magdalena Kacprzak, Alessio Lomuscio
, T. Lasica, Wojciech Penczek, Maciej Szreter:
Verifying Multi-agent Systems via Unbounded Model Checking. FAABS 2004: 189-212 - Guillaume Hutzler, Hanna Klaudel, Dong Yue Wang:
Towards Timed Automata and Multi-agent Systems. FAABS 2004: 161-172 - Maxim Peysakhov, Vincent A. Cicirello
, William C. Regli:
Ecology Based Decentralized Agent Management System. FAABS 2004: 1-11 - Franco Raimondi, Alessio Lomuscio
:
Towards Symbolic Model Checking for Multi-agent Systems via OBDD's. FAABS 2004: 213-221 - Jaime Ramírez, Angélica de Antonio:
Formal Consistency Verification of Deliberative Agents with Respect to Communication Protocols. FAABS 2004: 222-237 - Michel Rudnianski, Helene Bestougeff:
Multi-agent Systems Reliability, Fuzziness, and Deterrence. FAABS 2004: 41-56 - Hengameh Sarmadi:
Fuzzy Hybrid Deliberative/Reactive Paradigm (FHDRP). FAABS 2004: 281-286 - Jan Smid, Marek Obitko, David Fisher, Walt Truszkowski:
Interaction and Communication of Agents in Networks and Language Complexity Estimates. FAABS 2004: 287-289 - Roy Sterritt
, Michael G. Hinchey:
Apoptosis and Self-Destruct: A Contribution to Autonomic Agents? FAABS 2004: 262-270 - Sampath Yerramalla, Yan Liu, Edgar Fuller
, Bojan Cukic, Srikanth Gururajan
:
An Approach to V&V of Embedded Adaptive Systems. FAABS 2004: 173-188 - Dimitri V. Zarzhitsky, Diana F. Spears, David R. Thayer, William M. Spears:
Agent-Based Chemical Plume Tracing Using Fluid Dynamics. FAABS 2004: 146-160 - Youyong Zou, Timothy W. Finin, Harry Chen:
F-OWL: An Inference Engine for Semantic Web. FAABS 2004: 238-248 - 2003
- Michael G. Hinchey, James L. Rash, Walt Truszkowski, Christopher A. Rouff, Diana F. Gordon-Spears:
Formal Approaches to Agent-Based Systems, Second International Workshop, FAABS 2002, Greenbelt, MD, USA, October 29-31, 2002, Revised Papers. Lecture Notes in Computer Science 2699, Springer 2003, ISBN 3-540-40665-4 [contents] - 2002
- Stuart Aldridge, Alexander D. Stoyen, Jeffrey S. Hicks, Plamen V. Petrov:
Using XML for Interprocess Communications in a Space Situational Awareness and Control Application. FAABS 2002: 241-253 - Jeffrey Van Baalen, Thomas Böhne:
Automated Protocol Analysis in Maude. FAABS 2002: 68-78 - Margo Bergman:
Evaluating Agent-Based Modeling as a Tool for Economists. FAABS 2002: 283-285 - Ramesh Bharadwaj:
Verifiable Middleware for Secure Agent Interoperability. FAABS 2002: 126-132 - Ramesh Bharadwaj:
Naval Applications of Secure Multi-agent Technology. FAABS 2002: 235 - Virginia Dignum
, John-Jules Ch. Meyer, Frank Dignum, Hans Weigand:
Formal Specification of Interaction in Agent Societies. FAABS 2002: 37-52