132 search results - page 1 / 27 » Reasoning about Hierarchical Storage |
LICS
2003
IEEE
13 years 9 months ago
2003
IEEE
In this paper, we develop a new substructural logic that can encode invariants necessary for reasoning about hierarchical storage. We show how the logic can be used to describe th...
SEMWEB
2009
Springer
13 years 8 months ago
2009
Springer
Abstract. Military training and testing events are highly complex affairs, potentially involving dozens of legacy systems that need to interoperate in a meaningful way. There are s...
KI
2008
Springer
13 years 4 months ago
2008
Springer
ATAL
2005
Springer
13 years 9 months ago
2005
Springer
We present an integrated approach for reasoning about and learning conversation patterns in multiagent communication. The approach is based on the assumption that information abou...
DOLAP
2005
ACM
13 years 6 months ago
2005
ACM
We propose a new functional framework for modeling, querying and reasoning about OLAP databases. The framework represents data (data cubes and dimensional hierarchies) and queryin...