6040 search results - page 224 / 1208 » Generating Instance Models from Meta Models |
ITS
2010
Springer
14 years 3 months ago
2010
Springer
In a tutoring system based on an exploratory environment, it is also important to provide direct guidance to students. We endowed iList, our linked list tutor, with the ability to ...
AOSE
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. One of the most critical problems in software maintenance and evolution is propagating changes. Although many approaches have been proposed, automated change propagation ...
GMP
2010
IEEE
13 years 10 months ago
2010
IEEE
Abstract. Riemann surfaces naturally appear in the analysis of complex functions that are branched over the complex plane. However, they usually possess a complicated topology and ...
FMCO
2006
Springer
14 years 2 months ago
2006
Springer
Abstract. In component-based development, the correctness of a system depends on the correctness of the individual components and on their interactions. Model-based testing is a wa...
ICRA
2007
IEEE
14 years 5 months ago
2007
IEEE
— In [17] we proposed an RL framework for control of flapping-wing MAVs. The algorithm has been discussed and simulation results using a quasi-steady model showed initial promis...