4962 search results - page 778 / 993 » Stochastic Model Checking |
106
click to vote
ICMT
2010
Springer
15 years 7 months ago
2010
Springer
Graph transformation (GT) is being increasingly used in Model Driven Engineering (MDE) to describe in-place transformations like animations and refactorings. For its practical use,...
131
Voted
CONCUR
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. A concurrent Kleene algebra offers, next to choice and iteration, operators for sequential and concurrent composition, related by an inequational form of the exchange la...
132
Voted
TACAS
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. We present a method which computes optimized representations for non-convex polyhedra. Our method detects so-called redundant linear constraints in these representations ...
110
click to vote
FSTTCS
2001
Springer
15 years 6 months ago
2001
Springer
Abstract. This paper studies a recently developed an approach to reasoning about mutable data structures, which uses an assertion language with spatial conjunction and implication ...
115
click to vote
PPDP
2001
Springer
15 years 6 months ago
2001
Springer
We introduce a new system of trust analysis for concurrent and distributed systems using the π-calculus[13, 14, 15] as a modelling tool. A Type system using boolean annotations g...