612 search results - page 26 / 123 » An Empirical Study of Agent Programs |
ESE
2006
13 years 9 months ago
2006
Test case prioritization provides a way to run test cases with the highest priority earliest. Numerous empirical studies have shown that prioritization can improve a test suite�...
AAMAS
2006
Springer
13 years 9 months ago
2006
Springer
Abstract. This paper gives an overview of our recent work on an approach to verifying multi-agent programs. We automatically translate multi-agent systems programmed in the logic-b...
ESEM
2010
ACM
13 years 8 months ago
2010
ACM
Open source software is often considered to be secure because large developer communities can be leveraged to find and fix security vulnerabilities. Eric Raymond states Linus’ L...
AIR
2004
13 years 9 months ago
2004
In this paper we describe an approach to the construction of adaptive tutoring systems, based on techniques from the research area of Reasoning about Actions and Change. This appro...
ECAL
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. Evolutionary robotics simulations can serve as a tool to clarify counterintuitive or dynamically complex aspects of sensorimotor behaviour. We present a series of simulat...