3387 search results - page 576 / 678 » Model-Checking for Real-Time Systems |
94
Voted
ACSAC
2001
IEEE
15 years 4 months ago
2001
IEEE
eXpert-BSM is a real time forward-reasoning expert system that analyzes Sun Solaris audit trails. Based on many years of intrusion detection research, eXpert-BSM's knowledge ...
CCS
2010
ACM
15 years 3 months ago
2010
ACM
Capturing Fast-Flux Service Networks (FFSNs) by temporal variances is an intuitive way for seeking to identify rapid changes of DNS records. Unfortunately, the features regard to ...
106
Voted
BMVC
2002
15 years 3 months ago
2002
A gesture recognition system which can reliably recognize single-hand gestures in real time on a 600Mhz notebook computer is described. The system has a vocabulary of 46 gestures ...
116
Voted
MOBISYS
2010
ACM
15 years 3 months ago
2010
ACM
Location-based applications have become increasingly popular on smartphones over the past years. The active use of these applications can however cause device battery drain owing ...
Publication
We present ADSandbox, an analysis system for malicious websites that focusses on detecting attacks through JavaScript. Since, in contrast to Java, JavaScript does not have any bui...