Sciweavers

6199 search results - page 410 / 1240
» Monitoring the
Sort
View
RTAS
2008
IEEE
16 years 1 months ago
Incorporating Resource Safety Verification to Executable Model-based Development for Embedded Systems
This paper formulates and illustrates the integration of resource safety verification into a design methodology for development of verified and robust real-time embedded systems. ...
Jianliang Yi, Honguk Woo, James C. Browne, Aloysiu...
WCNC
2008
IEEE
16 years 1 months ago
Bluetooth 2.1 based Emergency Data Delivery System in HealthNet
Abstract—The interests in health care have considerably increased these days as the aging population becomes larger. Health care has grown to the one of most active research area...
Seung-Hoon Lee, Sewook Jung, Alexander Chang, Dae-...
WISE
2008
Springer
16 years 1 months ago
Approximate Information Filtering in Peer-to-Peer Networks
Abstract. Most approaches to information filtering taken so far have the underlying hypothesis of potentially delivering notifications from every information producer to subscrib...
Christian Zimmer, Christos Tryfonopoulos, Klaus Be...
ADHOCNOW
2008
Springer
16 years 1 months ago
A Secure Cross-Layer Protocol for Multi-hop Wireless Body Area Networks
The development of Wireless Body Area Networks (WBANs) for wireless sensing and monitoring of a person’s vital functions, is an enabler in providing better personal health care w...
Dave Singelée, Benoît Latré, B...
ASWEC
2007
IEEE
16 years 1 months ago
A Configurable Event Correlation Architecture for Adaptive J2EE Applications
Distributed applications that adapt as their environment changes are developed from selfmanaging, self-configuring and self-optimising behaviours. This requires constant monitorin...
Yan Liu, Ian Gorton, Vinh Khanh Le