714 search results - page 45 / 143 » Verification and Compliance Testing |
119
click to vote
CAV
2003
Springer
15 years 4 months ago
2003
Springer
We generalize the traditional definition of a multicounter machine (where the counters, which can only assume nonnegative integer values, can be incremented/decremented by 1 and te...
121
click to vote
ICASSP
2011
IEEE
14 years 4 months ago
2011
IEEE
Recently, Multiple Background Models (M-BMs) [1, 2] have been shown to be useful in speaker verification, where the M-BMs are formed based on different Vocal Tract Lengths (VTLs)...
112
click to vote
GECCO
2005
Springer
15 years 6 months ago
2005
Springer
The efficient and effective generation of test-data from high-level models is of crucial importance in advanced modern software engineering. Empirical studies have shown that muta...
104
Voted
ARITH
1999
IEEE
15 years 5 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...
102
click to vote
BIOSIG
2003
15 years 2 months ago
2003
Abstract: Biometric identification and verification technologies, in the past, have promised high performance levels. Such performance statements lead to the assumption, that these...