3793 search results - page 131 / 759 » Expressive Description Logics |
107
click to vote
CONCUR
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. We study the expressiveness of finite message-passing automata with a priori unbounded FIFO channels and show them to capture exactly the class of MSC languages that are...
122
click to vote
ISSRE
2003
IEEE
15 years 9 months ago
2003
IEEE
A large number of coverage criteria to generate tests from logical expressions have been proposed. Although there have been large variations in the terminology, the articulation o...
162
click to vote
LPAR
2001
Springer
15 years 8 months ago
2001
Springer
Abstract. Recently, local logics for Mazurkiewicz traces are of increasing interest. This is mainly due to the fact that the satisfiability problem has the same complexity as in t...
153
click to vote
CALCO
2005
Springer
15 years 10 months ago
2005
Springer
Every endofunctor B on the category Set can be lifted to a fibred functor on the category (fibred over Set) of equivalence relations and relation-preserving functions. In this pa...
138
click to vote
ENTCS
2000
15 years 4 months ago
2000
Substitution plays an important role in Hoare Logic, as it is used in interpreting assignments. When writing a computer-based realization of Hoare Logic, it is therefore important...