libcats.org
Главная

Formal Approaches to Agent-Based Systems, 3 conf., FAABS 2004

Обложка книги Formal Approaches to Agent-Based Systems, 3 conf., FAABS 2004

Formal Approaches to Agent-Based Systems, 3 conf., FAABS 2004

, , ,

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.

Популярные книги за неделю:

Ключ к сверхсознанию

Автор:
Категория: Путь к себе
Размер книги: 309 Kb

Древо жизни

Автор:
Категория: Путь к себе
Размер книги: 1.70 Mb

Здоровье надо созидать

Автор:
Категория: Здоровье
Размер книги: 363 Kb

Шликерное литье

Автор:
Категория: science, science, technical
Размер книги: 5.98 Mb
Только что пользователи скачали эти книги:

Вояж неудачника

Автор:
Размер книги: 13 Kb

Quantum Circuit Simulation

Автор: , Автор: , Автор:
Категория: Engineering
Размер книги: 3.72 Mb

Essays on Anscombe's Intention

Автор: , Автор: , Автор:
Размер книги: 1.48 Mb

Wake of the Nightshade

Автор:
Категория: fiction
Размер книги: 694 Kb

The Federalist papers

Автор: , Автор: , Автор:
Категория: fiction
Размер книги: 643 Kb