811 search results - page 100 / 163 » Probabilistic Semantics and Program Analysis |
112
click to vote
WETICE
1999
IEEE
15 years 2 months ago
1999
IEEE
In this paper, we address the problem of static slicing on binary executables for the purposes of the malicious code detection in COTS components. By operating directly on binary ...
ICIP
2006
IEEE
15 years 11 months ago
2006
IEEE
We propose a novel unsupervised learning algorithm to extract the layout of an image by learning latent object-related aspects. Unlike traditional image segmentation algorithms th...
WWW
2007
ACM
15 years 10 months ago
2007
ACM
Name ambiguity is a special case of identity uncertainty where one person can be referenced by multiple name variations in different situations or even share the same name with ot...
EUROSYS
2008
ACM
15 years 7 months ago
2008
ACM
Programs written in type-unsafe languages such as C and C++ incur costly memory errors that result in corrupted data structures, program crashes, and incorrect results. We present...
ISSTA
2009
ACM
15 years 4 months ago
2009
ACM
The aim of requirements-based testing is to generate test cases from a set of requirements for a given system or piece of software. In this paper we propose a formal semantics for...