libcats.org
Главная

Formal Approaches to Agent-Based Systems: Second International Workshop, FAABS 2002, Greenbelt, MD, USA, October 29-31, 2002, Revised Papers

Обложка книги Formal Approaches to Agent-Based Systems: Second International Workshop, FAABS 2002, Greenbelt, MD, USA, October 29-31, 2002, Revised Papers

Formal Approaches to Agent-Based Systems: Second International Workshop, FAABS 2002, Greenbelt, MD, USA, October 29-31, 2002, Revised Papers

, , , ,
This book constitutes the thoroughly refereed post-proceedings of the Second International Workshop on Formal Approaches to Agent-Based Systems, FAABS 2002, held in Greenbelt, MD, in October 2002. The 18 revised full papers and 5 poster papers presented together with 9 panel statements and summaries were carefully selected for presentation during two rounds of reviewing and improvement. Among the topics addressed are formal models for agent communication, communication protocols, logic-based agents, statechart frameworks, formal specification of agent interaction, space shuttle applications, automated satellite ground operations, formal verification, agent control, multi-agent coordination, agent languages, mobile agent testing, battlefield agents, XML, autonomous agents, etc.
EPUB | FB2 | MOBI | TXT | RTF
* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.
Популярные книги за неделю:

Каникулы

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

Ремонт импортных телевизоров

Автор: , Автор:
Категория: civil, civil, hardware
Размер книги: 5.24 Mb

Mein Kampf

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

Conditional Offer

Автор:
Категория: fiction
Размер книги: 286 Kb
Только что пользователи скачали эти книги: