1541 search results - page 294 / 309 » Tools and Techniques for Model Checking Networked Programs |
102
Voted
CEC
2008
IEEE
15 years 6 months ago
2008
IEEE
Abstract— Ensuring the security of computers is a nontrivial task, with many techniques used by malicious users to compromise these systems. In recent years a new threat has emer...
WWIC
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. This paper proposes new cognitive algorithms and mechanisms for detecting 0day attacks targeting the Internet and its communication performances and behavior. For this pu...
88
Voted
DATAMINE
2006
15 years 13 days ago
2006
Least trimmed squares (LTS) regression is based on the subset of h cases (out of n) whose least squares t possesses the smallest sum of squared residuals. The coverage h may be se...
121
click to vote
FDG
2009
ACM
15 years 5 months ago
2009
ACM
The tremendous advances in gaming technologies over the past decade have focused primarily on the physical realism of the game environment and game characters, and the complexity ...
SIGSOFT
2001
ACM
16 years 1 months ago
2001
ACM
Prior research in software environments focused on three important problems-- tool integration, artifact management, and process guidance. The context for that research, and hence...