9730 search results - page 162 / 1946 » Relating models of backtracking |
98
Voted
EUROCRYPT
2005
Springer
15 years 9 months ago
2005
Springer
This paper introduces the related-key boomerang and the related-key rectangle attacks. These new attacks can expand the cryptanalytic toolbox, and can be applied to many block ciph...
123
click to vote
BIRTHDAY
2003
Springer
15 years 9 months ago
2003
Springer
Equivalence between designs is a fundamental notion in verification. The linear and branching approaches to verification induce different notions of equivalence. When the designs...
125
click to vote
CAISE
2003
Springer
15 years 9 months ago
2003
Springer
In a selective information dissemination (SDI) system, users submit profiles consisting of a number of long-standing queries to represent their information needs. The system then c...
121
click to vote
FMCO
2008
Springer
15 years 5 months ago
2008
Springer
The Bytecode Modeling Language (BML) is a specication for Java bytecode, that provides a high level of abstraction, while not restricting the format of the bytecode. Notably, BML s...
137
Voted
TREC
2008
15 years 5 months ago
2008
PageRank is a way to rank Web pages taking into account hyper-link structure of the Web. PageRank provides efficient and simple method to find out ranking of Web pages exploiting ...