5804 search results - page 1125 / 1161 » Doing more with less |
122
click to vote
ENTCS
2006
14 years 12 months ago
2006
Separation logic [20,21,14] began life as an extended formalisation of Burstall's treatment of list-mutating programs [8]. It rapidly became clear that there was more that it...
119
click to vote
BMCBI
2007
14 years 12 months ago
2007
Background: Protein remote homology detection is a central problem in computational biology. Most recent methods train support vector machines to discriminate between related and ...
BMCBI
2007
14 years 12 months ago
2007
Background: Automated methods for assembling families of orthologous genes include those based on sequence similarity scores and those based on phylogenetic approaches. The first ...
IJISEC
2008
14 years 12 months ago
2008
Abstract This paper surveys the literature on certificateless encryption schemes. In particular, we examine the large number of security models that have been proposed to prove the...
107
click to vote
INFSOF
2008
14 years 12 months ago
2008
Objective: In this paper, we present a systematic literature review of motivation in Software Engineering. The objective of this review is to plot the landscape of current reporte...