5084 search results - page 433 / 1017 » Proving Possibility Properties |
189
click to vote
COCOON
2007
Springer
16 years 1 months ago
2007
Springer
Given an RNA family characterized by conserved sequences and folding constraints, the problem is to search for all the instances of the RNA family in a genomic database. As seed-ba...
153
click to vote
COCOON
2007
Springer
16 years 1 months ago
2007
Springer
We investigate the problem of finding an unknown cut through querying vertices of a graph G. Our complexity measure is the number of submitted queries. To avoid some worst cases, ...
157
click to vote
ESORICS
2007
Springer
16 years 1 months ago
2007
Springer
Protocol participants manipulate values, transforming the cryptographic contexts in which they occur. The rules of the protocol determine which transformations are permitted. We fo...
175
click to vote
FC
2007
Springer
16 years 1 months ago
2007
Springer
We propose an economic approach to Sybil attack detection. In our Informant protocol, a detective offers a reward for Sybils to reveal themselves. The detective accepts from one i...
160
click to vote
FSTTCS
2007
Springer
16 years 1 months ago
2007
Springer
Security protocols are small programs that are executed in hostile environments. Many results and tools have been developed to formally analyze the security of a protocol. However ...