3729 search results - page 29 / 746 » On Formal Modeling of Agent Computations |
MAGS
2008
14 years 11 months ago
2008
The GRID and MAS (Multi-Agent Systems) communities believe in the potential of GRID and MAS to enhance each other as these models have developed significant complementarities. Thu...
ATAL
2003
Springer
15 years 5 months ago
2003
Springer
AUSAI
2005
Springer
15 years 5 months ago
2005
Springer
The key problem in applying verification techniques such as model checking to agent architectures is to show how to map systematically from an agent program to a model structure t...
108
Voted
SAC
2002
ACM
14 years 11 months ago
2002
ACM
Designing realistic multi-agent systems is a complex process, which involves specifying not only the functionality of individual agents, but also the authority relationships and l...
SSR
2001
15 years 1 months ago
2001
As wide-area open networks like the Internet and intranets grow larger, mobile agent technology is attracting more attention. Mobile agents are units of software that can deal wit...