3901 search results - page 405 / 781 » software 2008 |
161
click to vote
ATAL
2008
Springer
15 years 8 months ago
2008
Springer
This paper investigates software agents testing, and in particular how to automate test generation. We propose a novel approach, which takes advantage of agent interaction ontolog...
205
click to vote
ECTEL
2008
Springer
15 years 8 months ago
2008
Springer
Modeling the cognitive processes of learners is fundamental to build educational software that are autonomous and that can provide highly tailored assistance during learning [3]. F...
174
click to vote
FORTEST
2008
15 years 8 months ago
2008
Testing is one of the costliest aspects of commercial software development. Model-based testing is a promising approach addressing these deficits. At Microsoft, model-based testin...
151
click to vote
FPL
2008
Springer
15 years 8 months ago
2008
Springer
Loops are an important source of optimization. In this paper, we propose an extension to our work on loop unrolling and loop shifting for reconfigurable architectures. By applying...
167
click to vote
FPLAY
2008
15 years 8 months ago
2008
Tabletop games provide an intimate gaming experience where groups of friends can interact in a shared space using shared physical props. Digital tabletop games show great promise ...