1940 search results - page 142 / 388 » Eurostore - Initial Design and First Results |
264
click to vote
POPL
2005
ACM
16 years 6 months ago
2005
ACM
This paper proposes a novel approach to shape analysis: using local reasoning about individual heap locations of global reasoning about entire heap abstractions. We present an int...
157
click to vote
STOC
2001
ACM
16 years 6 months ago
2001
ACM
This article introduces and explores the condition-based approach to solve the consensus problem in asynchronous systems. The approach studies conditions that identify sets of inpu...
212
click to vote
SIGMOD
2003
ACM
16 years 6 months ago
2003
ACM
We consider the problem of efficiently producing ranked results for keyword search queries over hyperlinked XML documents. Evaluating keyword search queries over hierarchical XML ...
127
click to vote
CHI
2010
ACM
16 years 1 months ago
2010
ACM
Knowledge workers expend considerable effort managing fragmentation, characterized by constant switching among digital artifacts, when executing work activities. Activitycentric c...
197
click to vote
SACI
2009
IEEE
16 years 1 months ago
2009
IEEE
—In the grid context, there is little support for programming paradigms such as shared data or associative programming. We have previously proposed an original idea to attack sha...