Sciweavers

2346 search results - page 19 / 470
» Hierarchical State Machines
Sort
View
MODELS
2009
Springer
14 years 2 months ago
HiLA: High-Level Aspects for UML State Machines
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...
Gefei Zhang, Matthias M. Hölzl
WCE
2007
13 years 8 months ago
Automatic State Machine Induction for String Recognition
—One problem of generating a model to recognize any string is how to generate one that is generalized enough to accept strings with similar patterns and, at the same time, is spe...
Boontee Kruatrachue, Nattachat Pantrakarn, Kritawa...
VL
1995
IEEE
158views Visual Languages» more  VL 1995»
13 years 11 months ago
DiaGen: A Generator for Diagram Editors Providing Direct Manipulation and Execution of Diagrams
Diagrams (e.g., flowcharts, trees for hierarchical structures, or graphs for finite state machines) are often needed as part of visual language systems and advanced user interfa...
Mark Minas, Gerhard Viehstaedt
AAAI
2010
13 years 9 months ago
Finite-State Controllers Based on Mealy Machines for Centralized and Decentralized POMDPs
Existing controller-based approaches for centralized and decentralized POMDPs are based on automata with output known as Moore machines. In this paper, we show that several advant...
Christopher Amato, Blai Bonet, Shlomo Zilberstein
ASM
2005
ASM
14 years 1 months ago
State Exploration with Multiple State Groupings
Abstract. Exploration algorithms are relevant to the industrial practice of gentest cases from an abstract state machine whose runs define the predicted behavior of the software s...
Colin Campbell, Margus Veanes