2317 search results - page 230 / 464 » DMVIS: Design, Modelling and Validation of Interactive Syste... |
117
click to vote
LCTRTS
2004
Springer
15 years 9 months ago
2004
Springer
We present a polynomial upper bound for flattening of UML statecharts. An efficient flattening technique is derived and implemented in SCOPE—a code generator targeting constra...
146
click to vote
WSC
2008
15 years 6 months ago
2008
Lecturing a Discrete Event Simulation course implies some challenges for the instructors. These challenges implies taking decisions from the design of the course to the selection ...
143
click to vote
ISBRA
2010
Springer
15 years 11 months ago
2010
Springer
Biological research is becoming increasingly complex and data-rich, with multiple public databases providing a variety of resources: hundreds of thousands of substances and interac...
144
click to vote
DFG
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Today's manufacturing industry demands flexible and decentralized production control systems to avoid hours of down time of the production line in case of a failure ...
122
click to vote
IROS
2007
IEEE
15 years 10 months ago
2007
IEEE
Abstract— Localization and wheel slip estimation of a skidsteered mobile robot is challenging because of the complex wheel/ground interactions and kinematics constraints. In this...