907 search results - page 142 / 182 » Monitoring of Real-Time Properties |
PERCOM
2010
ACM
13 years 6 months ago
2010
ACM
—This paper describes a new embedded system, called iFall, for the detection of unexpected falls for elderly people. In combination with a new sensors system and the monitoring o...
CAV
2010
Springer
13 years 6 months ago
2010
Springer
We describe Breach, a Matlab toolbox providing a coherent set of simulation-based techniques aimed at the analysis of deterministic models of hybrid dynamical systems. The primary ...
WICON
2010
13 years 6 months ago
2010
Clock skew is defined as the rate of deviation of a device clock from the true time. The frequency of a device's clock actually depends on its environment, such as the tempera...
IEEEIA
2009
13 years 6 months ago
2009
Covert channel attacks utilize shared resources to indirectly transmit sensitive information to unauthorized parties. Current security mechanisms such as SELinux rely on tagging th...
JSAC
2010
13 years 3 months ago
2010
Underwater Acoustic Sensor Networks (UW-ASNs) consist of stationary or mobile nodes such as Autonomous Underwater Vehicles (AUVs), which may be classified as propellerdriven vehicl...