2317 search results - page 207 / 464 » Model based testing for agent systems |
140
click to vote
HICSS
2005
IEEE
15 years 9 months ago
2005
IEEE
Abstract— This paper presents a decentralized negotiation protocol for cooperative economic scheduling in a supply chain environment. For this purpose we designed autonomous agen...
129
click to vote
ALIFE
2007
15 years 4 months ago
2007
: Reliably recognizing objects approaching on a collision course is extremely important. In this paper, a synthetic vision system is proposed to tackle the problem of collision rec...
152
click to vote
LFCS
2007
Springer
15 years 10 months ago
2007
Springer
We present a general algorithm scheme for model checking logics of knowledge, common knowledge and linear time, based on simulations to a class of structures that capture the way t...
127
click to vote
HRI
2006
ACM
15 years 9 months ago
2006
ACM
We present a method of grounded word learning that is powerful enough to learn the meanings of first and second person pronouns. The model uses the understood words in an utteran...
147
click to vote
JPDC
2006
15 years 3 months ago
2006
Virtualization provides a vehicle to manage the available resources and enhance their utilization in network computing. System dynamics requires virtual machines be distributed an...