4690 search results - page 102 / 938 » An operational semantics for Scheme |
146
click to vote
ADC
2005
Springer
15 years 12 months ago
2005
Springer
XML query caching for XML database-backed Web applications began to be investigated recently. However, the issue of how the cached query results are stored has not been addressed ...
157
click to vote
SAC
2006
ACM
16 years 10 days ago
2006
ACM
Several different techniques and softwares intend to improve the accuracy of results computed in a fixed finite precision. Here we focus on a method to improve the accuracy of ...
157
click to vote
CHES
2004
Springer
15 years 11 months ago
2004
Springer
In the current work we propose a pipelining scheme for implementing Elliptic Curve Cryptosystems (ECC). The scalar multiplication is the dominant operation in ECC. It is computed b...
165
click to vote
AINA
2005
IEEE
16 years 13 hour ago
2005
IEEE
Most of existing user authentication schemes require high computation cost of exponentiation operations for the purpose of security. However, it is not suitable for mobile devices...
166
click to vote
CISC
2007
Springer
15 years 10 months ago
2007
Springer
This paper proposes a new ID-based proxy signature scheme based on the bilinear pairings. The number of paring operation involved in the verification procedure of our scheme is onl...