5900 search results - page 136 / 1180 » Dependable Systems |
IDEAL
2009
Springer
14 years 4 months ago
2009
Springer
Nowadays, there is a growing need for providing novel solutions to facilitate active learning in dependency environments. This paper present a multiagent architecture that incorpor...
COMBINATORICS
2007
13 years 10 months ago
2007
Let F4 be the root system associated with the 24-cell, and let M(F4) be the simple linear dependence matroid corresponding to this root system. We determine the automorphism group...
ESSLLI
2009
Springer
13 years 8 months ago
2009
Springer
This paper describes cdiprover3 a tool for proving termination of term rewrite systems by polynomial interpretations and context dependent interpretations. The methods used by cdip...
MSCS
2008
13 years 10 months ago
2008
The idea of coercive subtyping, a theory of abbreviation for dependent type theories, is incorporated into the polymorphic type system in functional programming languages. The tra...
ISARCS
2010
14 years 2 months ago
2010
Abstract. Software designs equipped with specification of dependability techniques can help engineers to develop critical systems. In this work, we start to envision how a softwar...