4895 search results - page 551 / 979 » Functional Quantum Programming |
159
click to vote
CSB
2005
IEEE
16 years 14 days 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...
169
click to vote
SP
2005
IEEE
16 years 13 days 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 ...
157
click to vote
ESOP
2005
Springer
16 years 12 days 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...
171
Voted
ARGMAS
2004
Springer
16 years 8 days ago
2004
Springer
Negotiation can be conceived as the exchange of messages among self-interested agents in order to settle on an agreement over a given issue. They decide which messages to send acco...
171
click to vote
CD
2004
Springer
16 years 8 days 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...