878 search results - page 9 / 176 » Interacting Abstract State Machines |
56
Voted
JUCS
2008
15 years 1 months ago
2008
65
Voted
APAL
2005
15 years 1 months ago
2005
SPIN
2000
Springer
15 years 5 months ago
2000
Springer
102
click to vote
UIST
2006
ACM
15 years 7 months ago
2006
ACM
This article describes SwingStates, a library that adds state machines to the Java Swing user interface toolkit. Unlike traditional approaches, which use callbacks or listeners to...
127
Voted
DAC
1996
ACM
15 years 6 months ago
1996
ACM
Abstract-- This paper proposes a state reduction algorithm for incompletely specified FSMs. The algorithm is based on iterative improvements. When the number of compatibles is like...