9186 search results - page 1306 / 1838 » A Module System for Scheme |
161
Voted
PODC
2003
ACM
15 years 10 months ago
2003
ACM
Applications such as e-commerce payment protocols, electronic contract signing, and certified e-mail delivery require that fair exchange be assured. A fair-exchange protocol allo...
132
click to vote
IWSSD
1993
IEEE
15 years 9 months ago
1993
IEEE
In this paper, we propose the use of fine-grain process modelling as an aid to software development. We suggest the use of two levels of granularity, one at the level of the indiv...
154
click to vote
CRYPTO
1993
Springer
15 years 9 months ago
1993
Springer
A broadcast encryption scheme allows the sender to securely distribute data to a dynamically changing set of users over an insecure channel. One of the most challenging settings fo...
168
click to vote
ICRA
2000
IEEE
15 years 8 months ago
2000
IEEE
This paper describes the progress of the BIP2000 project. This project, in which four laboratories are involved for 4 years, as uimed at the realization of the lower part of an an...
150
click to vote
MEDIAFORENSICS
2010
15 years 6 months ago
2010
Security of biometric templates stored in a system is important because a stolen template can compromise system security as well as user privacy. Therefore, a number of secure bio...