2374 search results - page 154 / 475 » Automatic Generation of Model Translations |
186
click to vote
APSEC
2006
IEEE
16 years 17 days ago
2006
IEEE
Model-based software development is gaining interest in domains such as avionics, space, and automotives. The model serves as the central artifact for the development efforts (suc...
166
click to vote
ICSE
2003
IEEE-ACM
15 years 11 months ago
2003
IEEE-ACM
This paper presents a model checking-based approach to data flow testing. We characterize data flow oriented coverage criteria in temporal logic such that the problem of test ge...
170
click to vote
GECCO
2005
Springer
16 years 17 hour ago
2005
Springer
The efficient and effective generation of test-data from high-level models is of crucial importance in advanced modern software engineering. Empirical studies have shown that muta...
168
click to vote
CGF
2000
15 years 6 months ago
2000
When articulated figures interact in a 3D environment, collisions are highly likely and must often be avoided. We present a method automatically producing realistic collision-free...
155
click to vote
INTERSPEECH
2010
15 years 1 months ago
2010
Update of acoustic and language models is vital to maintain performance of automatic speech recognition (ASR) systems. To alleviate efforts for updating models, we propose a "...