175 search results - page 14 / 35 » Identifying Structural Mechanisms in Standard Genetic Progra... |
104
click to vote
ICFP
2012
ACM
13 years 6 days ago
2012
ACM
The higher-order logic found in proof assistants such as Coq and various HOL systems provides a convenient setting for the development and verification of pure functional program...
BMCBI
2007
14 years 9 months ago
2007
Background: Staphylococcus aureus is a human pathogen that causes a wide variety of lifethreatening infections using a large number of virulence factors. One of the major global r...
BMCBI
2010
14 years 10 months ago
2010
Background: The prediction of protein-protein interactions is an important step toward the elucidation of protein functions and the understanding of the molecular mechanisms insid...
ASIAN
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. A software birthmark is a unique characteristic of a program that can be used as a software theft detection. In this paper we suggest and empirically evaluate a static bi...
IEEEARES
2006
IEEE
15 years 3 months ago
2006
IEEE
Java and the Java Virtual Machine (JVM) are a predominant programming language and deployment platform for complex, component-oriented systems. In current standard Java runtime sy...