4150 search results - page 143 / 830 » A Practical Approach to Model Extension |
117
Voted
TCOM
2008
15 years 3 months ago
2008
The study of Joint Source-Channel Coding (JSCC) systems faces one major challenge in obtaining an analytical expression for the function that links end-to-end distortion with chann...
110
click to vote
LICS
2006
IEEE
15 years 9 months ago
2006
IEEE
Automata on infinite objects are extensively used in system specification, verification, and synthesis. While some applications of the automata-theoretic approach have been wel...
132
click to vote
OPODIS
2007
15 years 5 months ago
2007
We present a novel translation of systems that are tolerant of crash failures to systems that are tolerant of Byzantine failures in an asynchronous environment, making weaker assum...
114
click to vote
BPM
2007
Springer
15 years 10 months ago
2007
Springer
Organizational processes in general and patient-care processes in particular, change over time. This may be in response to situations unpredicted by a predefined business process m...
119
Voted
MDAFA
2004
Springer
15 years 9 months ago
2004
Springer
Model transformations are the core of the MDA approach to software development. As specified by the OMG, model transformations should act on any kind of model of any kind of metamo...