2485 search results - page 116 / 497 » Enabling Simulation Interoperability |
115
click to vote
WOSP
2000
ACM
15 years 6 months ago
2000
ACM
For sometime now, Unified Modelling Language (UML) has been accepted as a standard for designing new systems. Its array of notations helps system designers to capture their ideas ...
144
click to vote
VISUALIZATION
1999
IEEE
15 years 6 months ago
1999
IEEE
We present the design of a simulator for a prototype interventional magnetic resonance imaging scanner. This MRI scanner is integrated with an operating theater, enabling new tech...
146
click to vote
CPE
1998
Springer
15 years 6 months ago
1998
Springer
This paper describes a modular and scalable simulation environment, called GloMoSim, to evaluate end-to-end performance of integrated wired and wireless networks. GloMoSim has been...
112
click to vote
FPL
2007
Springer
15 years 6 months ago
2007
Springer
: Molecular dynamics simulation based on discrete event simulation (DMD) is emerging as an alternative to time-step driven molecular dynamics (MD). DMD uses simplified discretized ...
140
click to vote
FORMATS
2006
Springer
15 years 6 months ago
2006
Springer
In this paper, we consider a novel approach to the temporal logic verification problem of continuous dynamical systems. Our methodology has the distinctive feature that enables the...