9931 search results - page 357 / 1987 » Generative Modeling by PRISM |
222
click to vote
MDAFA
2004
Springer
16 years 12 days ago
2004
Springer
MDA software development requires the interoperability of a wide range of modelling services (operations taking models as inputs and outputs), such as model edition, model transfor...
192
Voted
ICRA
2003
IEEE
16 years 9 days ago
2003
IEEE
This paper describes recent developments on the model identification and attitude control system for a Micmmechanical Flying lnsect (MFI). We include recently developed dynamical m...
160
click to vote
CSE
2009
IEEE
16 years 1 months ago
2009
IEEE
– The role of serious games in validating computational sociocultural models is described. To accomplish this, we show the role of a cognitive engine in generating behaviors for ...
138
click to vote
PG
2003
IEEE
16 years 9 days ago
2003
IEEE
In this paper, we present a physics motivated modeling method for volcanic clouds as a two fluids model. Some previous methods model smoke or clouds as one fluid, but the volcan...
194
click to vote
JOT
2008
15 years 7 months ago
2008
We present, in this paper, a framework supporting a formal verification of concurrent UML models using the Maude language. We consider both static and dynamic features of concurre...