2317 search results - page 15 / 464 » Model based testing for agent systems |
ROBOCUP
2000
Springer
13 years 10 months ago
2000
Springer
In the RoboCup Rescue Simulation Project, several kinds of simulator such as Building-Collapse and Road-Blockage Simulator, Fire Spread Simulator and Tra c Flow Simulator are expec...
FM
2009
Springer
13 years 4 months ago
2009
Springer
Abstract. This paper presents an iterative technique to accurately reverseengineer models of the behaviour of software systems. A key novelty of the approach is the fact that it us...
ICCBR
2005
Springer
14 years 7 days ago
2005
Springer
This paper presents a model constructed for the evaluation of the interaction of the atmosphere and the ocean. The work here presented focuses in the development of an agent based ...
AAAI
2006
13 years 8 months ago
2006
Unmotivated students do not reap the full rewards of using a computer-based intelligent tutoring system. Detection of improper behavior is thus an important component of an online...
JSS
2008
13 years 5 months ago
2008
This report presents a model-driven, stress test methodology aimed at increasing chances of discovering faults related to network traffic in Distributed Real-Time Systems (DRTS). T...