7311 search results - page 216 / 1463 » Time in State Machines |
167
click to vote
SIGCSE
2006
ACM
16 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...
143
click to vote
DNA
2005
Springer
16 years 21 days 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...
209
click to vote
SERA
2005
Springer
16 years 19 days 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...
206
click to vote
ASM
2003
ASM
16 years 12 days 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...
188
click to vote
FMCAD
2007
Springer
15 years 11 months ago
2007
Springer
We present a framework for formal verification of embedded custom memories. Memory verification is complicated ifficulty in abstracting design parameters induced by the inherently ...