Sciweavers

1454 search results - page 4 / 291
» Stateful traits and their formalization
Sort
View
FMCO
2008
Springer
120views Formal Methods» more  FMCO 2008»
13 years 11 months ago
Abstract Interpretation of Symbolic Execution with Explicit State Updates
Richard Bubel, Reiner Hähnle, Benjamin Wei&sz...
ATAL
2008
Springer
13 years 11 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...
ECBS
2000
IEEE
115views Hardware» more  ECBS 2000»
14 years 2 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