3625 search results - page 343 / 725 » On choosing |
167
Voted
CSL
2007
Springer
16 years 1 months ago
2007
Springer
Models of the untyped λ-calculus may be defined either as applicative structures satisfying a bunch of first order axioms, known as “λ-models”, or as (structures arising fr...
197
Voted
DCOSS
2007
Springer
16 years 1 months ago
2007
Springer
We introduce a class of anchoritic sensor networks, where communications between sensor nodes are undesirable or infeasible due to, e.g., harsh environments, energy constraints, or...
190
click to vote
ECAL
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. In the natural world, individual organisms can adapt as their environment changes. In most in silico evolution, however, individual organisms tend to consist of rigid sol...
207
click to vote
ECOOP
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Aspect-oriented advice increases the number of places one must consider during reasoning, since advice may affect all method calls and field accesses. MAO, a new variant...
184
click to vote
ESOP
2007
Springer
16 years 1 months ago
2007
Springer
We propose multi-language synchronization, a novel approach to the problem of migrating code from a legacy language (such as C) to a new language. We maintain two parallel versions...