3495 search results - page 49 / 699 » On the random satisfiable process |
CORR
2010
Springer
13 years 11 months ago
2010
Springer
Abstract. In this paper we work on (bi)simulation semantics of processes that exhibit both nondeterministic and probabilistic behaviour. We propose a probabilistic extension of the...
EUROMED
2010
13 years 8 months ago
2010
Abstract. Scientists and conservators, involved in cultural heritage documentation management, have to furnish not only qualitative but also quantitative description of the assessm...
RSA
1998
13 years 10 months ago
1998
We introduce some generalizations of a nice combinatorial problem, the central notion of which is the so-called Disease Process. Let us color independently each square of an n×n c...
CRYPTO
2011
Springer
12 years 10 months ago
2011
Springer
Abstract. A time-lock puzzle is a mechanism for sending messages “to the future”. The sender publishes a puzzle whose solution is the message to be sent, thus hiding it until e...
CAV
2001
Springer
14 years 2 months ago
2001
Springer
We consider the randomized consensus protocol of Aspnes and Herlihy for achieving agreement among N asynchronous processes that communicate via read/write shared registers. The alg...