1143 search results - page 97 / 229 » Extraction in software watermarking |
POPL
2012
ACM
12 years 4 months ago
2012
ACM
Interpolation is an important technique in verification and static analysis of programs. In particular, interpolants extracted from proofs of various properties are used in invar...
IEEEARES
2010
IEEE
14 years 2 months ago
2010
IEEE
Spyware represents a serious threat to confidentiality since it may result in loss of control over private data for computer users. This type of software might collect the data and...
IJSEKE
2006
13 years 9 months ago
2006
tion and alteration of software models at different levels of abstraction. These modifications are usually performed independently, but the objects to which they are applied to, ar...
SIGSOFT
2009
ACM
14 years 9 months ago
2009
ACM
Search computing is a novel discipline whose goal is to answer complex, multi-domain queries. Such queries typically require combining in their results domain knowledge extracted ...
IWPC
2006
IEEE
14 years 3 months ago
2006
IEEE
Software repositories are rich sources of information about the software development process. Mining the information stored in them has been shown to provide interesting insights ...