1664 search results - page 192 / 333 » Testing in the Component Age |
150
click to vote
IVA
2005
Springer
15 years 9 months ago
2005
Springer
During the last years, Intelligent Virtual Environments for Training have become a quite popular application of computer science to education. These systems involve very different...
117
click to vote
OOPSLA
2005
Springer
15 years 9 months ago
2005
Springer
The objective of this research project is to improve the reusability of object-oriented software. We have introduced anchored exception declarations to allow checked exceptions to...
141
click to vote
ROBOCUP
2005
Springer
15 years 9 months ago
2005
Springer
Faults in hardware and software are not totally avoidable not even if the components are carefully designed, implemented and tested. In this paper we present a solution for detecti...
150
click to vote
SAT
2005
Springer
15 years 9 months ago
2005
Springer
An important extension of satisfiability testing is model-counting, a task that corresponds to problems such as probabilistic reasoning and computing the permanent of a Boolean ma...
135
click to vote
ATAL
2004
Springer
15 years 9 months ago
2004
Springer
The paper describes the architecture of Brown University’s agent, Botticelli, a finalist in the 2003 Trading Agent Competition in Supply Chain Management (TAC SCM). In TAC SCM,...