5639 search results - page 201 / 1128 » Timed Abstract Non-interference |
123
click to vote
ESA
2005
Springer
15 years 8 months 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...
170
click to vote
ICPADS
2002
IEEE
15 years 7 months ago
2002
IEEE
Abstract— Content replication and distribution is an effective technology to reduce the response time for web accesses and has been proven quite popular among large Internet cont...
120
click to vote
MFCS
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. A Solovay function is a computable upper bound g for prefixfree Kolmogorov complexity K that is nontrivial in the sense that g agrees with K, up to some additive constan...
139
click to vote
RTCSA
1999
IEEE
15 years 6 months ago
1999
IEEE
ASTRAL is a high-level formal specification language for real-time (infinite state) systems. It is provided with structuring mechanisms that allow one to build modularized specifi...
110
click to vote
ICPR
2000
IEEE
15 years 6 months ago
2000
IEEE
Abstract. An accurate analysis of a large dynamic system like our oceans requires spatially fine and temporally matched data collection methods. Current methods to estimate fish st...