8766 search results - page 1230 / 1754 » Functional logic programming |
142
Voted
CSB
2005
IEEE
15 years 12 months ago
2005
IEEE
We present TreeRefiner, a tool for refining multiple alignments of biological sequences. Given a multiple alignment, a phylogenetic tree, and scoring parameters as input, TreeRefi...
150
click to vote
SP
2005
IEEE
15 years 11 months ago
2005
IEEE
Self-checking software tamper resistance mechanisms employing checksums, including advanced systems as recently proposed by Chang and Atallah (2002) and Horne et al. (2002), have ...
147
click to vote
ESOP
2005
Springer
15 years 11 months ago
2005
Springer
We present an aggressive interprocedural analysis for inferring value equalities which are independent of the concrete interpretation of the operator symbols. These equalities, cal...
157
Voted
CD
2004
Springer
15 years 11 months ago
2004
Springer
This paper presents an approach to describe, deploy and manage component-based applications having dynamic functional and non-functional requirements. The approach is centered on a...
157
click to vote
CD
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Component orientation is a current trend for creating modern applications. The concept of a component is broad and includes plugins and other units of modularization. Typ...