844 search results - page 100 / 169 » Safraless Decision Procedures |
STACS
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. In many security protocols, such as group protocols, principals have to perform iterative or recursive computations. We call such protocols recursive protocols. Recently,...
CSB
2005
IEEE
14 years 2 months ago
2005
IEEE
Sequential classification uses in a stepwise process only part of the data (evidence) for partial classification, i.e., classifying only objects with sufficient evidence and leavi...
ENC
2005
IEEE
14 years 2 months ago
2005
IEEE
Following the argumentation framework and semantics proposed by Dung, we are interested in the problem of deciding which set of acceptable arguments support the decision making in...
HICSS
2005
IEEE
14 years 2 months ago
2005
IEEE
The complex business environment requires managing business processes with the ability to adapt to changes and to collaborate in activities. Conventional workflow approaches based...
CAV
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. In predicate abstraction, exact image computation is problematic, requiring in the worst case an exponential number of calls to a decision procedure. For this reason, sof...