2558 search results - page 100 / 512 » Model Composition Contracts |
100
click to vote
MFCS
2009
Springer
15 years 10 months ago
2009
Springer
We define a framework called the prismoid of resources where each vertex refines the λ-calculus by using a different choice to make explicit or implicit (meta-level) the defin...
123
click to vote
BIB
2007
15 years 4 months ago
2007
An overview is presented of the construction and use of algebraic partition functions to represent the equilibrium statistical mechanics of multimolecular complexes and their acti...
160
click to vote
SOSYM
2010
15 years 2 months ago
2010
Model driven development (MDD) of software product lines (SPLs) merges two increasing important paradigms that synthesize programs by transformation. MDD creates programs by transf...
174
Voted
FORTE
2009
15 years 1 months ago
2009
We present a strategy for model-checking the correctness of service composition. We do so in the context of SRML, a formal modelling framework for service-oriented computing being ...
127
click to vote
ENTCS
2008
15 years 4 months ago
2008
The notion of branching bisimulation for the alternating model of probabilistic systems is not a congruence with respect to parallel composition. In this paper we first define ano...