Sciweavers

126 search results - page 4 / 26
» Pattern-Based Verification for Trees
Sort
View
CMS
2001
133views Communications» more  CMS 2001»
13 years 6 months ago
Asynchronous Large-Scale Certification Based on Certificate Verification Trees
Good public-key infrastructures (PKIs) are essential to make electronic commerce secure. Quite recently, certificate verification trees (CVTs) have been introduced as a tool for im...
M. Mar Albà, Josep Domingo-Ferrer, Francesc...
AFRICACRYPT
2008
Springer
13 years 7 months ago
An (Almost) Constant-Effort Solution-Verification Proof-of-Work Protocol Based on Merkle Trees
Proof-of-work schemes are economic measures to deter denial-of-service attacks: service requesters compute moderately hard functions the results of which are easy to check by the ...
Fabien Coelho
GLVLSI
1999
IEEE
90views VLSI» more  GLVLSI 1999»
13 years 9 months ago
Formal Verification of Tree-Structured Carry-Lookahead Adders
Sae Hwan Kim, Shiu-Kai Chin
JDCTA
2010
163views more  JDCTA 2010»
12 years 11 months ago
An Efficient Syntactic Analyzer Using Semantic Connection Units
We implement a Korean syntactic analyzer which decreases many ambiguities in syntax parse trees using segmentation and semantic connection units. We use dependency grammar for par...
Yong-uk Park, Hyuk-chul Kwon