2317 search results - page 67 / 464 » Model based testing for agent systems |
108
Voted
AAAI
2004
15 years 4 months ago
2004
Model checking is a promising approach to automatic verification, which has concentrated on specification expressed in temporal logic. Comparatively little attention has been give...
93
Voted
ATAL
2006
Springer
15 years 6 months ago
2006
Springer
Detecting and preventing the adversarial action of an agent with respect to the community of agents can be a serious issue in the design of open multi-agent systems. This task is ...
209
Voted
PTS
2007
15 years 4 months ago
2007
Black-box testing is a popular technique for assessing the quality of a system. However, in case of a test failure, only little information is available to identify the root-cause ...
118
Voted
IVA
2010
Springer
15 years 1 months ago
2010
Springer
In order to enhance user involvement in financial services, this paper proposes to combine the idea of adaptive personalisation with intelligent virtual agents. To this end, a comp...
115
Voted
HCI
2007
15 years 4 months ago
2007
This paper describes an e-learning interface with multiple tutoring character agents. The character agents use eye movement information to facilitate empathy-relevant reasoning and...