1791 search results - page 17 / 359 » Behavioral Operations |
SRDS
1997
IEEE
13 years 11 months ago
1997
IEEE
When creating mission-critical distributed systems using off-the-shelf components, it is important to assess the dependability of not only the hardware, but the software as well. ...
WSC
2001
13 years 8 months ago
2001
This paper presents a method for simulating basic manufacturing operations (unload, load, process, move, and store) in a 3D virtual environment. The virtual environment provides a...
FASE
2004
Springer
13 years 11 months ago
2004
Springer
We present a formal operational semantics for Stateflow, the graphical Statecharts-like language of the Matlab/Simulink tool suite that is widely used in model-based development of...
ENTCS
2006
13 years 7 months ago
2006
We define a compositional operational semantics for state machines and their composition in UML. Each state machine describes the behavior of an object of a class. If a class of a...
ISPDC
2010
IEEE
13 years 5 months ago
2010
IEEE
—This paper presents an operational semantics of the repetitive model of computation, which is the basis for the repetitive structure modeling (RSM) package defined in the stand...