1288 search results - page 250 / 258 » On Analysis of Design Component Contracts: A Case Study |
218
click to vote
GIS
2006
ACM
15 years 10 months ago
2006
ACM
Remotely sensed data, in particular satellite imagery, play many important roles in environmental applications and models. In particular applications that study (rapid) changes in...
WWW
2009
ACM
15 years 10 months ago
2009
ACM
Web search engines often federate many user queries to relevant structured databases. For example, a product related query might be federated to a product database containing thei...
89
Voted
EH
2005
IEEE
15 years 3 months ago
2005
IEEE
Manufacturing processes are a key source of faults in complex hardware systems. Minimizing this impact of manufacturing uncertainties is one way towards achieving fault tolerant s...
ISCA
1995
IEEE
15 years 1 months ago
1995
IEEE
Previous research has shown that the SPEC benchmarks achieve low miss ratios in relatively small instruction caches. This paper presents evidence that current software-development...
104
click to vote
CIKM
2011
Springer
13 years 9 months ago
2011
Springer
A continuous top-k query retrieves the k most preferred objects in a data stream according to a given preference function. These queries are important for a broad spectrum of appl...