7225 search results - page 400 / 1445 » Software is data too |
151
click to vote
DSL
1997
15 years 8 months ago
1997
DiSTiL is a software generator that implements a declarative domain-specific language (DSL) for container data structures. DiSTiL is a representative of a new approach to domain-...
174
click to vote
BMCBI
2004
15 years 6 months ago
2004
Background: Non-linearities in observed log-ratios of gene expressions, also known as intensity dependent log-ratios, can often be accounted for by global biases in the two channe...
178
click to vote
DATASCIENCE
2002
15 years 6 months ago
2002
We present an overview of the VL approach to promote research and education in developing countries and to help reduce the technology gap of the digital divide. We discuss softwar...
195
click to vote
JBCS
2002
15 years 6 months ago
2002
This paper presents a new approach for generating configured and flexible middleware systems for integration of heterogeneous and distributed data. The configuration is based on t...
221
click to vote
VMCAI
2010
Springer
16 years 4 months ago
2010
Springer
Abstract. Techniques such as verification condition generation, preditraction, and expressive type systems reduce software verification to proving formulas in expressive logics. Pr...