6800 search results - page 851 / 1360 » Testing with Functions as Specifications |
188
click to vote
SP
2006
IEEE
16 years 28 days ago
2006
IEEE
We present a new mechanized prover for secrecy properties of security protocols. In contrast to most previous provers, our tool does not rely on the Dolev-Yao model, but on the co...
176
click to vote
ADMA
2006
Springer
16 years 28 days ago
2006
Springer
We propose a new algorithm called SCD for learning the structure of a Bayesian network. The algorithm is a kind of constraintbased algorithm. By taking advantage of variable orderi...
157
click to vote
CIBCB
2005
IEEE
16 years 17 days ago
2005
IEEE
— PTS1 proteins are peroxisomal matrix proteins that have a well conserved targeting motif at the C-terminal end. However, this motif is present in many non peroxisomal proteins ...
160
click to vote
CSB
2005
IEEE
16 years 17 days ago
2005
IEEE
We present TreeRefiner, a tool for refining multiple alignments of biological sequences. Given a multiple alignment, a phylogenetic tree, and scoring parameters as input, TreeRefi...
169
click to vote
DATE
2005
IEEE
16 years 17 days ago
2005
IEEE
In this paper, we present power emulation, a novel design paradigm that utilizes hardware acceleration for the purpose of fast power estimation. Power emulation is based on the ob...