Sciweavers

2346 search results - page 44 / 470
» Hierarchical State Machines
Sort
View
95
Voted
OSDI
2008
ACM
16 years 2 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...
63
Voted
SOFSEM
2009
Springer
15 years 10 months ago
Implementing Services by Partial State Machines
Walter Dosch, Annette Stümpel
57
Voted
ATAL
2009
Springer
15 years 8 months ago
Online and onboard evolution of robotic behavior using finite state machines
Lukas König, Sanaz Mostaghim, Hartmut Schmeck
FM
2009
Springer
116views Formal Methods» more  FM 2009»
15 years 8 months ago
Language and Tool Support for Class and State Machine Refinement in UML-B
Mar Yah Said, Michael J. Butler, Colin F. Snook