314 search results - page 21 / 63 » Validating Specifications for Model-Based Testing |
DSVIS
2005
Springer
14 years 1 months ago
2005
Springer
Multimodal interactive systems offer a flexibility of interaction that increases their complexity. ICARE is a component-based approach to specify and develop multimodal interfaces...
ARITH
1999
IEEE
13 years 11 months ago
1999
IEEE
Comprehensive testing of any implementation of the RSA cryptosystem requires the use of a number of moduli with specific properties. It is shown how to generate a sufficient varie...
ICSEA
2006
IEEE
14 years 1 months ago
2006
IEEE
—The XML language is becoming the preferred means of data interchange and representation in web based applications. Usually, XML data is stored in XML repositories, which can be ...
DATE
2006
IEEE
14 years 1 months ago
2006
IEEE
In this paper we analyze the test power of SRAM memories and demonstrate that the full functional precharge activity is not necessary during test mode because of the predictable a...
DATE
2002
IEEE
14 years 14 days ago
2002
IEEE
In this paper, we present an innovative methodology to estimate and improve the quality of analog and mixed-signal circuit testing. We first detect and reduce the redundancy in th...