153 search results - page 17 / 31 » Smart Simulation Using Collaborative Formal and Simulation E... |
174
click to vote
GECCO
2005
Springer
15 years 11 months ago
2005
Springer
Mapping biology into computation has both a domain specific aspect – biological theory – and a methodological aspect – model development. Computational modelers have implici...
151
click to vote
FASE
2004
Springer
15 years 9 months ago
2004
Springer
We present a formal operational semantics for Stateflow, the graphical Statecharts-like language of the Matlab/Simulink tool suite that is widely used in model-based development of...
163
click to vote
FM
1999
Springer
15 years 10 months ago
1999
Springer
Support for system speci cation in terms of modelling and simulation environments has become a common practice in safety-critical applications. Also, a current trend is the automat...
168
click to vote
GECCO
2008
Springer
15 years 7 months ago
2008
Springer
We are interested in engineering smart machines that enable backtracking of emergent behaviors. Our SSNNS simulator consists of hand-picked tools to explore spiking neural network...
155
click to vote
WSC
1998
15 years 7 months ago
1998
MODSIM II is an object-oriented discrete event simulation language featuring extensive run-time libraries, graphical user interface and results presentation tools, database access...