4270 search results - page 31 / 854 » A Permutation Approach to Validation |
FDL
2008
IEEE
15 years 1 months ago
2008
IEEE
This paper describes a scenario-based methodology em-level design validation based on the Abstract State Machines formal method. This scenario-based approach complements an existi...
ACL
2004
15 years 1 months ago
2004
Multilingual applications frequently involve dealing with proper names, but names are often missing in bilingual lexicons. This problem is exacerbated for applications involving t...
CODES
2000
IEEE
15 years 4 months ago
2000
IEEE
In current design practice synthesis tools play a key role, letting designers to concentrate on the specificationof the system being designed by carrying out repetitive tasks such...
HICSS
2008
IEEE
15 years 6 months ago
2008
IEEE
Many behavioral researchers have been or are currently engaged in survey research, analyzing results using statistical methods. Respondents are often asked to fill out questionnai...
DSD
2005
IEEE
15 years 5 months ago
2005
IEEE
This paper proposes a validation approach, based on simulation, which addresses problems related to both state space explosion of formal methods and low coverage of informal metho...