984 search results - page 11 / 197 » Experimenting with Multi-Level Models in a Two-Level Modelin... |
145
click to vote
KBSE
2007
IEEE
15 years 9 months ago
2007
IEEE
We describe EUREKA, a symbolic model checker for Linear Programs with arrays, i.e. programs where variables and array elements range over a numeric domain and expressions involve ...
159
click to vote
CAV
2012
Springer
13 years 5 months ago
2012
Springer
Real-life systems are usually hard to control, due to their complicated structures, quantitative time factors and even stochastic behaviors. In this work, we present a model checke...
118
click to vote
DIGRA
2005
Springer
15 years 9 months ago
2005
Springer
This paper presents a gameplay experience model, assesses its potential as a tool for research and presents some directions for future work. The presented model was born from obse...
148
click to vote
VAMOS
2007
Springer
15 years 9 months ago
2007
Springer
Variability modeling is at the heart of product line engineering. Variability models entail features and architectural elements, technical customization aspects, sales and marketi...
126
click to vote
ICWE
2007
Springer
15 years 9 months ago
2007
Springer
: In this work we report our experience in applying model checking techniques to the analysis of static and dynamic properties of Web application models. We propose a mix of tools ...