3031 search results - page 347 / 607 » Model Driven Testing Based on Test History |
125
click to vote
COMPIMAGE
2010
Springer
15 years 9 months ago
2010
Springer
We study how the quality of an image reconstructed by a binary tomographic algorithm depends on the direction of the observed object in the scanner, if only a few projections are a...
131
Voted
ACMSE
1998
ACM
15 years 8 months ago
1998
ACM
– It is difficult to improve software quality by relying on conformance to industry standards by continuously upgrading from one standard or model to another standard or model be...
143
click to vote
FORMATS
2006
Springer
15 years 7 months ago
2006
Springer
We propose a symbolic algorithm for the analysis of the robustness of timed automata, that is the correctness of the model in presence of small drifts on the clocks or imprecision ...
82
Voted
CORR
2008
Springer
15 years 4 months ago
2008
Springer
Thermal micro-actuators are a promising solution to the need for large-displacement, gentle handling force, low-power MEMS actuators. Potential applications of these devices are mi...
137
click to vote
ICCV
2009
IEEE
15 years 1 months ago
2009
IEEE
For many applications in graphics, design, and human computer interaction, it is essential to understand where humans look in a scene. Where eye tracking devices are not a viable ...