1753 search results - page 4 / 351 » State Machines |
ACMIDC
2009
15 years 1 months ago
2009
ICML
2006
IEEE
15 years 10 months ago
2006
IEEE
ASM
2005
ASM
15 years 3 months ago
2005
ASM
State machines are considered a very general means of expressing computations in an implementation-independent way. There are also ways to extend the general state machine framewor...
ASWEC
2007
IEEE
15 years 4 months ago
2007
IEEE
This paper explains some analyses that can be performed on a hierarchical finite state machine to validate that it performs as intended. Such a hierarchical state machine has tra...
MODELS
2009
Springer
15 years 4 months ago
2009
Springer
UML state machines are widely used for modeling software behavior. However state-crosscutting behaviors, such as synchronization or execution history dependence, are hard to model...