289 search results - page 9 / 58 » Timed, Distributed, Probabilistic, Typed Processes |
CAV
2001
Springer
14 years 10 days 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...
ENTCS
2008
13 years 8 months ago
2008
Defining operational semantics for a process algebra is often based either on labeled transition systems that account for interaction with a context or on the so-called reduction ...
IJCNN
2008
IEEE
14 years 3 months ago
2008
IEEE
— Probabilistic models were developed to provide predictive distributions of daily maximum surface level ozone concentrations. Five forecast models were compared at two stations ...
AIME
2001
Springer
14 years 1 months ago
2001
Springer
Abstract. Cancer spread is a non-deterministic dynamic process. As a consequence, the design of an assistant system for the diagnosis and prognosis of the extent of a cancer should...
AAAI
2012
11 years 11 months ago
2012
Many noise models do not faithfully reflect the noise processes introduced during data collection in many real-world applications. In particular, we argue that a type of noise re...