6704 search results - page 182 / 1341 » Testing Scenario-Based Models |
152
click to vote
ISSTA
1996
ACM
15 years 10 months ago
1996
ACM
In assessing the quality of software, we would like to make engineering judgements similar to those based on statistical quality control. Ideally, we want to support statements li...
177
click to vote
GECCO
2006
Springer
15 years 10 months ago
2006
Springer
Many agent problems in a grid world have a restricted sensory information and motor actions. The environmental conditions need dynamic processing of internal memory. In this paper...
234
click to vote
SIMVIS
2007
15 years 8 months ago
2007
We present the market research tool ShelfAware which implements a virtual test store of a grocery store using gaming technology available on PCs. The purpose of ShelfAware is to s...
155
click to vote
ALENEX
2001
15 years 8 months ago
2001
The purpose of this paper is to provide a preliminary report on the rst broad-based experimental comparison of modern heuristics for the asymmetric traveling salesmen problem ATSP....
158
click to vote
ENTCS
2002
15 years 6 months ago
2002
The difficulty of finding errors caused by unexpected interleavings of threads in concurrent programs is well known. Model checkers can pinpoint such errors and verify correctness...