Sciweavers

1454 search results - page 4 / 291
» Stateful traits and their formalization
Sort
View
81
Voted
FMCO
2008
Springer
120views Formal Methods» more  FMCO 2008»
15 years 3 months ago
Abstract Interpretation of Symbolic Execution with Explicit State Updates
Richard Bubel, Reiner Hähnle, Benjamin Wei&sz...
126
Voted
ATAL
2008
Springer
15 years 3 months ago
Simulation of individual spontaneous reactive behavior
The context of this work is the search for realism and believability of Virtual Humans. Our contribution to achieve this goal is to enable Virtual Humans (VH) to react to spontane...
Alejandra García-Rojas, Mario Gutiér...
104
Voted
ECBS
2000
IEEE
115views Hardware» more  ECBS 2000»
15 years 6 months ago
Discrete Event System Specification (DEVS) and StateMate StateCharts Equivalence for Embedded Systems Modeling
Recently, modeling has received a lot of attention in the design of embedded computing systems. StateCharts is one of the modeling specifications which has been successfully imple...
Stephan Schulz II, T. C. Ewing, Jerzy W. Rozenblit