133 search results - page 20 / 27 » Combining Static and Dynamic Reasoning for Bug Detection |
ICIP
2002
IEEE
14 years 9 months ago
2002
IEEE
In this paper, we present a system for the temporal segmentation, summarization, and browsing of the Echocardiogram videos. Echocardiogram videos are video sequences produced by t...
CCS
1999
ACM
13 years 12 months ago
1999
ACM
In this paper we present a new approach for network intrusion detection based on concise speciļ¬cations that characterize normal and abnormal network packet sequences. Our speciļ...
IEEEPACT
1999
IEEE
13 years 12 months ago
1999
IEEE
Automatic parallelization of general-purpose programs is still not possible in general in the presence of irregular data structures and complex control-flows. One promising strate...
CL
2002
Springer
13 years 7 months ago
2002
Springer
We introduce a typed variant of Safe Ambients, named Secure Safe Ambients (SSA), whose type system allows behavioral invariants of ambients to be expressed and verified. The most ...
AAAI
2000
13 years 9 months ago
2000
The Facial Action Coding System (FACS) is an objective method for quantifying facial movement in terms of 44 component actions, i.e. Action Units (AUs). This system is widely used...