3238 search results - page 63 / 648 » Not Enough Points Is Enough |
ESORICS
2009
Springer
14 years 10 months ago
2009
Springer
Abstract. Many protocols rely on audit trails to allow an impartial judge to verify a posteriori some property of a protocol run. However, in current practice the choice of what da...
POPL
2008
ACM
14 years 10 months ago
2008
ACM
This pearl develops a statement about parallel prefix computation in the spirit of Knuth's 0-1-Principle for oblivious sorting algorithms. It turns out that 0-1 is not quite ...
ATAL
2009
Springer
14 years 4 months ago
2009
Springer
With the current demonstrator, we present an implementation of formal argumentation that is not only able to evaluate an argument according to standard argumentation semantics, bu...
TPHOL
2007
IEEE
14 years 4 months ago
2007
IEEE
We present a simple method to formally prove termination of recursive functions by searching for lexicographic combinations of size measures. Despite its simplicity, the method tur...
CCIA
2005
Springer
14 years 3 months ago
2005
Springer
The literal performance of the symbols contained in a traditional score is not enough to produce expressive music. Human interpreters use musical knowledge that is not explicitly r...