907 search results - page 81 / 182 » Monitoring of Real-Time Properties |
VCIP
2003
13 years 9 months ago
2003
Stroke is a major cause of disability and health care expenditure around the world. Existing stroke rehabilitation methods can be effective but are costly and need to be improved....
CMPB
2011
13 years 3 months ago
2011
: This paper compares three methods for estimating renal function, tested in rats. Acute Renal Failure (ARF) was induced via a 60-minute bilateral renal artery clamp in 8 Sprague-D...
CONCUR
2008
Springer
13 years 9 months ago
2008
Springer
Abstract. For many cryptographic protocols, security relies on the assumption that adversarial entities have limited computational power. This type of security degrades progressive...
ICAI
2004
13 years 9 months ago
2004
To ensure space flight safety, it is necessary to monitor myriad sensor readings on the ground and in flight. Since a space shuttle has many sensors, monitoring data and drawing c...
FM
2009
Springer
14 years 2 months ago
2009
Springer
In Bounded Model Checking both the system model and the checked property are translated into a Boolean formula to be analyzed by a SAT-solver. We introduce a new encoding technique...