5525 search results - page 276 / 1105 » Verification of Model Transformations |
201
Voted
DILS
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. Ecologists spend considerable effort integrating heterogeneous data for statistical analyses and simulations, for example, to run and test predictive models. Our research...
139
Voted
CAISE
2006
Springer
15 years 8 months ago
2006
Springer
Static function hierarchies and models of the dynamic behaviour are typically used in e-commerce systems. Issues to be verifies are the completeness and correctness of the static f...
137
Voted
CAISE
2006
Springer
15 years 7 months ago
2006
Springer
The EDEMOI project aims to model standards that regulate airport security. It involves the production of a UML model, to support the validation activity, and a formal model for ver...
147
click to vote
CAV
2006
Springer
15 years 8 months ago
2006
Springer
We present an approach for applying symmetry reduction techniques to probabilistic model checking, a formal verification method for the quantitative analysis of systems with stocha...
147
click to vote
FM
2008
Springer
15 years 6 months ago
2008
Springer
TLM (Transaction-Level Modeling) was introduced to cope with the increasing complexity of Systems-on-Chip designs by raising the modeling level. Currently, TLM is primarily used fo...