572 search results - page 14 / 115 » Threading Software Watermarks |
PASTE
1998
ACM
14 years 2 months ago
1998
ACM
Static program slicing is an established method for analyzing sequential programs, especially for program understanding, debugging and testing. Until now, there was no slicing met...
ICFEM
2007
Springer
14 years 4 months ago
2007
Springer
CC
2005
Springer
14 years 3 months ago
2005
Springer
JMM2
2007
13 years 9 months ago
2007
Abstract— In 2006, Gaurav Gupta and Josef Pieprzyk presented an attack on the branch-based software watermarking scheme proposed by Ginger Myles and Hongxia Jin in 2005. The softw...
JCST
2010
13 years 4 months ago
2010
With recent efforts to build foundational certified software systems, two different approaches have been proposed to certify thread context switching. One is to certify both thread...