1916 search results - page 121 / 384 » Reconfiguring a state machine |
SIGCSE
2006
ACM
14 years 1 months ago
2006
ACM
Visualization and interactivity are valuable active learning techniques that can improve mastery of difficult concepts. In this paper we describe jFAST, an easy-to-use graphical s...
DNA
2005
Springer
14 years 1 months ago
2005
Springer
We have been investigating DNA state machines, especially those based on the opening of hairpin molecules in which state transitions are realized as hairpin loops are opened by mo...
SERA
2005
Springer
14 years 1 months ago
2005
Springer
Requirements specifications often make use of a number of scenarios that are interrelated and that depend on each other in many ways. However, they are often treated separately, o...
ASM
2003
ASM
14 years 1 months ago
2003
ASM
d in Abstract State Machines – Advances in Theory and Applications: 10th International Workshop, ASM 2003, volume 2589 of LNCS, Springer–Verlag. Abstract Encryption and Protoco...
CAV
2007
Springer
13 years 12 months ago
2007
Springer
Abstract. In this paper, we describe the features of the Timed Abstract State Machine toolset. The toolset implements the features of the Timed Abstract State Machine (TASM) langua...