360 search results - page 26 / 72 » ccs 2008 |
86
Voted
CONCUR
2008
Springer
14 years 12 months ago
2008
Springer
We present a framework that combines ideas from spatial logics and Igarashi and Kobayashi's behavioural type systems, drawing benefits from both. In our approach, type systems...
CSCWD
2008
Springer
14 years 12 months ago
2008
Springer
When web services are used to coalesce around the distributed applications, one prominent solution to manage and coordinate web services is the use of process management. Many res...
92
Voted
CCS
2008
ACM
15 years 5 days ago
2008
ACM
Online privacy is an increasingly important problem, as many services are now offered in a digital form. Privacy (or the lack thereof) is of a special concern in subscriptions to ...
102
click to vote
CCS
2008
ACM
15 years 5 days ago
2008
ACM
Hash tables are fundamental data structures that optimally answer membership queries. Suppose a client stores n elements in a hash table that is outsourced at a remote server so t...
CCS
2008
ACM
15 years 5 days ago
2008
ACM
By functionally decomposing a specific algorithm (the hierarchical secure aggregation algorithm of Chan et al. [3] and Frikken et al. [7]), we uncover a useful general functionali...