1565 search results - page 97 / 313 » An unlikely result |
191
click to vote
TCC
2005
Springer
16 years 10 days ago
2005
Springer
Abstract. We consider the problem of password-authenticated key exchange (PAK) also known as session-key generation using passwords: constructing session-key generation protocols t...
138
click to vote
TCC
2005
Springer
16 years 10 days ago
2005
Springer
Abstract. We initiate a theoretical study of the census problem. Informally, in a census individual respondents give private information to a trusted party (the census bureau), who...
174
click to vote
WABI
2005
Springer
16 years 10 days ago
2005
Springer
We give a new algorithm for the genotype phasing problem. Our solution is based on a hidden Markov model for haplotypes. The model has a uniform structure, unlike most solutions pr...
192
click to vote
ASPDAC
2004
ACM
16 years 9 days ago
2004
ACM
— In many verification tools methods for functional simulation based on reduced ordered Binary Decision Diagrams (BDDs) are used. The evaluation time for a BDD can be crucial an...
143
click to vote
CAISE
2004
Springer
16 years 8 days ago
2004
Springer
Abstract. Piecemeal development and support for organisational processes may lead to problems: first, it is difficult to know which processes should be supported, and, second, it ...