605 search results - page 84 / 121 » A strategy for efficiently verifying requirements |
KDD
2008
ACM
14 years 9 months ago
2008
ACM
Transactional data are ubiquitous. Several methods, including frequent itemsets mining and co-clustering, have been proposed to analyze transactional databases. In this work, we p...
CHI
2007
ACM
14 years 9 months ago
2007
ACM
As the resolution of a notebook display increases, the efficiency of a touchpad is becoming a more important issue. In particular, it is often observed that users scrape the pad r...
SIGMOD
2003
ACM
14 years 9 months ago
2003
ACM
XML databases often contain documents comprising structured text. Therefore, it is important to integrate "information retrieval style" query evaluation, which is well-s...
ISESE
2003
IEEE
14 years 2 months ago
2003
IEEE
The two most common strategies for verification and validation, inspection and testing, are in a controlled experiment evaluated in terms of their fault detection capabilities. Th...
DAC
1994
ACM
14 years 1 months ago
1994
ACM
A powerful combinational path sensitization engine is required for the efficient implementation of tools for test pattern generation, timing analysis, and delay fault testing. Path...