346 search results - page 38 / 70 » Can we trust docking results |
ECIS
2000
13 years 9 months ago
2000
- Globalization of financial markets resulting from both IT (particularly internet standards) and increasing homogeneity of regulation has strongly affected the environment, financ...
ENTCS
2008
13 years 7 months ago
2008
RZ is a tool which translates axiomatizations of mathematical structures to program specifications using the realizability interpretation of logic. This helps programmers correctl...
CORR
2006
Springer
13 years 7 months ago
2006
Springer
We consider a type of zero-knowledge protocols that are of interest for their practical applications within networks like the Internet: efficient zero-knowledge arguments of knowl...
FSTTCS
2009
Springer
14 years 2 months ago
2009
Springer
We present a symbolic framework for refinement and composition of security protocols. ework uses the notion of ideal functionalities. These are abstract systems which are secure b...
FLAIRS
2009
13 years 5 months ago
2009
Belief revision always results in trusting new evidence, so it may admit an unreliable one and discard a more confident one. We therefore use belief change instead of belief revis...