2467 search results - page 232 / 494 » Finite State Machines |
182
click to vote
CCECE
2009
IEEE
16 years 1 months ago
2009
IEEE
This paper presents an automata-based approach for analyzing traces generated by the kernel of an operating system. We identified a list of typical patterns of problematic behavi...
176
click to vote
FOSSACS
2007
Springer
16 years 26 days ago
2007
Springer
A web service is modeled here as a finite state machine. A composition problem for web services is to decide if a given web service can be constructed from a given set of web serv...
157
click to vote
DATE
2006
IEEE
16 years 22 days ago
2006
IEEE
State machine based simulation of Boolean functions is substantially faster if the function being simulated is symmetric. Unfortunately function symmetries are comparatively rare....
185
click to vote
ASM
2003
ASM
15 years 12 months ago
2003
ASM
Abstract. We compare three specification frameworks for the operationtics of programming languages, abstract state machines (ASMs) and the two incarnations of natural semantics, b...
138
click to vote
FATES
2003
Springer
15 years 12 months ago
2003
Springer
We present work on a tool environment for model-based testing with the Abstract State Machine Language (AsmL). Our environment supports semiautomatic parameter generation, call seq...