3651 search results - page 630 / 731 » Data Mining for Security Applications |
ASIAN
2006
Springer
15 years 2 months ago
2006
Springer
Abstract. A type-theoretic framework for formal reasoning with different logical foundations is introduced and studied. With logic-enriched type theories formulated in a logical fr...
DASC
2006
IEEE
15 years 2 months ago
2006
IEEE
Run-time monitoring is a powerful approach for dynamically detecting faults or malicious activity of software systems. However, there are often two obstacles to the implementation...
SIAMCOMP
2002
14 years 10 months ago
2002
Given an edge-weighted graph where all weights are nonnegative reals, an edge reweighting is an assignment of nonnegative reals to edges such that, for each vertex, the sums of giv...
ICC
2009
IEEE
14 years 8 months ago
2009
IEEE
When employing cryptographic tunnels such as the ones provided by Secure Shell (SSH) to protect their privacy on the Internet, users expect two forms of protection. First, they aim...
115
click to vote
ICASSP
2011
IEEE
14 years 2 months ago
2011
IEEE
Monitoring and tracking human activities around restricted areas is an important issue in security and surveillance applications. The movement of different parts of the human body...