1753 search results - page 4 / 351 » State Machines |
136
Voted
ICML
2006
IEEE
16 years 4 months ago
2006
IEEE
131
Voted
ASM
2005
ASM
15 years 9 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...
129
click to vote
ASWEC
2007
IEEE
15 years 10 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...
144
Voted
MODELS
2009
Springer
15 years 10 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...