2722 search results - page 177 / 545 » The Model Evolution Calculus |
114
click to vote
ICAIL
2007
ACM
15 years 6 months ago
2007
ACM
Argumentation is modelled as a game where the payoffs are measured in terms of the probability that the claimed conclusion is, or is not, defeasibly provable, given a history of a...
ICFEM
1997
Springer
15 years 6 months ago
1997
Springer
A calculus is presented for the stepwise refinement of abstract information flow architectures. We give a mathematical model for information flow components based on relations bet...
118
click to vote
COORDINATION
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. Service oriented applications feature interactions among several participants over the network. Mechanisms such as correlation sets and two-party sessions have been propo...
109
Voted
JFP
2006
15 years 2 months ago
2006
We investigate a technique from the literature, called the phantom-types technique, that uses parametric polymorphism, type constraints, and unification of polymorphic types to mo...
114
click to vote
ENTCS
2007
15 years 2 months ago
2007
When modelling cryto-protocols by means of process calculi which express both nondeterministic and probabilistic behavior, it is customary to view the scheduler as an intruder. It...