Search Sciweavers | Sciweavers

2467 search results - page 108 / 494

» Finite State Machines

139

click to vote

OSDI
2008
ACM

173views Operating System» more OSDI 2008»

SALSA: Analyzing Logs as StAte Machines

16 years 6 months ago

Download www.pdl.cmu.edu

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...

claim paper

Read More »

115

click to vote

SOFSEM
2009
Springer

86views Theoretical Computer Science» more SOFSEM 2009»

Implementing Services by Partial State Machines

16 years 3 months ago

Download www.sofsem.cz

Walter Dosch, Annette Stümpel

claim paper

Read More »

209

click to vote

FM
2009
Springer

116views Formal Methods» more FM 2009»

Language and Tool Support for Class and State Machine Refinement in UML-B

16 years 1 months ago

Download eprints.ecs.soton.ac.uk

Mar Yah Said, Michael J. Butler, Colin F. Snook

claim paper

Read More »

147

click to vote

APSCC
2008
IEEE

131views Applied Computing» more APSCC 2008»

Abstract State Machine Models for Basic Service-Oriented Architectures

16 years 29 days ago

Download work.thekirchbergs.info

Markus Kirchberg

claim paper

Read More »

105

click to vote

ICEIS
2008
IEEE

66views Information Technology» more ICEIS 2008»

Semantics and Refinement of Behavior State Machines

16 years 28 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers