23413 search results - page 4455 / 4683 » or 2005 |
192
click to vote
ESA
2005
Springer
16 years 24 days ago
2005
Springer
Abstract. A materialized view is a certain synopsis structure precomputed from one or more data sets (called base tables) in order to facilitate various queries on the data. When t...
200
click to vote
ESA
2005
Springer
16 years 24 days ago
2005
Springer
Histograms are used in many ways in conventional databases and in data stream processing for summarizing massive data distributions. Previous work on constructing histograms on da...
194
click to vote
ESOP
2005
Springer
16 years 24 days ago
2005
Springer
Are computing systems trustworthy? To answer this, we need to know three things: what the systems are supposed to do, what they are not supposed to do, and what they actually do. A...
266
click to vote
ESOP
2005
Springer
16 years 24 days ago
2005
Springer
Abstract. We instantiate an Isabelle/HOL framework for proof carrying code to Jinja bytecode, a downsized variant of Java bytecode featuring objects, inheritance, method calls and ...
209
click to vote
ESORICS
2005
Springer
16 years 24 days ago
2005
Springer
The abstraction of cryptographic operations by term algebras, called Dolev-Yao models, is essential in almost all tool-supported methods for proving security protocols. Recently si...