9305 search results - page 356 / 1861 » Modeling Blog Dynamics |
183
click to vote
SYNASC
2005
IEEE
16 years 10 days ago
2005
IEEE
Business process modeling is an important phase during requirements collection. Usually functional, dynamic and role models are needed. We propose to integrate Role Activity Diagr...
156
click to vote
TCS
1998
15 years 6 months ago
1998
This paper presents algorithms and lower bounds for several fundamental problems on the Exclusive Read, Concurrent Write Parallel Random Access Machine (ERCW PRAM) and some result...
142
click to vote
SIGPRO
2002
15 years 6 months ago
2002
Dynamic image analysis requires the estimation of time-varying model parameters (e.g., shape coe cients). This can be11 seen as states of a dynamic model which are restricted to a...
185
click to vote
ICRA
2003
IEEE
16 years 1 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...
167
click to vote
FMOODS
2007
15 years 8 months ago
2007
We present the first tool that offers dynamic verification of extended traints on UML models. It translates a UML model into an Abstract State (ASM) which is transformed by an AS...