12745 search results - page 2311 / 2549 » Automating test automation |
158
click to vote
SOFSEM
2012
Springer
14 years 7 hour ago
2012
Springer
In automated synthesis, we transform a specification into a system that is guaranteed to satisfy the specification against all environments. While modelchecking theory has led to...
161
click to vote
VSTTE
2012
Springer
14 years 2 hour ago
2012
Springer
Motivated by the problem of deciding verification conditions for the verification of functional programs, we present new decision procedures for automated reasoning about functio...
146
click to vote
HICSS
2000
IEEE
15 years 8 months ago
2000
IEEE
Workflow management systems enable the exact and timely analysis of automated business processes through the analysis of the logged audit trail data. Within the research project C...
174
click to vote
TOG
2012
13 years 6 months ago
2012
Large collections of 3D models from the same object class (e.g., chairs, cars, animals) are now commonly available via many public repositories, but exploring the range of shape v...
174
click to vote
PAMI
2012
13 years 6 months ago
2012
—The problem of automatic and optimal design of embedded object detector cascades is considered. Two main challenges are identified: optimization of the cascade configuration and...