16725 search results - page 2637 / 3345 » Engineering Software Correctness |
207
click to vote
DAC
2002
ACM
16 years 8 months ago
2002
ACM
A central problem in functional verification is to check that a circuit block is producing correct outputs while enforcing that the environment is providing legal inputs. To attac...
168
click to vote
WWW
2007
ACM
16 years 8 months ago
2007
ACM
It is widely believed that some queries submitted to search engines are by nature ambiguous (e.g., java, apple). However, few studies have investigated the questions of "how ...
197
click to vote
WWW
2006
ACM
16 years 8 months ago
2006
ACM
In this paper, we continue our investigations of "web spam": the injection of artificially-created pages into the web in order to influence the results from search engin...
167
click to vote
WWW
2005
ACM
16 years 8 months ago
2005
ACM
There have been recent interests in studying the "goal" behind a user's Web query, so that this goal can be used to improve the quality of a search engine's re...
175
Voted
WWW
2002
ACM
16 years 8 months ago
2002
ACM
We present an algorithm for translating XSLT programs into SQL. Our context is that of virtual XML publishing, in which a single XML view is defined from a relational database, an...