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.

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

50 рецептов для аэрогриля

Автор:
Категория: house, house, cook
Размер книги: 771 Kb

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

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

Contemporary Theatre, Film and Television, Volume 97

Автор:
Размер книги: 3.18 Mb
Только что пользователи скачали эти книги:

Делопроизводство в Российской Федерации

Автор:
Категория: info, info, refer
Размер книги: 2.55 Mb

Linux (в подлиннике)

Автор:
Категория: computers, computers, os
Размер книги: 17.17 Mb

Trace Elements- Their Distribution and Effects in the Environment

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