4719 search results - page 536 / 944 » Spreadsheet functional programming |
145
click to vote
ASM
2004
ASM
15 years 10 months ago
2004
ASM
For a while it seemed possible to pretend that all interaction between an algorithm and its environment occurs inter-step, but not anymore. Andreas Blass, Benjamin Rossman and the ...
163
click to vote
ICALP
2007
Springer
15 years 6 months ago
2007
Springer
Adaptive security, while more realistic as an adversarial model, is typically much harder to achieve compared to static security in cryptographic protocol design. Universal composi...
170
Voted
CORR
2002
Springer
15 years 4 months ago
2002
Springer
In previous work, we have introduced functional strategies, that is, first-class generic functions that can traverse into terms of any type while mixing uniform and type-specific ...
157
Voted
TAICPART
2010
IEEE
15 years 3 months ago
2010
IEEE
We report on how the Wrangler refactoring tool has been used to improve and transform test code for Erlang systems. This has been achieved through the removal of code clones, the i...
164
Voted
BMCBI
2011
15 years 16 hour ago
2011
Background: The interest in non-coding RNAs (ncRNAs) constantly rose during the past few years because of the wide spectrum of biological processes in which they are involved. Thi...