8337 search results - page 1477 / 1668 » Reasoning With Characteristic Models |
150
Voted
LICS
2003
IEEE
15 years 10 months 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 ...
140
Voted
LICS
2003
IEEE
15 years 10 months ago
2003
IEEE
This paper reports on and discusses three notions of approximation for Labelled Markov Processes that have been developed last year. The three schemes are improvements over former...
152
Voted
TPHOL
2003
IEEE
15 years 10 months ago
2003
IEEE
This paper addresses the crucial issue in the design of a proof development system of how to deal with partial functions and the related question of how to treat undefined terms. ...
165
Voted
VL
2003
IEEE
15 years 10 months ago
2003
IEEE
Constraint diagrams are a visual notation designed to complement the Unified Modeling Language in the development of software systems. They generalize Venn diagrams and Euler cir...
129
Voted
HT
2003
ACM
15 years 10 months ago
2003
ACM
Analogy-based estimation has, over the last 15 years, and particularly over the last 7 years, emerged as a promising approach with comparable accuracy to, or better than, algorith...