1740 search results - page 265 / 348 » A Digital Archive of Research Papers in Computer Science |
172
click to vote
CF
2005
ACM
15 years 8 months ago
2005
ACM
Result checking is the theory and practice of proving that the result of an execution of a program on an input is correct. Result checking has most often been envisioned in the fr...
157
Voted
KDD
2004
ACM
16 years 6 months ago
2004
ACM
In recent years, various constrained frequent pattern mining problem formulations and associated algorithms have been developed that enable the user to specify various itemsetbase...
136
click to vote
MM
2005
ACM
15 years 11 months ago
2005
ACM
Most current sensor network research explores the use of extremely simple sensors on small devices called motes and focuses on overcoming the resource constraints of these devices...
164
click to vote
CCS
2004
ACM
15 years 11 months ago
2004
ACM
It is widely believed that diversity in operating systems, software packages, and hardware platforms will decrease the virulence of worms and the effectiveness of repeated applic...
151
Voted
SIGMETRICS
2004
ACM
15 years 11 months ago
2004
ACM
Most state-of-the-art commercial storage virtualization systems focus only on one particular storage attribute, capacity. This paper describes the design, implementation and evalu...