5348 search results - page 1033 / 1070 » Models for the Compressible Web |
114
click to vote
POPL
2011
ACM
14 years 22 days ago
2011
ACM
We describe a new algorithm for proving temporal properties expressed in LTL of infinite-state programs. Our approach takes advantage of the fact that LTL properties can often be...
211
click to vote
SACMAT
2011
ACM
14 years 22 days ago
2011
ACM
In this paper, we present an approach for identity and access management (IAM) in the context of (cross-organizational) serviceoriented architectures (SOA). In particular, we de...
SIGMOD
2011
ACM
14 years 22 days ago
2011
ACM
Facebook recently deployed Facebook Messages, its first ever user-facing application built on the Apache Hadoop platform. Apache HBase is a database-like layer built on Hadoop des...
111
click to vote
CSFW
2012
IEEE
13 years 10 days ago
2012
IEEE
The onion routing network Tor is undoubtedly the most widely employed technology for anonymous web access. Although the underlying onion routing (OR) protocol appears satisfactory...
100
click to vote
SIGIR
2012
ACM
13 years 10 days ago
2012
ACM
Users increasingly rely on their mobile devices to search local entities, typically businesses, while on the go. Even though recent work has recognized that the ranking signals in...