10072 search results - page 406 / 2015 » Composition of Model Programs |
183
click to vote
JLP
2011
15 years 1 months ago
2011
The family of domain algebras provide an elegant formal system for automated reasoning about programme verification. Their primary models are algebras of relations, viz. represen...
196
click to vote
LOPSTR
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We present a method based on logic program transformation, for verifying Computation Tree Logic (CTL∗ ) properties of finite state reactive systems. The finite state ...
165
click to vote
WSC
2008
15 years 9 months ago
2008
An SOA-compliant DEVS (SOAD) simulation framework is proposed for modeling service-oriented computing systems. A set of novel abstract component models that conform to the SOA pri...
164
click to vote
DSN
2007
IEEE
16 years 1 months ago
2007
IEEE
The choice of error model used for robustness evaluation of Operating Systems (OSs) influences the evaluation run time, implementation complexity, as well as the evaluation preci...
162
click to vote
APCCM
2007
15 years 8 months ago
2007
A business process may be modeled in different ways by different modelers even when utilizing the same modeling language. An appropriate method for solving ambiguity issues in p...