2299 search results - page 368 / 460 » Logical Data Expiration |
HPCA
2004
IEEE
15 years 11 months ago
2004
IEEE
Modern microprocessors adopt speculative scheduling techniques where instructions are scheduled several clock cycles before they actually execute. Due to this scheduling delay, sc...
176
click to vote
POPL
2006
ACM
15 years 11 months ago
2006
ACM
We propose a type system based on regular tree grammars, where algebraic datatypes are interpreted in a structural way. Thus, the same constructors can be reused for different typ...
197
click to vote
POPL
2005
ACM
15 years 11 months ago
2005
ACM
In traditional information-flow type systems, the security policy is often formalized as noninterference properties. However, noninterference alone is too strong to express securi...
171
click to vote
VLDB
2004
ACM
15 years 11 months ago
2004
ACM
Abstract This paper describes the design, implementation, and performance characteristics of a commercial XQuery processing engine, the BEA streaming XQuery processor. This XQuery ...
159
Voted
SIGMOD
2006
ACM
15 years 11 months ago
2006
ACM
In this paper, we propose a methodological approach for the model driven development of secure XML databases (DB). This proposal is within the framework of MIDAS, a model driven m...