18429 search results - page 272 / 3686 » Typing dynamic typing |
162
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
After two decades of repository development, some conclusions may be drawn as to which type of repository and what kind of service best supports digital scholarly communication, a...
167
click to vote
IJNSEC
2010
15 years 1 months ago
2010
As the importance and the value of exchanged data over the Internet or other media types are increasing, the search for the best solution to offer the necessary protection against...
169
click to vote
EVOW
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. In this paper we propose a new benchmark problem for dynamic combinatorial optimisation. Unlike most previous benchmarks, we focus primarily on the underlying dynamics of...
296
click to vote
POPL
2009
ACM
16 years 7 months ago
2009
ACM
We propose a new verification method for temporal properties of higher-order functional programs, which takes advantage of Ong's recent result on the decidability of the mode...
140
click to vote
CHI
2008
ACM
16 years 7 months ago
2008
ACM
Repetitive strain injuries and ergonomics concerns have become increasingly significant health issues as a growing number of individuals frequently use computers for long periods ...