16725 search results - page 3191 / 3345 » Engineering Software Correctness |
163
Voted
IFIPTM
2009
15 years 1 months ago
2009
In this paper, we take the first step to address the gap between the security needs in outsourced hosting services and the protection provided in the current practice. We consider ...
118
click to vote
BIB
2010
15 years 29 days ago
2010
Massively parallel sequencing technologies continue to alter the study of human genetics. As the cost of sequencing declines, next-generation sequencing (NGS) instruments and data...
172
Voted
COMSIS
2010
15 years 28 days ago
2010
Abstract. In this paper we present DOMMLite - an extensible domainspecific language (DSL) for static structure definition of databaseoriented applications. The model-driven enginee...
159
Voted
ENDM
2010
15 years 27 days ago
2010
In the past decade, significant progress has been achieved in developing generic primal heuristics that made their way into commercial mixed integer programming (MIP) solver. Exte...
131
Voted
ENTCS
2010
15 years 27 days ago
2010
Our goal is to provide a top-down approach to biomolecular computation. In spite of widespread discussion about connections between biology and computation, one question seems not...