9974 search results - page 1934 / 1995 » Software Interconnection Models |
153
click to vote
SIGMOD
2011
ACM
14 years 4 months ago
2011
ACM
Joins are essential for many data analysis tasks, but are not supported directly by the MapReduce paradigm. While there has been progress on equi-joins, implementation of join alg...
119
click to vote
CIKM
2011
Springer
14 years 1 months ago
2011
Springer
Today, a number of algorithms exist for constructing tag hierarchies from social tagging data. While these algorithms were designed with ontological goals in mind, we know very li...
122
click to vote
CSFW
2011
IEEE
14 years 1 months ago
2011
IEEE
—Randomization is used in computer security as a tool to introduce unpredictability into the software infrastructure. In this paper, we study the use of randomization to achieve ...
109
click to vote
IACR
2011
14 years 1 months ago
2011
With the gaining popularity of remote storage (e.g. in the Cloud), we consider the setting where a small, protected local machine wishes to access data on a large, untrusted remot...
121
click to vote
POPL
2012
ACM
13 years 9 months ago
2012
ACM
Interpolation is an important technique in verification and static analysis of programs. In particular, interpolants extracted from proofs of various properties are used in invar...