11168 search results - page 307 / 2234 » Abstract State Processes |
202
click to vote
STEP
2003
IEEE
16 years 13 days ago
2003
IEEE
The reengineering of legacy software systems to modern Object Oriented platforms has received significant attention over the past few years. However, most often the reengineering ...
190
click to vote
TPDS
2008
15 years 7 months ago
2008
This paper proposes a new methodology to model the distribution of finite size content to a group of users connected through an overlay network. Our methodology describes the distr...
196
click to vote
CCE
2004
15 years 7 months ago
2004
This paper presents a sequential two-stage strategy for the stochastic synthesis of chemical processes in which flexibility and ability to adjust manipulated variables are taken i...
155
click to vote
SIAMAM
2000
15 years 7 months ago
2000
This paper deduces a new model aimed at simulating injection molding processes under isothermal conditions. These processes can be generally stated as infiltration problems in init...
156
click to vote
FATES
2003
Springer
16 years 11 days ago
2003
Springer
We present work on a tool environment for model-based testing with the Abstract State Machine Language (AsmL). Our environment supports semiautomatic parameter generation, call seq...