10585 search results - page 1657 / 2117 » The Orc Programming Language |
162
click to vote
ECOOP
2008
Springer
15 years 8 months ago
2008
Springer
Verification of object-oriented programs relies on object invariants which express consistency criteria of objects. The semantics of object invariants is subtle, mainly because of...
170
click to vote
BMCBI
2006
15 years 6 months ago
2006
Background: Genome databases contain diverse kinds of information, including gene annotations and nucleotide and amino acid sequences. It is not easy to integrate such information...
161
click to vote
BMCBI
2005
15 years 6 months ago
2005
Background: We observe two trends in bioinformatics: (i) analyses are increasing in complexity, often requiring several applications to be run as a workflow; and (ii) multiple CPU...
185
click to vote
SP
2010
IEEE
15 years 4 months ago
2010
IEEE
A program is defined to be noninterferent if its outputs cannot be influenced by inputs at a higher security level than their own. Various researchers have demonstrated how this pr...
174
click to vote
VSTTE
2010
Springer
15 years 4 months ago
2010
Springer
A suite of verification benchmarks for software verification tools and techniques, presented at VSTTE 2008 [11], provides an initial catalogue of benchmark challenges for the Verif...