4029 search results - page 210 / 806 » Experience with Software Watermarking |
124
click to vote
FMCAD
2009
Springer
15 years 11 months ago
2009
Springer
Abstract—Several successful approaches to software verificabased on the construction and analysis of an abstract reachability tree (ART). The ART represents unwindings of the co...
131
click to vote
ICPP
2008
IEEE
15 years 11 months ago
2008
IEEE
—Transactional Memory (TM) takes responsibility for concurrent, atomic execution of labeled regions of code, freeing the programmer from the need to manage locks. Typical impleme...
127
click to vote
ICDE
2007
IEEE
15 years 11 months ago
2007
IEEE
Re-occurrence of the same problem is very common in many large software products. By matching the symptoms of a new problem to those in a database of known problems, automated dia...
138
click to vote
GECCO
2007
Springer
15 years 11 months ago
2007
Springer
Evolutionary structural testing is an approach to automatically generating test cases that achieve high structural code coverage. It typically uses genetic algorithms (GAs) to sea...
130
click to vote
MIDDLEWARE
2007
Springer
15 years 11 months ago
2007
Springer
In this paper we take advantage of the concepts developed for centralized module management, such as dynamic loading and unloading of modules, and show how they can be used to supp...