927 search results - page 120 / 186 » Practical Limits on Software Dependability: A Case Study |
SCAM
2006
IEEE
14 years 1 months ago
2006
IEEE
Metamorphic malware — including certain viruses and worms — rewrite their code during propagation. This paper presents a method for normalizing multiple variants of metamorphi...
PAMI
2012
11 years 10 months ago
2012
—Understanding the effect of blur is an important problem in unconstrained visual analysis. We address this problem in the context of image-based recognition, by a fusion of imag...
KBSE
2007
IEEE
14 years 2 months ago
2007
IEEE
Monitoring the satisfaction of software requirements and diagnosing what went wrong in case of failure is a hard problem that has received little attention in the Software and Req...
CORR
2010
Springer
13 years 7 months ago
2010
Springer
An epidemic spreading in a network calls for a decision on the part of the network members: They should decide whether to protect themselves or not. Their decision depends on the ...
ICFP
2001
ACM
14 years 7 months ago
2001
ACM
Standard ML is a statically typed programming language that is suited for the construction of both small and large programs. "Programming in the small" is captured by St...