2374 search results - page 58 / 475 » Automatic Generation of Model Translations |
130
click to vote
CAISE
2009
Springer
15 years 8 months ago
2009
Springer
Mapping specification has been recognised as a critical bottleneck to the large scale deployment of data integration systems. A mapping is a description using which data structured...
164
click to vote
ISQED
2002
IEEE
15 years 9 months ago
2002
IEEE
The paper addresses the issue of microprocessor and microcontroller testing, and follows an approach based on the generation of a test program. The proposed method relies on two p...
136
click to vote
ICST
2008
IEEE
15 years 10 months ago
2008
IEEE
In this paper, we deal with coverage criteria for boundary testing. We focus on the automatic generation of boundary tests based on OCL expressions and evaluate the quality of the...
135
Voted
TACAS
2000
Springer
15 years 7 months ago
2000
Springer
Conformance testing is still the main industrial validation technique for telecommunication protocols. The automatic construction of test cases based on the model approach is hinde...
167
click to vote
UAI
2007
15 years 5 months ago
2007
This paper introduces decision-theoretic planning techniques into automatic music generation. Markov decision processes (MDPs) are a mathematical model of planning under uncertain...