3210 search results - page 324 / 642 » Secure Similarity Search |
156
click to vote
AMAST
2004
Springer
16 years 4 days ago
2004
Springer
JavaFAN uses a Maude rewriting logic specification of the JVM semantics as the basis of a software analysis tool with competitive performance. It supports formal analysis of concu...
133
click to vote
PPSN
2004
Springer
16 years 2 days ago
2004
Springer
A radius–based separation of selection and recombination spheres in diffusion model EAs is introduced, enabling a new taxonomy, oriented towards information flow analysis. It a...
167
click to vote
CEC
2003
IEEE
16 years 1 days ago
2003
IEEE
Abstract- The Maximum Homologous Crossover attempts to preserve similar structures from parents by aligning them according to their homology. In this paper, it is successfully test...
146
click to vote
ASIACRYPT
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. Khazad is a new block cipher initially proposed as a candidate to the NESSIE project. Its design is very similar to Rijndael, although it is a 64-bit block cipher. In thi...
185
click to vote
EWCBR
1998
Springer
15 years 11 months ago
1998
Springer
In this paper, we present our case-based browsing advisor for the Web, called BROADWAY. BROADWAY follows a group of users during their navigations and supports an indirect collabor...