Sciweavers

2346 search results - page 44 / 470
» Hierarchical State Machines
Sort
View
OSDI
2008
ACM
14 years 7 months ago
SALSA: Analyzing Logs as StAte Machines
SALSA examines system logs to derive state-machine views of the sytem's execution, along with control-flow, data-flow models and related statistics. Exploiting SALSA's d...
Jiaqi Tan, Xinghao Pan, Soila Kavulya, Rajeev Gand...
SOFSEM
2009
Springer
14 years 4 months ago
Implementing Services by Partial State Machines
Walter Dosch, Annette Stümpel
FM
2009
Springer
116views Formal Methods» more  FM 2009»
14 years 2 months ago
Language and Tool Support for Class and State Machine Refinement in UML-B
Mar Yah Said, Michael J. Butler, Colin F. Snook