287 search results - page 8 / 58 » Mixed Strand Spaces |
WKDD
2010
CPS
14 years 3 months ago
2010
CPS
—A multi-party contract signing (MPCS) protocol allows a set of parties to exchange messages with each other to reach a state in which either each of them has a pre-agreed contra...
ENTCS
2007
13 years 8 months ago
2007
In this paper we develop a framework, based on strand spaces, for reasoning about cryptographic protocols and characterizing their executions. We define skeletons, homomorphisms,...
STACS
2009
Springer
14 years 3 months ago
2009
Springer
We extend the notion of randomness (in the version introduced by Schnorr) to computable Probability Spaces and compare it to a dynamical notion of randomness: typicality. Roughly, ...
CORR
2006
Springer
13 years 8 months ago
2006
Springer
Competitive on-line prediction (also known as universal prediction of individual sequences) is a strand of learning theory avoiding making any stochastic assumptions about the way...
DARE
2000
13 years 10 months ago
2000
Our work in the field of mixed reality has been concerned with the development of the mixed reality boundary approach. In contrast to other approaches that focus on superimposing ...