844 search results - page 104 / 169 » Safraless Decision Procedures |
145
click to vote
ER
2001
Springer
15 years 10 months ago
2001
Springer
: In electronic commerce, two fundamental types of models are business models and process models. While a business model is concerned with value exchanges between actors, a process...
133
click to vote
TACAS
2001
Springer
15 years 10 months ago
2001
Springer
Abstract. Checking for language containment between nondeterministic ω-automata is a central task in automata-based hierarchical verification. We present a symbolic procedure for...
148
click to vote
ICPR
2000
IEEE
15 years 10 months ago
2000
IEEE
This paper provides a generalization of non-reducible descriptors by extending the concept of distance between patterns of di erent classes. Generalized non-reducible descriptors ...
138
click to vote
IUI
2000
ACM
15 years 10 months ago
2000
ACM
Design problems involve issues of stylistic preference and flexible standards of success; human designers often proceed by intuition and are unaware of following any strict rule-b...
153
click to vote
TABLEAUX
1999
Springer
15 years 10 months ago
1999
Springer
Hybrid logics were proposed in 15 as a way of boosting the expressivity of modal logics via a novel mechanism: adding labels for states in Kripke models and viewing these labels as...