1816 search results - page 117 / 364 » Case study in modeling and simulation validation methodology |
ATAL
2006
Springer
15 years 1 months ago
2006
Springer
This paper studies scalable data delivery algorithms in mobile ad hoc sensor networks with node and link failures. Many algorithms have been developed for data delivery and fusion...
WSC
1997
14 years 11 months ago
1997
This paper presents an investigation of three simulation packages: VS7, SIMAN/CINEMA IV, and SIMFACTORY II.5. These packages were investigated with regard to their capabilities of...
108
click to vote
UML
2001
Springer
15 years 2 months ago
2001
Springer
The work presented here is part of a project that aims at the definition of a methodology for developing realtime software systems based on UML. In fact, being relatively easy to ...
CSE
2008
IEEE
14 years 11 months ago
2008
IEEE
Parallel computing is widely used for large scale threedimensional simulation of seismic wave propagation. One particularity of most of these simulations is to consider a finite c...
ICECCS
2006
IEEE
15 years 3 months ago
2006
IEEE
There is great interest in the application of nanotechnology to medicine, but concerns for safety are paramount. We present a modelling technique based on CSP and B as a starting ...