1585 search results - page 7 / 317 » A framework for computer-aided validation |
AUTOMATICA
2008
15 years 1 months ago
2008
: The standard prediction error framework provides many theoretical results under the assumption that the true system is in the model class. An important example is the expression ...
118
Voted
ECMDAFA
2008
Springer
15 years 3 months ago
2008
Springer
Frameworks and libraries that use annotations are becoming popular. However, there is not enough software engineering support for annotation development. In particular, the validat...
136
Voted
ATS
2003
IEEE
15 years 7 months ago
2003
IEEE
We present a framework for high-level design validation using an efficient register-transfer level (RTL) automatic test pattern generator (ATPG). The RTL ATPG generates the test ...
113
Voted
HICSS
2006
IEEE
15 years 8 months ago
2006
IEEE
Our paper presents a new IT governance framework and introduces an assessment tool designed to measure its effectiveness. The framework builds on the integration between the struc...
106
Voted
ACSAC
2003
IEEE
15 years 7 months ago
2003
IEEE
The validation of enterprise authorization specification for conformance to enterprise security policies requires an out-of-band framework in many situations since the enforcing a...