6040 search results - page 620 / 1208 » Generating Instance Models from Meta Models |
165
click to vote
QSIC
2003
IEEE
16 years 13 days ago
2003
IEEE
The Abstract State Machine Language supports use-case oriented modeling in a faithful way. In this paper we discuss how the AsmL test tool, a new component of the AsmL tool environ...
182
click to vote
SPIN
1999
Springer
15 years 11 months ago
1999
Springer
One of the difficulties of using model checkers “in the large” is the management of all (generated) data during the validation trajectory. It is important that the results obta...
150
click to vote
NIPS
2003
15 years 8 months ago
2003
This paper addresses the problem of untangling hidden graphs from a set of noisy detections of undirected edges. We present a model of the generation of the observed graph that in...
193
click to vote
WSC
1998
15 years 8 months ago
1998
This paper presents the application of real-time simulation to assign due dates on logistic-manufacturing networks. Information from the manufacturing, transportation, and supplie...
197
click to vote
ICASSP
2011
IEEE
14 years 11 months ago
2011
IEEE
Image based rendering is an attractive alternative for generating novel views compared to model based rendering due to its lower complexity and potential for photo-realistic resul...