488 search results - page 93 / 98 » Using Model Checking to Generate Tests from Requirements Spe... |
HICSS
2006
IEEE
15 years 5 months ago
2006
IEEE
Recommendation systems are widely used on the Internet to assist customers in finding the products or services that best fit with their individual preferences. While current imple...
PLDI
2009
ACM
15 years 6 months ago
2009
ACM
Taint analysis, a form of information-flow analysis, establishes whether values from untrusted methods and parameters may flow into security-sensitive operations. Taint analysis...
108
click to vote
BMCBI
2008
14 years 11 months ago
2008
Background: The most common substitution matrices currently used (BLOSUM and PAM) are based on protein sequences with average amino acid distributions, thus they do not represent ...
101
click to vote
EDBT
2004
ACM
15 years 11 months ago
2004
ACM
The join operation, which combines tuples from multiple relations, is the most fundamental and, typically, the most expensive operation in database queries. The standard approach t...
100
click to vote
PICS
2003
15 years 1 months ago
2003
To establish a correlation between the system output and the corresponding reflectance, the system characterisation functionDeriving the actual multispectral data from the output o...