1700 search results - page 203 / 340 » Specifying and implementing refactorings |
253
click to vote
POPL
2003
ACM
16 years 6 months ago
2003
ACM
Ownership types provide a statically enforceable way of specifying object encapsulation and enable local reasoning about program correctness in object-oriented languages. However,...
173
click to vote
CADE
2007
Springer
16 years 6 months ago
2007
Springer
Safety and security guarantees for individual applications in general depend on assumptions on the given context provided by distributed instances of operating systems, hardware pl...
121
click to vote
OSDI
2008
ACM
16 years 6 months ago
2008
ACM
We introduce range writes, a simple but powerful change to the disk interface that removes the need for file system micromanagement of block placement. By allowing a file system t...
164
click to vote
OSDI
2004
ACM
16 years 6 months ago
2004
ACM
As dependence on the World Wide Web continues to grow, so does the need for businesses to have quantitative measures of the client perceived response times of their Web services. ...
253
click to vote
SIGMOD
2009
ACM
16 years 6 months ago
2009
ACM
In this paper, we consider the problem of keyword query cleaning for structured databases from a probabilistic approach. Keyword query cleaning consists of rewriting the user quer...