Sciweavers

126 search results - page 4 / 26
» Pattern-Based Verification for Trees
Sort
View
CMS
2001
133views Communications» more  CMS 2001»
13 years 8 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 9 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 11 months ago
Formal Verification of Tree-Structured Carry-Lookahead Adders
Sae Hwan Kim, Shiu-Kai Chin
JDCTA
2010
163views more  JDCTA 2010»
13 years 2 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