5344 search results - page 745 / 1069 » Privacy-Preserving Set Operations |
159
click to vote
PPDP
2005
Springer
16 years 4 days ago
2005
Springer
Type checking and type inference are fundamentally similar problems. However, the algorithms for performing the two operations, on the same type system, often differ significant...
155
click to vote
SOCO
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. The need to use position-dependent parameters often hamdefinition of flexible, extensible, and reusable abstractions for software composition. This observation has led ...
156
click to vote
VMCAI
2005
Springer
16 years 4 days ago
2005
Springer
A Herbrand equality between expressions in a program is an equality which holds relative to the Herbrand interpretation of operators. We show that the problem of checking validity ...
171
click to vote
WAIM
2005
Springer
16 years 4 days ago
2005
Springer
System behaviors specify the major functions of domain specific Web Information Systems (WIS). Traditional techniques can not satisfy various requirements or manage innumerous data...
172
click to vote
ASPLOS
2004
ACM
16 years 3 days ago
2004
ACM
We introduce Shear, a user-level software tool that characterizes RAID storage arrays. Shear employs a set of controlled algorithms combined with statistical techniques to automat...