2019 search results - page 211 / 404 » Programming with Shared Data Abstractions |
117
click to vote
ICTCS
2007
Springer
15 years 9 months ago
2007
Springer
The information flow property of Non-Interference was recently relaxed into Abstract NonInterference (ANI), a weakened version where attackers can only observe properties of data,...
223
Voted
ICDE
2009
IEEE
16 years 5 months ago
2009
IEEE
Abstract-- Multi-tenant data management is a form of Software as a Service (SaaS), whereby a third party service provider hosts databases as a service and provides its customers wi...
130
Voted
APLAS
2007
ACM
15 years 7 months ago
2007
ACM
We have built the first family of tagless interpretations for a higher-order typed object language in a typed metalanguage (Haskell or ML) that require no dependent types, general...
114
click to vote
PPOPP
2009
ACM
16 years 3 months ago
2009
ACM
Transactional Memory (TM) is being studied widely as a new technique for synchronizing concurrent accesses to shared memory data structures for use in multi-core systems. Much of ...
123
click to vote
PODS
2005
ACM
16 years 3 months ago
2005
ACM
We consider query optimization techniques for data intensive P2P applications. We show how to adapt an old technique from deductive databases, namely Query-Sub-Query (QSQ), to a s...