1682 search results - page 56 / 337 » Applying Conventional Testing Techniques for Class Testing |
160
Voted
CCS
2011
ACM
14 years 3 months ago
2011
ACM
We consider security properties of cryptographic protocols that can be modeled using the notion of trace equivalence. The notion of equivalence is crucial when specifying privacy-...
131
click to vote
JVCA
2006
15 years 3 months ago
2006
The triangle-to-triangle intersection test is a basic component of all collision detection data structures and algorithms. This paper presents a fast method for testing whether tw...
90
Voted
ISMIR
2004
Springer
15 years 8 months ago
2004
Springer
This paper presents a technique for the automatic classification of vocal and non-vocal regions in an acoustic musical signal. The proposed technique uses acoustic features which ...
145
Voted
TSE
2010
15 years 1 months ago
2010
Search based optimization techniques have been applied to structural software test data generation since 1992, with a recent upsurge in interest and activity within this area. How...
121
click to vote
WSC
2000
15 years 4 months ago
2000
What actuaries call cash flow testing is a large-scale simulation pitting a company's current policy obligation against future earnings based on interest rates. While life co...