7918 search results - page 305 / 1584 » Model Composition Directives |
136
click to vote
ENTCS
2007
15 years 4 months ago
2007
This paper promotes compositional reasoning in the context of safety-critical systems, and demonstrates a safety-oriented component model using an application from the automotive ...
136
click to vote
JLP
2011
14 years 11 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...
131
click to vote
WSC
2008
15 years 6 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...
125
click to vote
DSN
2007
IEEE
15 years 11 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...
130
click to vote
APCCM
2007
15 years 6 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...