1522 search results - page 65 / 305 » Practical Exception Specifications |
109
click to vote
SBMF
2010
Springer
14 years 8 months ago
2010
Springer
Abstract. In the context of the EU project Mobius on Proof Carrying Code for Java programs (midlets) on mobile devices, we present a way to express midlet navigation graphs in JML....
144
click to vote
NEUROSCIENCE
2001
Springer
15 years 6 months ago
2001
Springer
We propose a theoretical framework for specification and analysis of a class of learning problems that arise in open-ended environments that contain multiple, distributed, dynamic...
121
click to vote
RECOMB
2007
Springer
16 years 1 months ago
2007
Springer
Association, or LD (linkage disequilibrium), mapping is an intensely-studied approach to gene mapping (genome-wide or in candidate regions) that is widely hoped to be able to effic...
119
click to vote
BMCBI
2010
15 years 1 months ago
2010
Background: Complexity and noise in expression quantitative trait loci (eQTL) studies make it difficult to distinguish potential regulatory relationships among the many interactio...
125
click to vote
ICTAC
2010
Springer
14 years 11 months ago
2010
Springer
We consider software verification of imperative programs by theorem proving in higher-order separation logic. Of particular interest are the difficulties of encoding and reasoning ...