2722 search results - page 199 / 545 » The Model Evolution Calculus |
129
click to vote
JLP
2010
14 years 10 months ago
2010
The work presented here investigates the combination of Kleene algebra with the synchrony model of concurrency from Milner's SCCS calculus. The resulting algebraic structure ...
105
click to vote
GECCO
2005
Springer
15 years 8 months ago
2005
Springer
This paper proposes a novel technique for a program evolution based on probabilistic models. In the proposed method, two probabilistic distribution models with probabilistic depen...
120
click to vote
CSL
2007
Springer
15 years 9 months ago
2007
Springer
A game semantics of the (−−∗, →)-fragment of the logic of bunched implications, BI, is presented. To date, categorical models of BI have been restricted to two kinds: funct...
115
click to vote
B
2007
Springer
15 years 9 months ago
2007
Springer
Following a brief discussion of uniprocessor scheduling in which we argue the case for formal analysis, we describe a distributed Event B model of interrupt driven scheduling. We ï...
137
click to vote
TACAS
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. Failing model checking runs should be accompanied by appropriate error diagnosis information that allows the user to identify the cause of the problem. For branching time...