1912 search results - page 48 / 383 » On the evaluation of argumentation formalisms |
CSFW
1999
IEEE
15 years 4 months ago
1999
IEEE
The combination of two security protocols, a simple shared-key communication protocol and the Di e-Hellman key distribution protocol, is modeled formally and proved correct. The m...
102
click to vote
PPDP
2009
Springer
15 years 6 months ago
2009
Springer
We propose a novel approach to encapsulate non-deterministic computations in functional logic programs. Our approach is based on set functions that return the set of all the resul...
PPDP
2007
Springer
15 years 6 months ago
2007
Springer
We propose a new definition and use of a primitive getAllValues, for computing all the values of a non-deterministic expression in a functional logic program. Our proposal restri...
CAV
2004
Springer
15 years 5 months ago
2004
Springer
ISOLA
2004
Springer
15 years 5 months ago
2004
Springer