551 search results - page 57 / 111 » Using Model Checking for Reducing the Cost of Test Generatio... |
ICSE
2001
IEEE-ACM
14 years 4 days ago
2001
IEEE-ACM
Early testing of requirements can decrease the cost of removing errors in software projects. However, unless done carefully, that testing process can significantly add to the cos...
IMR
2005
Springer
14 years 1 months ago
2005
Springer
This paper proposes a framework for generating sizing function in meshing assemblies. Size control is crucial in obtaining a high-quality mesh with a reduced number of elements, w...
CEE
2010
13 years 7 months ago
2010
A motion field generation algorithm using block matching of edge-flag histograms has been developed aiming at its application to motion recognition systems. Use of edge flags inste...
BPSC
2009
13 years 8 months ago
2009
Abstract: In this paper we present our ideas to apply constraint satisfaction on business processes. We propose a multi-level constraint satisfaction approach to handle t levels of...
ACISICIS
2010
IEEE
13 years 9 months ago
2010
IEEE
Abstract--User-system interaction is sometimes a cumbersome element of non-textual information access. Image retrieval systems now incorporate various interaction mechanisms. Howev...