2343 search results - page 267 / 469 » MedModel - Healthcare Simulation Software |
129
click to vote
SPIN
2009
Springer
15 years 10 months ago
2009
Springer
This paper describes a set of software tools developed for teaching concurrency and model checking. jSpin is an elementary development environment for Spin that formats and filter...
133
click to vote
VRST
2009
ACM
15 years 9 months ago
2009
ACM
In this paper, we introduce a 3D menu with a new technique of haptic guidance, for virtual environments. The 3D menu consists in a thin polyhedral shape, with the items at the cor...
130
Voted
CISS
2008
IEEE
15 years 9 months ago
2008
IEEE
— Multiple-input multiple-output (MIMO) techniques allow for multiplexing and/or diversity gain, and will be widely deployed in future wireless systems. In this paper, we propose...
97
Voted
ICIP
2008
IEEE
15 years 9 months ago
2008
IEEE
This paper revisits the problem of source-channel coding for error-resilient video streaming. We propose a new method to enable adaptive redundancy in the bitstream: fine-grain r...
147
Voted
WIMOB
2008
IEEE
15 years 9 months ago
2008
IEEE
Abstract—The adoption of new hardware and software architectures will make future generations of pervasive devices more flexible and extensible. Networks of computational nodes ...