851 search results - page 96 / 171 » Inaccessibility in Decision Procedures |
CONCUR
2007
Springer
14 years 3 months ago
2007
Springer
We introduce strategy logic, a logic that treats strategies in two-player games as explicit first-order objects. The explicit treatment of strategies allows us to specify properti...
IPOM
2007
Springer
14 years 3 months ago
2007
Springer
This paper presents a method for the distribution of video flows through several paths of an IP network. We call the approach multisource focusing on the fact that, from the recei...
LPAR
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. Experiments show that many inequalities involving exponentials and logarithms can be proved automatically by combining a resolution theorem prover with a decision procedu...
STACS
2007
Springer
14 years 3 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...