1113 search results - page 53 / 223 » Counter Systems for Data Logics |
129
click to vote
SIGMOD
2010
ACM
15 years 9 months ago
2010
ACM
We present SecureBlox, a declarative system that uniļ¬es a distributed query processor with a security policy framework. SecureBlox decouples security concerns from system speciļ...
121
click to vote
HICSS
2009
IEEE
15 years 11 months ago
2009
IEEE
As semantic web technologies are increasingly used to empower knowledge management systems (KMSs), there is a growing need for mechanisms and automated tools for checking content ...
124
Voted
MEMICS
2010
14 years 11 months ago
2010
Recently, almost uncontrolled technological progress allows so called high-throughput data collection for sophisticated and complex experimental biological systems analysis. Espec...
138
click to vote
CCGRID
2011
IEEE
14 years 8 months ago
2011
IEEE
AbstractāParallel ļ¬le systems are designed to mask the everincreasing gap between CPU and disk speeds via parallel I/O processing. While they have become an indispensable compo...
185
Voted
SP
2010
IEEE
15 years 2 months ago
2010
IEEE
The security of systems such as operating systems, hypervisors, and web browsers depend critically on reference monitors to correctly enforce their desired security policy in the ...