4029 search results - page 563 / 806 » Experience with Software Watermarking |
145
click to vote
SIGMOD
2002
ACM
15 years 5 months ago
2002
ACM
The need for supply chain integration (SCI) methodologies has been increasing as a consequence of the globalization of production and sales, and the advancement of enabling inform...
150
Voted
ML
2007
ACM
15 years 5 months ago
2007
ACM
The Ecma TC39-TG1 working group is using ML as the specification language for the next generation of JavaScript, the popular programming language for browser-based web applicatio...
139
Voted
MP
2007
15 years 5 months ago
2007
Many practical optimization problems involve nonsmooth (that is, not necessarily differentiable) functions of thousands of variables. In the paper [Haarala, Miettinen, M¨akel¨a,...
217
click to vote
SAC
2008
ACM
15 years 5 months ago
2008
ACM
In this paper, we adopt a template matching method to detect design patterns from a software system by calculating their normalized cross correlation. Because design patterns docu...
175
click to vote
ICTAC
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Separation kernels are key components in embedded applications. Their small size and widespread use in high-integrity environments make them good targets for formal model...