2343 search results - page 125 / 469 » MedModel - Healthcare Simulation Software |
150
click to vote
KBSE
1997
IEEE
15 years 7 months ago
1997
IEEE
This paper discusses our approach to the problem of refining high-level simulation specifications. Our domain is simulated combat training for tank platoon members. Our input is a...
128
click to vote
ASSETS
2007
ACM
15 years 8 months ago
2007
ACM
This paper describes a software tool that demonstrates the effects of common vision and hearing impairments on image and sound files. This helps designers to understand and empath...
121
click to vote
COMPSAC
2001
IEEE
15 years 8 months ago
2001
IEEE
Using certificates for distributed authorizations in computer network systems has been discussed in the literature. However real implementations of the concept are rarely seen. In...
127
click to vote
AMAST
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. Vx86 is the first static analyzer for sequential Intel x86 assembler code using automated deductive verification. It proves the correctness of assembler code against func...
141
click to vote
SIMUTOOLS
2008
15 years 5 months ago
2008
A collaboration between simulationists and scientists working on fire spread and ecology led to the design of a 3D visualization tool. This tool is a post-processor which can be l...