MPG.eBooks - Search Results - %22theory%22

Cover Image

1

Formal Approaches to Agent-Based Systems : First International Workshop, FAABS 2000 Greenbelt, MD, USA, April 5-7, 2000 Revised Papers

Published 2001

Springer Berlin Heidelberg

Table of Contents: “... Formal Specification and Verification in Cyberspace -- Verification within the KARO Agent Theory...”

Cover Image

2

Innovative Concepts for Autonomic and Agent-Based Systems : Second International Workshop on Radical Agent Concepts, WRAC 2005, Greenbelt, MD, USA, September 20-22, 2005, Revised P...

Published 2006

Springer Berlin Heidelberg

Table of Contents: “... and Communication Towards Autonomous Semantic Grid -- A System Theory Approach to the Representation of Mobile...”