2874 search results - page 227 / 575 » Intrusion Detection: Systems and Models |
165
click to vote
TACAS
2005
Springer
16 years 9 days ago
2005
Springer
Searching the state space of a system using enumerative and on-the-fly depth-first traversal is an established technique for model checking finite-state systems. In this paper, ...
186
click to vote
CCS
2007
ACM
16 years 1 months ago
2007
ACM
Software vulnerabilities have been the main contributing factor to the Internet security problems such as fast spreading worms. Among these software vulnerabilities, memory corrup...
180
click to vote
ICSE
2008
IEEE-ACM
16 years 7 months ago
2008
IEEE-ACM
Model-based development is becoming an increasingly common development methodology. In important domains like embedded systems already major parts of the code are generated from m...
153
click to vote
DAGM
2005
Springer
16 years 11 days ago
2005
Springer
Abstract. A vision based head tracking approach is presented, combining foreground information with an elliptical head model based on the integration of gradient and skin-color inf...
195
click to vote
CVPR
2011
IEEE
15 years 3 months ago
2011
IEEE
We present a hierarchical classification model that allows rare objects to borrow statistical strength from related objects that have many training examples. Unlike many of the e...