11215 search results - page 70 / 2243 » Skeleton - Easy Simulation System |
QEST
2010
IEEE
13 years 7 months ago
2010
IEEE
Stochastic model checking has been used recently to assess, among others, dependability measures for a variety of systems. However, the employed numerical methods, as, e.g., suppor...
DSRT
2005
IEEE
14 years 2 months ago
2005
IEEE
This document presents a simulation-based method for the development of real time embedded systems. This kind of system is really sensitive to the communication with external envi...
EMSOFT
2007
Springer
14 years 3 months ago
2007
Springer
Key challenges in the performance estimation of distributed real-time embedded (DRE) systems include the systematic measurement of coverage by simulations, and the automated gener...
MICCAI
2001
Springer
14 years 1 months ago
2001
Springer
Computer systems for surgical planning and training are poised to greatly impact the traditional versions of these tasks. These systems provide an opportunity to learn surgical tec...
ACSAC
1999
IEEE
14 years 1 months ago
1999
IEEE
This paper reports on an ongoing effort to define the security architecture for the Joint Simulation System (JSIMS), a joint military modeling and simulation system. It also descr...