10790 search results - page 288 / 2158 » Using feature models to automate model transformations |
170
click to vote
ER
2007
Springer
16 years 27 days ago
2007
Springer
The goal of this article is to formalize Object Role Modeling (ORM) using the DLR description logic. This would enable automated reasoning on the formal properties of ORM diagrams,...
224
click to vote
QEST
2010
IEEE
15 years 4 months ago
2010
IEEE
We consider Markov Decision Processes (MDPs) as transformers on probability distributions, where with respect to a scheduler that resolves nondeterminism, the MDP can be seen as ex...
150
Voted
PADS
1996
ACM
15 years 11 months ago
1996
ACM
One of the promises of parallelized discrete-event simulation is that it might provide significant speedups over sequential simulation. In reality, high performance cannot be achi...
181
click to vote
DELOS
2000
15 years 8 months ago
2000
User feedback has proven very successful to query large multimedia databases. Due to the nature of the data representation and the mismatch between mathematical models and human p...
195
click to vote
CSFW
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract. We present aspier – the first framework that combines software model checking with a standard protocol security model to analyze authentication and secrecy properties ...