4276 search results - page 48 / 856 » Techniques for Empirical Validation |
EUROMICRO
1999
IEEE
14 years 1 days ago
1999
IEEE
Experience has shown that prototypingis a valuabletechnique in the validation of designs. However, the prototype(s) can be too far semantically removed from the design. Animation ...
ECBS
2006
IEEE
13 years 11 months ago
2006
IEEE
We present in this paper a unified paradigm for the verification and validation of software and systems engineering design models expressed in UML 2.0 or SysML. This paradigm reli...
3DIM
2001
IEEE
13 years 11 months ago
2001
IEEE
We present a complete data acquisition and processing chain for the reliable inspection of industrial parts considering anisotropic noise. Data acquisition is performed with a str...
SC
1992
ACM
13 years 11 months ago
1992
ACM
There are many metrics designed to assist in the performance debugging of large-scale parallel applications. We describe a new technique, called True Zeroing, that permits direct ...
HICSS
2011
IEEE
12 years 11 months ago
2011
IEEE
Vulnerabilities in a system may have widely varying impacts on system security. In practice, security should not be defined as the absence of vulnerabilities. In practice, securit...