3082 search results - page 254 / 617 » Deviation Analysis: A New Use of Model Checking |
199
click to vote
PASTE
2005
ACM
16 years 3 days ago
2005
ACM
Forward symbolic execution is a program analysis technique that allows using symbolic inputs to explore program executions. The traditional applications of this technique have foc...
200
click to vote
CVPR
2005
IEEE
16 years 8 months ago
2005
IEEE
We present a new method to robustly and efficiently analyze foreground when we detect background for a fixed camera view by using mixture of Gaussians models and multiple cues. Th...
156
click to vote
ER
2006
Springer
15 years 10 months ago
2006
Springer
Worldwide globalization increases the complexity of problem solving and decision-making, whatever the endeavor is. This calls for a more accurate and complete understanding of unde...
127
click to vote
ESOP
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Multithreaded programs are prone to errors caused by unintended interference between concurrent threads. This paper focuses on verifying that deterministically-parallel c...
186
click to vote
DSN
2008
IEEE
16 years 1 months ago
2008
IEEE
Many threats that plague today’s networks (e.g., phishing, botnets, denial of service attacks) are enabled by a complex ecosystem of attack programs commonly called malware. To ...