2043 search results - page 282 / 409 » Some Basics on Tolerances |
161
click to vote
CAV
2005
Springer
15 years 11 months ago
2005
Springer
Bounded model checking is an efficient method for finding bugs in system designs. The major drawback of the basic method is that it cannot prove properties, only disprove them. R...
143
click to vote
CIKM
2005
Springer
15 years 11 months ago
2005
Springer
The quality of document content, which is an issue that is usually ignored for the traditional ad hoc retrieval task, is a critical issue for Web search. Web pages have a huge var...
165
click to vote
CRYPTO
2005
Springer
15 years 11 months ago
2005
Springer
We identify and fill some gaps with regard to consistency (the extent to which false positives are produced) for public-key encryption with keyword search (PEKS), providing new de...
154
click to vote
EPEW
2005
Springer
15 years 11 months ago
2005
Springer
Choreography languages provide a top-view design way for describing complex systems composed of services distributed over the network. The basic building block of such languages is...
177
click to vote
EUROCRYPT
2005
Springer
15 years 11 months ago
2005
Springer
We introduce a new type of Identity-Based Encryption (IBE) scheme that we call Fuzzy Identity-Based Encryption. In Fuzzy IBE we view an identity as set of descriptive attributes. ...