2343 search results - page 190 / 469 » MedModel - Healthcare Simulation Software |
116
Voted
ISCC
2009
IEEE
15 years 10 months ago
2009
IEEE
We introduce Adaptive Smooth Simulcast Protocol (ASSP) for simulcast transmission over best-effort networks. ASSP is a new multiple-rate protocol that implements a single rate TCP...
126
click to vote
QEST
2009
IEEE
15 years 10 months ago
2009
IEEE
The Markov Reward Model Checker (MRMC) is a software tool for verifying properties over probabilistic models. It supports PCTL and CSL model checking, and their reward extensions....
109
click to vote
ATAL
2009
Springer
15 years 10 months ago
2009
Springer
We present a demonstration of a multi-agent prototype for distributed planning and coordination in dynamic non-deterministic multi-actor mixed-initiative environments. The system ...
120
Voted
ASIAMS
2008
IEEE
15 years 10 months ago
2008
IEEE
Geo-informatics is a field of science that combines geodetic and spatial information processing methods with computing hardware and software technologies. Research being conducted...
129
click to vote
ETFA
2008
IEEE
15 years 10 months ago
2008
IEEE
This paper presents a novel colored Petri net model for the simulation of fully-switched Ethernet based networked control systems (NCS). The model of the NCS is built from models ...