424 search results - page 9 / 85 » How to build valid and credible simulation models |
ICSE
2000
IEEE-ACM
13 years 11 months ago
2000
IEEE-ACM
This paper presents a technique for incrementally constructing safety specifications, abstract algorithm descriptions, and simulation proofs showing that algorithms meet their spe...
CORR
2004
Springer
13 years 8 months ago
2004
Springer
Hybrid systems are characterized by the hybrid evolution of their state: A part of the state changes discretely, the other part changes continuously over time. Typically, modern c...
ANTSW
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. We present in this paper, a new model for document hierarchical clustering, which is inspired from the self-assembly behavior of real ants. We have simulated the way ants...
ISBMS
2010
Springer
14 years 1 months ago
2010
Springer
Radio-frequency (RF) ablation is a minimal invasive thermal therapy, currently considered as an alternative to surgery to eradicate small solid kidney tumors. Our aim is to underst...
WSC
2001
13 years 9 months ago
2001
Recent trends in automotive manufacturing have increased the focus on the Just-In-Time (JIT) delivery of automotive components. By requiring smaller batches of parts delivered mor...