780 search results - page 95 / 156 » Compositional Quantitative Reasoning |
107
click to vote
COSIT
2001
Springer
15 years 5 months ago
2001
Springer
Abstract. The Double Cross calculus has been proposed for the purpose of navigation based on qualitative information about spatial configurations. Up until now, however, no result...
FMCAD
2004
Springer
15 years 4 months ago
2004
Springer
Abstract. We present a simple method for verifying the safety properties of cache coherence protocols with arbitrarily many nodes. Our presentation begins with two examples. The fi...
123
Voted
AICOM
2005
2005
The Ants' Garden: Complex interactions between populations and the scalability of qualitative models
15 years 18 days ago
Ecological theories often explain the behaviour of communities in terms of the underlying interactions that take place between the species that are part of the community. This clos...
131
Voted
EMSOFT
2009
Springer
15 years 7 months ago
2009
Springer
This paper advocates a strict compositional and hybrid approach for obtaining key (performance) metrics of embedded At its core the developed methodology abstracts system componen...
ICCBR
2009
Springer
15 years 7 months ago
2009
Springer
Case-base administrators face a choice of many maintenance algorithms. It is well-known that these algorithms have different biases that cause them to perform inconsistently over ...