6941 search results - page 445 / 1389 » Testing as a Certification Approach |
202
click to vote
CCS
2009
ACM
15 years 11 months ago
2009
ACM
We present an approach for the design and analysis of an electronic voting machine based on a novel combination of formal verification and systematic testing. The system was desig...
185
click to vote
AIPR
2006
IEEE
15 years 8 months ago
2006
IEEE
The production of geospatial information from overhead imagery is generally a labor-intensive process. Analysts must accurately delineate and extract important features, such as b...
151
click to vote
EOR
2008
15 years 7 months ago
2008
Process capability indices provide numerical measures on whether a process conforms to the defined manufacturing capability prerequisite. These have been successfully applied by c...
178
click to vote
ICIP
2010
IEEE
15 years 4 months ago
2010
IEEE
We develop a new passive image formation method capable of exploiting information about multiple scattering in the environment using measurements from a sparse array of receivers ...
159
click to vote
SIGSOFT
2010
ACM
15 years 4 months ago
2010
ACM
Reliance on skilled developers reduces the return on investment for important software engineering tasks such as establishing program correctness. This position paper introduces a...