29143 search results - page 262 / 5829 » A Sortation System Model |
161
click to vote
FASE
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We present a systematic method of analysing the scalability of large-scale systems. We construct a high-level model using the SRMC process calculus and generate variants ...
163
click to vote
ICTAC
2004
Springer
15 years 12 months ago
2004
Springer
A model-based approach for minimization of test sets for interactive systems is introduced. Test cases are efficiently generated and selected to cover the behavioral model and the ...
152
click to vote
CONCUR
1999
Springer
15 years 10 months ago
1999
Springer
Abstract. The unfolding method, initially introduced for systems modelled by Petri nets, is applied to synchronous products of transition systems, a model introduced by Arnold [2]....
310
click to vote
FDL
2004
IEEE
15 years 10 months ago
2004
IEEE
gn process of embedded systems moves currently towards higher levels of abstraction. As a consequence, a need arises for an early and realistic assessment of system level design d...
212
click to vote
GAMEON
2009
15 years 4 months ago
2009
This paper describes a spring-based model for the interaction of water and land, which reconciles realism and fast rendering. The system controls the motion and interdependences o...