2407 search results - page 131 / 482 » A Tool for Abstraction in Model Checking |
169
click to vote
MODELS
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Modelling languages and thus their metamodels are subject to change. When a metamodel evolves, existing models may no longer conform to the evolved metamodel. To avoid re...
176
click to vote
AMAST
2004
Springer
16 years 8 days ago
2004
Springer
Abstract. Software applications are inevitably concerned with data integrity, whether the data is stored in a database, files, or program memory. An integrity guard is code execut...
172
click to vote
SAMOS
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Contemporary SoC designs ask for system-level debugging tools suitable to heterogeneous platforms. Such tools will have to rely on some low-level model-driven debugging e...
194
click to vote
BPM
2009
Springer
15 years 8 months ago
2009
Springer
This tool demonstration presents an extension of the ARIS Business Architect in order to better cope with the high variability of business process models in practice. This extensio...
159
click to vote
SCALESPACE
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. In recent years, the use of multimedia content has experienced an exponential growth. In this context, the need of new image/video sequence representation is becoming a n...