3705 search results - page 389 / 741 » Building Documentation Generators |
191
click to vote
TCC
2005
Springer
16 years 9 days ago
2005
Springer
Abstract. We consider the problem of password-authenticated key exchange (PAK) also known as session-key generation using passwords: constructing session-key generation protocols t...
161
click to vote
ICMI
2004
Springer
16 years 6 days ago
2004
Springer
When talking about spatial domains, humans frequently accompany their explanations with iconic gestures to depict what they are referring to. For example, when giving directions, ...
165
click to vote
PASTE
2010
ACM
15 years 12 months ago
2010
ACM
We present a novel technique that identifies the source compiler of program binaries, an important element of program provenance. Program provenance answers fundamental questions...
172
Voted
ECOOPW
1998
Springer
15 years 11 months ago
1998
Springer
Abstract. We introduce a collection of high performance kernels for basic linear algebra. The kernels encapsulate small xed size computations in order to provide building blocks fo...
175
click to vote
ARGMAS
2006
Springer
15 years 10 months ago
2006
Springer
We build on recent work on argumentation frameworks for generating desires and plans. We provide a rich instantiDung's abstract argumentation framework for (i) generating con...