|
|
libcats.org
Formal Approaches to Agent-Based Systems, 3 conf., FAABS 2004Michael G. Hinchey, James L. Rash, Walter F. Truszkowski, Christopher A. RouffThis 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.
Популярные книги за неделю:
Система упражнений по развитию способностей человека (Практическое пособие)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Только что пользователи скачали эти книги:
Система упражнений по развитию способностей человека (Практическое пособие)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
A survey of techniques for formal verification of combinational circuitsАвтор: Jain J., Автор: Narayan A., Автор: Fujita M.
Размер книги: 299 Kb
New Foundation Of Biology Neuroimmune BiologyАвтор: Istvan Berczi, Автор: Reginald M. Gorczynski
Размер книги: 29.75 Mb
Building Java Enterprise Systems with J2EEАвтор: Paul Perrone, Автор: Venkata S.R.K.R. Chaganti
Размер книги: 13.84 Mb
|
|
|