2315 search results - page 222 / 463 » Does EigenPalm work |
113
click to vote
SACRYPT
2005
Springer
15 years 11 months ago
2005
Springer
This paper describes an adaptive-chosen-ciphertext attack on the Cipher Feedback (CFB) mode of encryption as used in OpenPGP. In most circumstances it will allow an attacker to det...
172
click to vote
SAT
2005
Springer
15 years 11 months ago
2005
Springer
An important extension of satisfiability testing is model-counting, a task that corresponds to problems such as probabilistic reasoning and computing the permanent of a Boolean ma...
147
click to vote
SSS
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. A snap-stabilizing protocol, starting from any arbitrary initial configuration, always behaves according to its specification. In [4], we presented the first snap-stab...
160
click to vote
TARK
2005
Springer
15 years 11 months ago
2005
Springer
: Two difficult issues for the logic of knowledge have been logical omniscience and common knowledge. Our existing logics of knowledge based on Kripke structures seem to justify lo...
132
click to vote
VLDB
2005
ACM
15 years 11 months ago
2005
ACM
Prior work on computing queries from materialized views has focused on views defined by expressions consisting of selection, projection, and inner joins, with an optional aggrega...