878 search results - page 9 / 176 » Interacting Abstract State Machines |
JUCS
2008
14 years 11 months ago
2008
APAL
2005
14 years 11 months ago
2005
SPIN
2000
Springer
15 years 3 months ago
2000
Springer
UIST
2006
ACM
15 years 5 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...
108
click to vote
DAC
1996
ACM
15 years 3 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...