5639 search results - page 861 / 1128 » Timed Abstract Non-interference |
142
click to vote
CSL
2001
Springer
15 years 7 months ago
2001
Springer
Abstract. In classical approaches to knowledge representation, reasoners are assumed to derive all the logical consequences of their knowledge base. As a result, reasoning in the ï...
138
click to vote
DBPL
2001
Springer
15 years 7 months ago
2001
Springer
Commercial OLAP systems usually treat OLAP dimensions as static entities. In practice, dimension updates are often necessary in order to adapt the multidimensional database to chan...
132
click to vote
GCSE
2001
Springer
15 years 7 months ago
2001
Springer
Abstract. The C++ language has only a limited runtime type information system, which doesn’t provide full reflection capabilities. We present a general mechanism to support refle...
119
click to vote
HYBRID
2001
Springer
15 years 7 months ago
2001
Springer
Abstract. The assume-guarantee paradigm is a powerful divide-andconquer mechanism for decomposing a veri cation task about a system into subtasks about the individual components of...
132
click to vote
ICDT
2001
ACM
15 years 7 months ago
2001
ACM
Abstract. Nearest-neighbor queries in high-dimensional space are of high importance in various applications, especially in content-based indexing of multimedia data. For an optimiz...