8828 search results - page 235 / 1766 » Formal methods in practice |
137
click to vote
BCSHCI
2007
15 years 7 months ago
2007
The current practice of designing the auditory mode in the user interface is poorly understood. In this survey, we aim at revealing the common understanding of the role of audio i...
151
Voted
CRYPTO
2005
Springer
15 years 11 months ago
2005
Springer
In this paper we present a practical heuristic attack on the Ko, Lee et al. key exchange protocol introduced at Crypto 2000 [10]. One of the ideas behind our attack is using Dehorn...
145
click to vote
ICCSA
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. It is desirable to generate a digital signature using biometrics but not practicable because of its inaccurate measuring and potential hill-climbing attacks, without usin...
130
click to vote
CASCON
2006
15 years 7 months ago
2006
Software architecture can be a critical factor in software development. Understanding what software architects do in practice is necessary to the enterprise of providing technique...
188
click to vote
ECCV
2006
Springer
16 years 7 months ago
2006
Springer
This paper presents a practical method for finding the provably globally optimal solution to numerous problems in projective geometry including multiview triangulation, camera rese...