177 search results - page 12 / 36 » Biomodel Engineering - From Structure to Behavior |
102
Voted
WCRE
2002
IEEE
15 years 8 months ago
2002
IEEE
Dynamic program visualization, i.e. the visualization of the runtime behavior of a program as opposed to the static structure of its source code has been investigated for various ...
168
Voted
TCOS
2008
15 years 3 months ago
2008
Denotational mathematics is a category of expressive mathematical structures that deals with high-level mathematical entities beyond numbers and sets, such as abstract objects, com...
125
Voted
ICST
2010
IEEE
15 years 2 months ago
2010
IEEE
Abstract—In this paper we introduce Timed Moore Automata, a specification formalism which is used in industrial train control applications for specifying the real-time behavior ...
129
Voted
EDUTAINMENT
2007
Springer
15 years 9 months ago
2007
Springer
Learning to build and test virtual reality (VR) systems is difficult due to the many required knowledge (e.g. computer graphics, sound processing, simulation, interaction, etc.) an...
143
Voted
IWPSE
2010
IEEE
15 years 1 months ago
2010
IEEE
We describe our experiences with the process of designing a domain-specific language (DSL) and corresponding model transformations. The simultaneous development of the language an...