9931 search results - page 357 / 1987 » Generative Modeling by PRISM |
214
click to vote
MDAFA
2004
Springer
16 years 1 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...
183
click to vote
ICRA
2003
IEEE
15 years 12 months 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...
152
Voted
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 ...
133
click to vote
PG
2003
IEEE
15 years 12 months 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...
181
click to vote
JOT
2008
15 years 6 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...