12131 search results - page 317 / 2427 » Introduction to Modeling and Simulation |
149
click to vote
ASIASIM
2004
Springer
15 years 9 months ago
2004
Springer
A network security simulator becomes more useful for the study on the cyber incidents and their defense mechanisms, as cyber terrors have been increasingly popular. Until now, netw...
117
click to vote
EURODAC
1994
IEEE
15 years 8 months ago
1994
IEEE
Due to the complexity of today's systems, prototyping by simulation must be based on simulation-engine-like performance. It is proved by implementations that compiler-driven ...
131
click to vote
CN
2006
15 years 4 months ago
2006
Simulation has been the method of choice for analyzing large, complex, and highly volatile systems. One of these systems is the inter-domain routing infrastructure of the Internet...
115
click to vote
MICCAI
2005
Springer
16 years 5 months ago
2005
Springer
Cardiac ablation procedures are becoming more routine to treat arrhythmias. The development of electrophysiological models will allow investigation of treatment strategies. However...
126
click to vote
DATE
2008
IEEE
15 years 10 months ago
2008
IEEE
With the advance of SAT solvers, transforming a software program to a propositional formula has generated much interest for bounded model checking of software in recent years. How...