130 search results - page 3 / 26 » Towards Probabilistic Modelling in Event-B |
CICLING
2005
Springer
13 years 10 months ago
2005
Springer
CONCUR
1994
Springer
13 years 9 months ago
1994
Springer
We augment the I/O automaton model of Lynch and Tuttle with probability, as a step toward the ultimate goal of obtaining a useful tool for specifying and reasoning about asynchron...
ECAL
2001
Springer
13 years 9 months ago
2001
Springer
Abstract. Self-replicating structures in cellular automata have been extensively studied in the past as models of Artificial Life. However, CAs, unlike the biological cellular mod...
TCS
2008
13 years 4 months ago
2008
This paper provides one more step towards bridging the gap between the formal and computational approaches to the verification of cryptographic protocols. We extend the well-known ...
GECCO
2008
Springer
13 years 6 months ago
2008
Springer
Probabilistic model building methods can render difficult problems feasible by identifying and exploiting dependencies. They build a probabilistic model from the statistical prope...