5525 search results - page 120 / 1105 » Verification of Model Transformations |
158
Voted
CIBSE
2009
ACM
15 years 8 months ago
2009
ACM
We present a mechanism to derivate products of Software Product Lines (SPLs) using decision models. Our approach to create SPLs is based on Model Driven Engineering principles. It ...
118
click to vote
WSC
1998
15 years 4 months ago
1998
Verification and validation are two very important steps in simulation modeling. Consequently, they are under constant review and examination from many different perspectives. Res...
139
Voted
DSN
2006
IEEE
15 years 9 months ago
2006
IEEE
—Multithreaded servers with cache-coherent shared memory are the dominant type of machines used to run critical network services and database management systems. To achieve the h...
168
click to vote
CORR
2009
Springer
15 years 1 months ago
2009
Springer
Abstract. We apply Uppaal Tiga to automatically compute adaptive scheduling strategies for an industrial case study dealing with a state-of-the-art image processing pipeline of a p...
164
click to vote
PPOPP
2009
ACM
16 years 3 months ago
2009
ACM
This paper considers the problem of formal verification of MPI programs operating under a fixed test harness for safety properties without building verification models. In our app...