3742 search results - page 43 / 749 » On the Use of Formal Techniques for Validation |
WSC
2001
15 years 1 months ago
2001
Semiconductor manufacturing is generally considered a cyclic industry. As such, individual producers able to react quickly and appropriately to market conditions will have a compe...
JCP
2008
14 years 11 months ago
2008
Verified and validated security policies are essential components of high assurance computer systems. The design and implementation of security policies are fundamental processes i...
CAISE
2003
Springer
15 years 5 months ago
2003
Springer
This paper describes a validation approach of a socio-technical design support system using data mining techniques. Bayesian Belief Networks (BBN) are used to assess human error an...
COLT
1998
Springer
15 years 4 months ago
1998
Springer
This paper concerns the use of real-valued functions for binary classification problems. Previous work in this area has concentrated on using as an error estimate the `resubstitut...
107
click to vote
VTS
2005
IEEE
15 years 5 months ago
2005
IEEE
This paper describes a random jitter measurement technique using simple algorithms and comparator sampling. The approach facilitates using Automated Test Equipment (ATE) to valida...