851 search results - page 35 / 171 » History Effects and Verification |
ACNS
2004
Springer
15 years 3 months ago
2004
Springer
A general technique of batch verification for equality of discrete logarithms is proposed. Examples of batching threshold decryption schemes are presented based on threshold versio...
PLDI
2010
ACM
15 years 3 months ago
2010
ACM
We describe an automatic verification method to check whether transactional memories ensure strict serializability--a key property assumed of the transactional interface. Our main...
SPLC
2004
15 years 1 months ago
2004
In this paper, we present a methodology to express, in a formal way, the requirements of products belonging to a product line. We relied on a formalism allowing the representation ...
ICPR
2006
IEEE
16 years 28 days ago
2006
IEEE
Signature identification and verification has been a topic of interest and importance for many years in the area of biometrics. In this paper we present an effective method to per...
ICPR
2008
IEEE
15 years 6 months ago
2008
IEEE
In this paper, we propose two effective methods to perform automatic template selection where the goal is to select prototype signature templates for a user from a given set of on...