1912 search results - page 206 / 383 » On the evaluation of argumentation formalisms |
184
click to vote
CRYPTO
2003
Springer
15 years 11 months ago
2003
Springer
We deal with computational assumptions needed in order to design secure cryptographic schemes. We suggest a classi£cation of such assumptions based on the complexity of falsifying...
182
click to vote
GI
1997
Springer
15 years 10 months ago
1997
Springer
Object-Gofer is a small, practical extension of the functional programming language Gofer incorporating the following ideas from the object-oriented community: objects and toplevel...
144
click to vote
ISN
1998
Springer
15 years 10 months ago
1998
Springer
An expectation of a signature system is that a signatory cannot dispute a signature. Aiming at this, the following questions arise: Can documents in electronic commerce on the Inte...
177
click to vote
AAAI
2008
15 years 8 months ago
2008
This paper examines, by argument, the dynamics of sequences of behavioural choices made, when non-cooperative restricted-memory agents learn in partially observable stochastic gam...
194
click to vote
ISSTA
2010
ACM
15 years 8 months ago
2010
ACM
Testing object-oriented (OO) software is critical because OO languages are commonly used in developing modern software systems. In testing OO software, one important and yet chall...