3387 search results - page 563 / 678 » Model-Checking for Real-Time Systems |
156
Voted
ICDCS
2012
IEEE
13 years 3 months ago
2012
IEEE
—The Web 2.0 era is characterized by the emergence of a very large amount of live content. A real time and finegrained content filtering approach can precisely keep users upto-...
114
Voted
WSDM
2010
ACM
15 years 10 months ago
2010
ACM
Activity in social media such as blogs, micro-blogs, social networks, etc is manifested via interaction that involves text, images, links and other information items. Naturally, s...
125
click to vote
AIME
2007
Springer
15 years 7 months ago
2007
Springer
Many machines used in the modern hospital settings offer real time physiological monitoring. Haemodialysis machines combine a therapeutic treatment system integrated with sophistic...
123
click to vote
VLDB
2007
ACM
15 years 6 months ago
2007
ACM
This paper describes Continuous Queries (CQ) in Oracle RDBMS, a feature that incorporates stream and complex event processing into an RDBMS, the first such attempt in commercial d...
110
Voted
ASIAN
2004
Springer
15 years 6 months ago
2004
Springer
Cyber security is a serious global concern. The potential of cyber terrorism has posed a threat to national security; meanwhile the increasing prevalence of malware and incidents o...