1912 search results - page 60 / 383 » On the evaluation of argumentation formalisms |
110
click to vote
BIRTHDAY
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. In the implementation of procedures, developers often assume that the input satisfies certain properties; for example, binary search assumes the array to be sorted. Such...
113
click to vote
KBSE
1997
IEEE
15 years 4 months ago
1997
IEEE
Partial evaluation is an optimization technique traditionally used in compilation. We have adapted this technique to the understanding of scientic application programs during t...
108
click to vote
FLAIRS
2000
15 years 1 months ago
2000
This paper presents a formal security policy model for SmartCards with digital signature application. This kind of model is necessary for each evaluation according to Information ...
106
click to vote
FMCAD
2000
Springer
15 years 3 months ago
2000
Springer
Abstract. We have formal verified a number of algorithms for evaluating transcendental functions in double-extended precision floating point arithmetic in the Intel
DSN
2008
IEEE
15 years 6 months ago
2008
IEEE
This paper proposes a formally well-rooted and extensible framework for dependability evaluation: Arcade (architectural dependability evaluation). It has been designed to combine ...