9626 search results - page 165 / 1926 » Invariant Based Programming |
174
click to vote
ECOOP
2010
Springer
15 years 9 months ago
2010
Springer
Specifications of Object-Oriented programs conventionally employ Boolean expressions of the programming language for assertions. Programming errors can be discovered by checking at...
192
click to vote
OOPSLA
2010
Springer
15 years 4 months ago
2010
Springer
Atomic regions are an important concept in correct concurrent programming: since atomic regions can be viewed as having executed in a single step, atomicity greatly reduces the nu...
198
click to vote
AIIA
1995
Springer
15 years 10 months ago
1995
Springer
Genetic Programming (GP) is a method of automatically inducing programs by representing them as parse trees. In theory, programs in any computer languages can be translated to par...
199
click to vote
BMCBI
2006
15 years 6 months ago
2006
Background: The invariant lineage of the nematode Caenorhabditis elegans has potential as a powerful tool for the description of mutant phenotypes and gene expression patterns. We...
172
click to vote
ICMCS
2005
IEEE
15 years 12 months ago
2005
IEEE
A novel digital image watermarking method based on wavelet domain fractal coding is presented in this paper. Employing the invariant parameters of the wavelet domain fractal trans...