7311 search results - page 26 / 1463 » Time in State Machines |
137
Voted
ASM
2005
ASM
15 years 9 months ago
2005
ASM
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...
158
Voted
ASPDAC
2001
ACM
15 years 7 months ago
2001
ACM
Abstract-- Image computation is the core operation for optimization and formal verification of sequential systems like controllers or protocols. State exploration techniques based ...
132
Voted
AMAST
2004
Springer
15 years 7 months ago
2004
Springer
We study the semantics and refinement of mobile objects, considering an extension of core UML state machines by primitives that designate the location of objects and their moves wi...
111
click to vote
WIA
2001
Springer
15 years 8 months ago
2001
Springer
d Abstract) Zhe Dang , Tevfik Bultan ¡ , Oscar H. Ibarra ¡ , and Richard A. Kemmerer ¡ ¢ School of Electrical Engineering and Computer Science Washington State University P...
127
Voted
DCC
2006
IEEE
16 years 3 months ago
2006
IEEE
In this work we consider the problem of universal prediction of individual sequences where the universal predictor is a deterministic finite state machine, with a fixed, relativel...