12131 search results - page 526 / 2427 » Introduction to Modeling and Simulation |
162
Voted
ACSC
2005
IEEE
16 years 22 days ago
2005
IEEE
We examine the robustness of critical infrastructure networks in the face of terrorist attack, using a simulation experiment that incorporates link capacity; and an extension of d...
192
click to vote
HICSS
2005
IEEE
16 years 21 days ago
2005
IEEE
This paper addresses the problem of solving conflicts in railway traffic that arise due to disturbances. It is formulated as a problem of re-scheduling meets and overtakes of trai...
159
click to vote
ISQED
2005
IEEE
16 years 20 days ago
2005
IEEE
The purpose of this work is to explore how device operation parameters such as switching speed and power dissipation scale with voltage and temperature. We simulated a CMOS ring o...
170
click to vote
CAV
2005
Springer
16 years 19 days ago
2005
Springer
Abstract. We address the issue of efficiently automating assume-guarantee reasoning for simulation conformance between finite state systems and specifications. We focus on a non...
194
click to vote
ADS
2004
Springer
16 years 15 days ago
2004
Springer
We describe an implemented system for the simulation and visualisation of the emotional state of a multimodal conversational agent called Max. The focus of the presented work lies ...