12741 search results - page 82 / 2549 » Editorial and call for papers |
146
click to vote
CRYPTO
2004
Springer
15 years 11 months ago
2004
Springer
Pairing-based cryptosystems rely on bilinear non-degenerate maps called pairings, such as the Tate and Weil pairings defined over certain elliptic curve groups. In this paper we s...
120
click to vote
SAS
2004
Springer
15 years 11 months ago
2004
Springer
This paper addresses the verification of properties of imperative programs with recursive procedure calls, heap-allocated storage, and destructive updating of pointer-valued fiel...
216
click to vote
CEC
2003
IEEE
15 years 11 months ago
2003
IEEE
With the increase in information on the Internet, the strive to find more effective tools for distinguishing between interesting and non-interesting material is increasing. Drawing...
133
click to vote
HOTOS
2003
IEEE
15 years 11 months ago
2003
IEEE
Execution of a program almost always involves multiple address spaces, possibly across separate machines. Here, an approach to reducing such costs using compiler optimization tech...
123
click to vote
INFOVIS
2003
IEEE
15 years 11 months ago
2003
IEEE
This paper proposes a conceptual model called compound brushing for modeling the brushing techniques used in dynamic data visualization. In this approach brushing techniques are m...