440 search results - page 33 / 88 » Local reasoning for abstraction and sharing |
122
click to vote
SEMWEB
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. This paper presents a method for making metadata conforming to heterogeneous schemas semantically interoperable. The idea is to make the knowledge embedded in the schema ...
104
click to vote
ENTCS
2008
15 years 2 months ago
2008
We present an extension to classical separation logic which allows reasoning about virtual memory. Our logic is formalised in the Isabelle/HOL theorem prover in a manner allowing ...
103
click to vote
CAL
2007
15 years 1 months ago
2007
Abstract— Cache Partitioning has been proposed as an interesting alternative to traditional eviction policies of shared cache levels in modern CMP architectures: throughput is im...
114
click to vote
SIGKDD
2008
15 years 1 months ago
2008
The value of knowledge obtainable by analysing large quantities of data is widely acknowledged. However, so-called primary or raw data may not always be available for knowledge di...
112
click to vote
ECOOP
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. In aspect-oriented programming, pointcuts are used to describe crossstructure. Pointcuts that abstract over irrelevant implementation details are clearly desired to bette...