4187 search results - page 125 / 838 » A Taxonomy of Model Transformation |
129
click to vote
CORR
2008
Springer
15 years 4 months ago
2008
Springer
This paper offers several contributions for separation of duty (SoD) administration in role-based access control (RBAC) systems. We first introduce a new formal framework, based o...
138
click to vote
EDOC
2005
IEEE
15 years 9 months ago
2005
IEEE
In model driven development (MDD), specifying transformations between models at various levels of ion can be a complex task. Specifying transformations for pervasive system featur...
145
click to vote
VMCAI
2010
Springer
16 years 1 months ago
2010
Springer
This paper investigates relative precision and optimality of analyses for concurrent probabilistic systems. Aiming at the problem at the heart of probabilistic model checking ? com...
136
click to vote
ISLPED
1995
ACM
15 years 7 months ago
1995
ACM
In this paper we present a novel approach to model the search space for optimal set data types in network component realisations. The main objective is to arrive at power efficie...
156
click to vote
DEXAW
2010
IEEE
15 years 5 months ago
2010
IEEE
Automatic generation of taxonomies can be useful for a wide area of applications. In our application scenario a topical hierarchy should be constructed reasonably fast from a large...