2317 search results - page 130 / 464 » Model based testing for agent systems |
142
Voted
EMSOFT
2005
Springer
15 years 9 months ago
2005
Springer
UPPAAL-TRON is a new tool for model based online black-box conformance testing of real-time embedded systems specified as timed automata. In this paper we present our experiences...
152
Voted
UM
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. In this paper we describe an Integrated Development System for Instructional Model for E-learning (INDESIME) to create and to maintain instructional models using adaptive...
132
Voted
GW
1999
Springer
15 years 7 months ago
1999
Springer
Led by the fundamental role that rhythms apparently play in speech and gestural communication among humans, this study was undertaken to substantiate a biologically motivated model...
103
Voted
AAI
2000
15 years 3 months ago
2000
Vivid agents [48] are software-controlled systems whose state comprises the mental components of knowledge, perceptions, tasks, and intentions, and whose behaviour is represented ...
137
Voted
ESAW
2000
Springer
15 years 7 months ago
2000
Springer
Abstract. This paper presents a multi agent-oriented prototyping approach. It is a generic approach, applicable to a wide range of multi-agent systems. This approach relies on a fe...