2467 search results - page 337 / 494 » Finite State Machines |
89
Voted
DBPL
2007
Springer
15 years 7 months ago
2007
Springer
Data streams are modeled as infinite or finite sequences of data elements coming from an arbitrary but fixed universe. The universe can have various built-in functions and predi...
104
click to vote
FPL
2007
Springer
15 years 7 months ago
2007
Springer
This paper develops a formal model of process migration that describes programs, processes, and the migration of those processes within a migration realm. A migration realm is a g...
118
click to vote
MODELS
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. In this paper, we deal with model-based automatic test generation. We show how to use UML state machines, UML class diagrams, and OCL expressions to automatically derive ...
139
Voted
MEMOCODE
2005
IEEE
15 years 6 months ago
2005
IEEE
This paper presents results on processor specification from a specialized high-level finite state machine (FSM) language. The language is an extension and enhancement of earlier...
102
Voted
HYBRID
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. Multi-modal control is a commonly used design tool for breaking up complex control tasks into sequences of simpler tasks. In this paper, we show that by viewing the contr...