Sciweavers

156 search results - page 23 / 32
» Practical predicate dispatch
Sort
View
ADBIS
2004
Springer
124views Database» more  ADBIS 2004»
14 years 3 months ago
Database Caching - Towards a Cost Model for Populating Cache Groups
Web caching keeps single Web objects ready somewhere in caches in the user-to-server path, whereas database caching uses fullfledged database management systems as caches to adapt...
Theo Härder, Andreas Bühmann
POLICY
2004
Springer
14 years 3 months ago
Cassandra: Distributed Access Control Policies with Tunable Expressiveness
We study the specification of access control policy in large-scale distributed systems. Our work on real-world policies has shown that standard policy idioms such as role hierarc...
Moritz Y. Becker, Peter Sewell
RTA
2004
Springer
14 years 3 months ago
Rewriting for Fitch Style Natural Deductions
Logical systems in natural deduction style are usually presented in the Gentzen style. A different definition of natural deduction, that corresponds more closely to proofs in ord...
Herman Geuvers, Rob Nederpelt
INFOCOM
2002
IEEE
14 years 2 months ago
Fast PDA Synchronization Using Characteristic Polynomial Interpolation
—Modern Personal Digital Assistant (PDA) architectures often utilize a wholesale data transfer protocol known as “slow sync” for synchronizing PDAs with Personal Computers (P...
Ari Trachtenberg, David Starobinski, Sachin Agarwa...
SIGMOD
2010
ACM
209views Database» more  SIGMOD 2010»
14 years 2 months ago
ProgXe: progressive result generation framework for multi-criteria decision support queries
We demonstrate ProgXe, a practical approach to support MultiCriteria Decision Support (MCDS) applications that need to report results as they are being generated to enable the use...
Venkatesh Raghavan, Elke A. Rundensteiner