Obálkyknih.cz - Jihočeská vědecká knihovna v Českých Budějovicích

oprava existující anotace, přidání nové anotace

Název:		Formal approaches to agent-based systems : third international workshop, FAABS 2004, Greenbelt, MD, USA, April 26-27, 2004 : revised selected papers
Autor:
Rok vydání:		c2005
Identifikátory:		9783540244226

Upravte stávající anotaci nebo vložte anotaci novou.
Anotace:	This book constitutes the thoroughly refereed post-proceedings of the Third International Workshop on Formal Approaches to Agent-Based Systems, FAABS 2004, held in Greenbelt, MD, USA in April 2004. The 18 revised full papers and 4 revised poster papers presented have gone through two rounds of reviewing and improvement. Among the topics addressed are agent management systems, norms in agent societies, multi-agent systems reliability, agent architectures, multi-agent systems specification, formal methods, potential energy in multi-agent systems, timed automata, model checking, OBDDs, multi-agent systems verification, agent communication protocols, autonomic agents, and Petri nets.
	Souhlasím s využitím anotace pro potřeby projektu obálkyknih.cz. Obsah neporušuje autorská práva.(povinné)