Sciweavers

6199 search results - page 53 / 1240
» Monitoring the
Sort
View
SP
2010
IEEE
152views Security Privacy» more  SP 2010»
14 years 7 months ago
Scalable Parametric Verification of Secure Systems: How to Verify Reference Monitors without Worrying about Data Structure Size
The security of systems such as operating systems, hypervisors, and web browsers depend critically on reference monitors to correctly enforce their desired security policy in the ...
Jason Franklin, Sagar Chaki, Anupam Datta, Arvind ...
HIPC
2009
Springer
14 years 7 months ago
Continuous performance monitoring for large-scale parallel applications
Traditional performance analysis techniques are performed after a parallel program has completed. In this paper, we describe an online method for continuously monitoring the perfor...
Isaac Dooley, Chee Wai Lee, Laxmikant V. Kal&eacut...
IADIS
2009
14 years 7 months ago
Diabetes patients' care based on mobile monitoring
In this paper, we propose a new architecture for diabetes patients. These applications allow the monitoring, patient selfcontrol and communication between patient and doctor. More...
Vladimir Villarreal, José Bravo, Ramó...
CORR
2011
Springer
217views Education» more  CORR 2011»
14 years 1 months ago
Interactive Execution Monitoring of Agent Teams
There is an increasing need for automated support for humans monitoring the activity of distributed teams of cooperating agents, both human and machine. We characterize the domain...
Pauline Berry, Thomas J. Lee, David E. Wilkins
BIOSTEC
2011
201views Healthcare» more  BIOSTEC 2011»
13 years 9 months ago
Aal@home: A New Home Care Wireless Biosignal Monitoring Tool for Ambient Assisted Living
In this article we describe a new wireless biosignal system which monitors in a long-term basis, the users at their homes. The system consists of wearable sensors that measure hear...
Joana Sousa, Susana Palma, Hugo Silva, Hugo Gamboa