2572 search results - page 262 / 515 » codes 2008 |
151
click to vote
ECOOP
2008
Springer
15 years 6 months ago
2008
Springer
A component revolution is underway, bringing developers improved productivity and opportunities for code reuse. However, whereas existing tools work well for builders of desktop ap...
150
click to vote
CCS
2008
ACM
15 years 7 months ago
2008
ACM
Proving that particular methods within a code base are functionally pure--deterministic and side-effect free--would aid verification of security properties including function inve...
132
click to vote
ERLANG
2008
ACM
15 years 6 months ago
2008
ACM
Currently most Erlang programs contain no or very little type information. This sometimes makes them unreliable, hard to use, and difficult to understand and maintain. In this pap...
147
click to vote
USENIX
2008
15 years 7 months ago
2008
Code sandboxing is useful for many purposes, but most sandboxing techniques require kernel modifications, do not completely isolate guest code, or incur substantial performance co...
153
click to vote
ICIP
2008
IEEE
16 years 6 months ago
2008
IEEE
The problem of efficient video transmission over noisy channels involves good compression rates and robustness in presence of channel failures. The proposed framework of joint sou...