Sciweavers

1488 search results - page 159 / 298
» A Probabilistic Segmentation Scheme
Sort
View
136
Voted
ICDCS
2003
IEEE
15 years 11 months ago
Updates in Highly Unreliable, Replicated Peer-to-Peer Systems
This paper studies the problem of updates in decentralised and self-organising P2P systems in which peers have low online probabilities and only local knowledge. The update strate...
Anwitaman Datta, Manfred Hauswirth, Karl Aberer
ICCAD
1996
IEEE
102views Hardware» more  ICCAD 1996»
15 years 10 months ago
Bit-flipping BIST
A scan-based BIST scheme is presented which guarantees complete fault coverage with very low hardware overhead. A probabilistic analysis shows that the output of an LFSR which fee...
Hans-Joachim Wunderlich, Gundolf Kiefer
IJCAI
2003
15 years 7 months ago
A Comparison of String Distance Metrics for Name-Matching Tasks
Using an open-source, Java toolkit of name-matching methods, we experimentally compare string distance metrics on the task of matching entity names. We investigate a number of dif...
William W. Cohen, Pradeep D. Ravikumar, Stephen E....
TARK
2007
Springer
16 years 8 days ago
Preservation of epistemic properties in security protocol implementations
We introduce (i) a general class of security protocols with private channel as cryptographic primitive and (ii) a probabilistic epistemic logic to express properties of security pr...
Ron van der Meyden, Thomas Wilke
CSFW
2005
IEEE
15 years 11 months ago
Computational and Information-Theoretic Soundness and Completeness of Formal Encryption
We consider expansions of the Abadi-Rogaway logic of indistinguishability of formal cryptographic expressions. We expand the logic in order to cover cases when partial information...
Pedro Adão, Gergei Bana, Andre Scedrov