2467 search results - page 98 / 494 » Finite State Machines |
191
click to vote
FASE
2007
Springer
15 years 11 months ago
2007
Springer
The synthesis of object behaviour from scenarios is a well-known and important issue in the transition from system analysis to system design. We describe a model transformation pro...
122
Voted
IJCNN
2006
IEEE
15 years 11 months ago
2006
IEEE
—In Liquid State Machines, separation is a critical attribute of the liquid—which is traditionally not trained. The effects of using Hebbian learning in the liquid to improve s...
170
click to vote
SAC
2006
ACM
15 years 5 months ago
2006
ACM
We propose a rule-based approach for transforming B abstract machines into UML diagrams. We believe that important insight into the structure underlying a B model can be gained by...
143
click to vote
ICALP
2003
Springer
15 years 10 months ago
2003
Springer
Abstract. Hierarchical and recursive state machines are suitable abstract models for many software systems. In this paper we extend a model recently introduced in literature, by al...
239
click to vote
FMOODS
2008
15 years 7 months ago
2008
In this work, novel symbolic step encodings of the transition relation for object based communicating state machines are presented. This class of systems is tailored to capture the...