650 search results - page 24 / 130 » Towards automatic model synchronization from model transform... |
IFIP
2004
Springer
14 years 1 months ago
2004
Springer
Ensuring correctness of software by formal methods is a very relevant and widely studied problem. Automatic verification of software using model checkers from the state space exp...
ICASSP
2010
IEEE
13 years 8 months ago
2010
IEEE
Automatic speech recognition (ASR) results contain not only ASR errors, but also disfluencies and colloquial expressions that must be corrected to create readable transcripts. We...
CODES
2010
IEEE
13 years 5 months ago
2010
IEEE
Synchronous Dataflow (SDF) is a powerful analysis tool for regular, cyclic, parallel task graphs. The behaviour of SDF graphs however is static and therefore not always able to ac...
WER
2004
Springer
14 years 1 months ago
2004
Springer
MDA is a software development framework where the core is a set of automatic transformation of models. One of these models, the CIM, is used to define the business process model. T...
ADAEUROPE
2010
Springer
13 years 5 months ago
2010
Springer
Real-Time (RT) systems exhibit specific characteristics that make them particularly sensitive to architectural decissions. Design patterns help integrating the desired timing behav...