7311 search results - page 100 / 1463 » Time in State Machines |
137
click to vote
TACAS
1998
Springer
15 years 8 months ago
1998
Springer
A state/event model is a concurrent version of Mealy machines used for describing embedded reactive systems. This paper introduces a technique that uses compositionality and depend...
121
click to vote
DBPL
2007
Springer
15 years 10 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...
133
click to vote
ERSHOV
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. The token flow semantics of UML 2 activity diagrams is formally defined using Abstract State Machines. Interruptible activity regions and multiplicity bounds for pins are...
154
click to vote
ICML
2009
IEEE
16 years 4 months ago
2009
IEEE
In a dynamic social or biological environment, interactions between the underlying actors can undergo large and systematic changes. Each actor can assume multiple roles and their ...
100
click to vote
ICML
2005
IEEE
16 years 4 months ago
2005
IEEE
We present a novel algorithm for computing a training set consistent subset for the nearest neighbor decision rule. The algorithm, called FCNN rule, has some desirable properties....