530 search results - page 60 / 106 » Practical Threshold Signatures |
126
Voted
BMCBI
2005
15 years 2 months ago
2005
Background: Computational protein annotation methods occasionally introduce errors. Falsepositive (FP) errors are annotations that are mistakenly associated with a protein. Such f...
107
Voted
EUROCRYPT
2010
Springer
15 years 7 months ago
2010
Springer
We initiate a provable-security treatment of cryptographic agility. A primitive (for example PRFs, authenticated encryption schemes or digital signatures) is agile when multiple, ...
136
click to vote
FMICS
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. Bounded model checking (BMC) based on satisfiability testing (SAT) has been introduced as a complementary technique to BDDbased symbolic model checking of LTL properties ...
156
click to vote
TASLP
2008
15 years 2 months ago
2008
Abstract--We propose an automatic method for measuring content-based music similarity, enhancing the current generation of music search engines and recommender systems. Many previo...
120
click to vote
FAST
2009
15 years 5 days ago
2009
Fault-tolerant services typically make assumptions about the type and maximum number of faults that they can tolerate while providing their correctness guarantees; when such a fau...