644 search results - page 23 / 129 » Teaching system modeling, simulation and validation |
WSC
2007
14 years 5 days ago
2007
The modeling of systems mixing discrete and continuous behavior is a challenge for model builders. Sometimes, the continuous part is important, but small near the complex decision...
ER
2010
Springer
13 years 8 months ago
2010
Springer
Efficient and competitive provision of service compositions depends both on the composition structure, and on planning and management of computational resources necessary for prov...
PDP
2007
IEEE
14 years 4 months ago
2007
IEEE
In the process of developing P2P systems simulation has proved to be an essential tool for the evaluation of existing and conceived P2P systems. So far, in practice there has been...
EMSOFT
2007
Springer
14 years 4 months ago
2007
Springer
Key challenges in the performance estimation of distributed real-time embedded (DRE) systems include the systematic measurement of coverage by simulations, and the automated gener...
EMSOFT
2008
Springer
13 years 11 months ago
2008
Springer
Aimed at verifying safety properties and improving simulation coverage for hybrid systems models of embedded control software, we propose a technique that combines numerical simul...