790 search results - page 25 / 158 » Abstract modeling for engineering and engagement level simul... |
ASWEC
2010
IEEE
13 years 7 months ago
2010
IEEE
—Formal models are often used to verify systems and prove their correctness, and ensure that transformed models remain consistent to the original system. However, formal techniqu...
SIGCSE
2006
ACM
14 years 1 months ago
2006
ACM
Undergraduate students who perform research benefit greatly from the experience, yet achieving high levels of voluntary participation remains an elusive goal. This paper describes...
UML
2005
Springer
14 years 1 months ago
2005
Springer
Use cases have achieved wide use as specification tools for systems observable behavior, but there still remains a large gap between specifying behavior and determining the softwar...
FUNGAMES
2008
13 years 8 months ago
2008
Abstract. Rotational dynamic system models can be used to enrich tightlycoupled embodied control of movement-sensitive mobile devices, and support a more bidirectional, negotiated ...
CORR
2010
Springer
13 years 7 months ago
2010
Springer
Models to understand the impact of management practices on retail performance are often simplistic and assume low levels of noise and linearity. Of course, in real-life, retail op...