4820 search results - page 280 / 964 » Implementing Signatures for C |
162
Voted
ENTCS
2007
15 years 3 months ago
2007
In this paper, we present a term rewriting based library for manipulating Java bytecode. We define a mapping from bytecode programs to algebraic terms, and we use Tom, an extensi...
146
Voted
JACM
2007
15 years 3 months ago
2007
This paper extends the termination proof techniques based on reduction orderings to a higher-order setting, by defining a family of recursive path orderings for terms of a typed ...
132
Voted
BMCBI
2005
15 years 3 months ago
2005
Background: Determination and quantification of nucleic acid components in a mixture is usually accomplished by microarray approaches, where the mixtures are hybridized against sp...
154
Voted
TWC
2008
15 years 3 months ago
2008
User authentication is essential in service-oriented communication networks to identify and reject any unauthorized network access. The state-of-the-art practice in securing wirele...
156
Voted
BMCBI
2004
15 years 3 months ago
2004
Background: For the purposes of finding and aligning noncoding RNA gene- and cis-regulatory elements in multiple-genome datasets, it is useful to be able to derive multi-sequence ...