2269 search results - page 270 / 454 » Behavioral Intrusion Detection |
184
click to vote
PLDI
2010
ACM
15 years 11 months ago
2010
ACM
Multithreaded programs are notoriously prone to race conditions, a problem exacerbated by the widespread adoption of multi-core processors with complex memory models and cache coh...
208
click to vote
ACSAC
2010
IEEE
15 years 3 months ago
2010
IEEE
Social networking has become a popular way for users to meet and interact online. Users spend a significant amount of time on popular social network platforms (such as Facebook, M...
141
click to vote
CAV
2009
Springer
16 years 6 months ago
2009
Springer
D-Finder tool implements a compositional method for the verification of component-based systems described in BIP language encompassing multi-party interaction. For deadlock detecti...
155
click to vote
KDD
2006
ACM
16 years 6 months ago
2006
ACM
Time-series of count data are generated in many different contexts, such as web access logging, freeway traffic monitoring, and security logs associated with buildings. Since this...
176
click to vote
ICMI
2009
Springer
16 years 18 days ago
2009
Springer
Social interactions unfold over time, at multiple time scales, and can be observed through multiple sensory modalities. In this paper, we propose a machine learning framework for ...