10072 search results - page 146 / 2015 » Composition of Model Programs |
157
click to vote
ATVA
2008
Springer
15 years 7 months ago
2008
Springer
We present a compositional method for the verification of component-based systems described in a subset of the BIP language encompassing multi-party interaction without data transf...
149
click to vote
AIPS
2006
15 years 6 months ago
2006
While a lot of work has been done on the problem of the automated generation of plans that compose web services, the problem of monitoring their execution has still to be investig...
141
click to vote
COMPSAC
2002
IEEE
15 years 10 months ago
2002
IEEE
The coordination paradigm has been used extensively as a mechanism for software composition and integration. Consequently, a number of associated models and languages have been pr...
191
click to vote
JSC
2010
14 years 12 months ago
2010
A uniform verification problem for parameterized systems is to determine whether a temporal property is satisfied for every instance of the system which is composed of an arbitrar...
148
click to vote
SARA
2009
Springer
15 years 11 months ago
2009
Springer
Equidistant Frequency Permutation Arrays are combinatorial objects of interest in coding theory. A frequency permutation array is a type of constant composition code in which each...