5525 search results - page 403 / 1105 » Verification of Model Transformations |
217
click to vote
MDAFA
2004
Springer
16 years 8 days ago
2004
Springer
MDA software development requires the interoperability of a wide range of modelling services (operations taking models as inputs and outputs), such as model edition, model transfor...
185
click to vote
BPM
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. The IBM Pattern-based Process Model Accelerators add a set of patterns, transformations, refactoring operations, and a control-flow analysis feature to IBM WebSphere Busi...
178
click to vote
ESORICS
2009
Springer
16 years 7 months ago
2009
Springer
Accountability mechanisms, which rely on after-the-fact verification, are an attractive means to enforce authorization policies. In this paper, we describe an operational model of ...
190
click to vote
ICASSP
2009
IEEE
16 years 1 months ago
2009
IEEE
The SRI speaker recognition system for the 2008 NIST speaker recognition evaluation (SRE) incorporates a variety of models and features, both cepstral and stylistic. We highlight ...
149
click to vote
SIGIR
2009
ACM
16 years 1 months ago
2009
ACM
Topics form a crucial component of a test collection. We show, through visualization, that the INEX 2008 topics have shortcomings, which questions their validity for evaluating XM...