3172 search results - page 123 / 635 » Combining Specification Techniques for Processes, Data and T... |
165
click to vote
SIGMOD
2003
ACM
16 years 6 months ago
2003
ACM
We consider the problem of evaluating large numbers of XPath filters, each with many predicates, on a stream of XML documents. The solution we propose is to lazily construct a sin...
307
click to vote
SOFTCOMP
2010
15 years 4 months ago
2010
Abstract This paper presents an extension of MOVICAB-IDS, a Hybrid Intelligent Intrusion Detection System characterized by incorporating temporal control to enable real-time proces...
158
click to vote
ENTCS
2006
15 years 6 months ago
2006
Executing concurrent specifications on sequential hardware is important for both simulation of systems that are eventually implemented on concurrent hardware and for those most co...
182
click to vote
ICIP
2003
IEEE
16 years 8 months ago
2003
IEEE
A complete error resilient video transmission codec is presented, utilizing imperceptible embedded information for combined detecting, resynchronization and reconstruction of the ...
159
click to vote
ISBI
2007
IEEE
16 years 22 days ago
2007
IEEE
Real-time cardiac ultrasound allows monitoring the heart motion during intracardiac beating heart procedures. Our application assists atrial septal defect (ASD) closure techniques...