1796 search results - page 163 / 360 » An Approach to Compositional Model Checking |
JIB
2007
13 years 10 months ago
2007
The creation of quantitative, simulatable, Systems Biology Markup Language (SBML) models that accurately simulate the system under study is a time-intensive manual process that re...
TGC
2005
Springer
14 years 4 months ago
2005
Springer
The Model-Driven Architecture (MDA) technology toolset includes a language for describing the structure of meta-data, the MOF, and a language for describing consistency properties ...
VLDB
2005
ACM
14 years 4 months ago
2005
ACM
SQL extensions that allow queries to explicitly specify data quality requirements in terms of currency and consistency were proposed in an earlier paper. This paper develops a dat...
RE
1999
Springer
14 years 3 months ago
1999
Springer
This paper describes a feasibility study into the use of a formal requirements modeling method (SCR) to assist with Independent Verification and Validation of change requests for ...
ISDA
2009
IEEE
14 years 5 months ago
2009
IEEE
Educational process mining (EPM) aims at (i) constructing complete and compact educational process models that are able to reproduce all observed behavior (process model discovery...