32032 search results - page 145 / 6407 » Verified programming in Guru |
138
click to vote
IPPS
1998
IEEE
15 years 9 months ago
1998
IEEE
In [10], Misra introduced the powerlist data structure, which is well suited to express recursive, data-parallel algorithms. In particular, Misra showed how powerlists could be use...
133
click to vote
CRYPTO
1998
Springer
15 years 9 months ago
1998
Springer
Verifiable Signature Sharing (VS ) enables the recipient of a digital signature, who is not necessarily the original signer, to share such signature among n proxies so that a subse...
152
click to vote
HAPTICS
2007
IEEE
15 years 8 months ago
2007
IEEE
In this paper, a numerical model of the thermal process of touching an object is described. The model takes into account the object geometry and temperature, the thermal parameter...
145
click to vote
FMICS
2006
Springer
15 years 8 months ago
2006
Springer
Parking garages that stow and retrieve cars automatically are becoming viable solutions for parking shortages. However, these are complex systems and a number of severe incidents i...
133
click to vote
EUROCRYPT
1995
Springer
15 years 8 months ago
1995
Springer
Abstract. We introduce Verifiable Signature Sharing (VCS), a cryptographic primitive for protecting digital signatures. VCS enables the holder of a digitally signed document, who m...