3387 search results - page 608 / 678 » Model-Checking for Real-Time Systems |
IPPS
2007
IEEE
14 years 3 months ago
2007
IEEE
The security of your data and of your network is in the hands of intrusion detection systems, virus scanners and spam filters, which are all critically based on string matching. ...
RTCSA
2007
IEEE
14 years 3 months ago
2007
IEEE
Hospital work is characterized by the need to manage multiple activities simultaneously, constant local mobility, frequently interruptions, and intense collaboration and communica...
RTCSA
2007
IEEE
14 years 3 months ago
2007
IEEE
We propose Virtual Full Replication by Adaptive segmentation (ViFuR-A), and evaluate its ability to maintain scalability in a replicated real-time database. With full replication ...
RTCSA
2007
IEEE
14 years 3 months ago
2007
IEEE
Nominally, one can expect any user of modern technology to carry a handheld device such an iPAQ or cellphone and utilize resources in the environment to remain connected and enjoy...
RTCSA
2007
IEEE
14 years 3 months ago
2007
IEEE
Activity recognition is a hot topic in context-aware computing. In activity recognition, machine learning techniques have been widely applied to learn the activity models from lab...