3888 search results - page 183 / 778 » Change-Driven Model Transformations |
131
click to vote
SAS
2007
Springer
15 years 11 months ago
2007
Springer
Denotational static analysis of Java bytecode has a nice and clean compositional definition and an efficient implementation with binary decision diagrams. But it models only the f...
136
click to vote
ICASSP
2011
IEEE
14 years 8 months ago
2011
IEEE
Feature-space transforms such as feature-space maximum likelihood linear regression (FMLLR) are very effective speaker adaptation technique, especially on mismatched test data. In...
130
click to vote
SPLC
2008
15 years 6 months ago
2008
Model-driven development (MDD) shifts the development focus from code to models, allowing automatic or assisted transformations that are able to generate more refined, detailed or...
145
Voted
IJCAI
2003
15 years 6 months ago
2003
With the proliferation of heterogeneous devices (desktop computers, personal digital assistants, phones), multimedia documents must be played under various constraints (small scre...
133
click to vote
ESORICS
2010
Springer
15 years 6 months ago
2010
Springer
This paper presents a theory of runtime enforcement based on mechanism models called MRAs (Mandatory Results Automata). MRAs can monitor and transform security-relevant actions and...