6701 search results - page 255 / 1341 » Medical Embedded Systems |
196
click to vote
FMOODS
2007
2007
A Probabilistic Formal Analysis Approach to Cross Layer Optimization in Distributed Embedded Systems
15 years 7 months ago
We present a novel approach, based on probabilistic formal methods, to developing cross-layer resource optimization policies for resource limited distributed systems. One objective...
186
click to vote
ITNG
2008
IEEE
15 years 12 months ago
2008
IEEE
In this paper the authors describe the implementation and validation of a prototype of an environmental and health monitoring system based on a Wireless Sensor Network (WSN). The ...
143
Voted
HICSS
2002
IEEE
15 years 10 months ago
2002
IEEE
This research paper presents a new system's design and development of the prescription order communication system (POCS) based on the Internet between the hospital and the ph...
142
click to vote
ICSM
2002
IEEE
15 years 10 months ago
2002
IEEE
This paper describes an architecture analysis tool-set supporting the evolutionary improvement of the software architecture of an existing medical imaging system. The toolset has ...
158
click to vote
HICSS
2007
IEEE
15 years 12 months ago
2007
IEEE
Checkpointing is a commonly used approach to provide fault-tolerance and improve system dependability. However, using a constant and preconfigured checkpointing frequency may comp...