1753 search results - page 4 / 351 » State Machines |
154
click to vote
ASM
2005
ASM
15 years 11 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...
157
Voted
ASWEC
2007
IEEE
15 years 12 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...
167
click to vote
MODELS
2009
Springer
16 years 3 days 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...