10715 search results - page 1795 / 2143 » From Tests to Proofs |
171
click to vote
RE
2006
Springer
15 years 6 months ago
2006
Springer
We present a novel technique that automatically alerts authors of requirements to the presence of potentially dangerous ambiguities. We first establish the notion of nocuous ambig...
147
click to vote
RE
2006
Springer
15 years 6 months ago
2006
Springer
We introduce a variability-intensive approach to goal decomposition that is tailored to support requirements identification for highly customizable software. The approach is based...
202
click to vote
IJCOMSYS
2007
15 years 6 months ago
2007
TCP is the most widely used transport protocol on the Internet today. Over the years, especially recently, due to requirements of high bandwidth transmission, various approaches h...
171
click to vote
SIGIR
2008
ACM
15 years 6 months ago
2008
ACM
The goal of system evaluation in information retrieval has always been to determine which of a set of systems is superior on a given collection. The tool used to determine system ...
155
click to vote
SIGIR
2008
ACM
15 years 6 months ago
2008
ACM
Topical noise in blogs arises when bloggers digress from the central topical thrust of their blogs. We introduce a method to explicitly incorporate a model of topical noise into a...