88 search results - page 11 / 18 » The effectiveness of source code obfuscation: An experimenta... |
BMCBI
2004
14 years 11 months ago
2004
Background: The proliferate nature of DNA microarray results have made it necessary to implement a uniform and quick quality control of experimental results to ensure the consiste...
SIGSOFT
2006
ACM
15 years 5 months ago
2006
ACM
Repeated changes to a software system can introduce small weaknesses such as unplanned dependencies between different parts of the system. While such problems usually go undetecte...
CCS
2010
ACM
14 years 12 months ago
2010
ACM
A web application is a "two-part" program, with its components deployed both in the browser and in the web server. The communication between these two components inevita...
VMCAI
2004
Springer
15 years 5 months ago
2004
Springer
In this paper we deal with the problem of applying model checking to real programs. We verify a program without constructing the whole transition system using a technique based on...
113
click to vote
RECOMB
2009
Springer
15 years 6 months ago
2009
Springer
This paper presents a new approach to site-directed recombination, swapping combinations of selected discontiguous fragments from a source protein in place of corresponding fragmen...