4617 search results - page 853 / 924 » Automation of Diagrammatic Reasoning |
179
click to vote
LICS
2003
IEEE
16 years 21 hour ago
2003
IEEE
We present decidability results for the verification of cryptographic protocols in the presence of equational theories corresponding to xor and Abelian groups. Since the perfect ...
177
click to vote
LICS
2003
IEEE
16 years 21 hour ago
2003
IEEE
We show that the first-order theory of structural subtyping of non-recursive types is decidable, as a consequence of a more general result on the decidability of term powers of d...
271
click to vote
LICS
2003
IEEE
16 years 21 hour ago
2003
IEEE
Probability features increasingly often in software and hardware systems: it is used in distributed co-ordination and routing problems, to model fault-tolerance and performance, a...
176
click to vote
LICS
2003
IEEE
16 years 21 hour ago
2003
IEEE
Given a regular collection of Mazurkiewicz traces, which can be seen as the behaviours of a finite-state concurrent system, one can associate with it a canonical regular event st...
186
click to vote
LICS
2003
IEEE
16 years 21 hour ago
2003
IEEE
We present a constructive procedure for extracting polynomial-time realizers from ineffective proofs of Π0 2theorems in feasible analysis. By ineffective proof we mean a proof wh...