1124 search results - page 37 / 225 » Refined quorum systems |
111
click to vote
ICFP
2003
ACM
16 years 1 months ago
2003
ACM
We develop an explicit two level system that allows programmers to reason about the behavior of effectful programs. The first level is an ordinary ML-style type system, which conf...
123
click to vote
WWW
2001
ACM
16 years 2 months ago
2001
ACM
We propose a new Web search system that helps users clarify their information needs through interaction. The system represents the user's information needs using a query grap...
EDOC
2005
IEEE
15 years 7 months ago
2005
IEEE
114
Voted
POLICY
2004
Springer
15 years 7 months ago
2004
Springer
As the interest in using policy-based approaches for systems management grows, it is becoming increasingly important to develop methods for performing analysis and refinement of p...
101
Voted
CIKM
2006
Springer
15 years 5 months ago
2006
Springer
The I/O performance of query processing can be improved using two complementary approaches. One can try to improve on the buffer and the file system management policies of the DB ...