963 search results - page 82 / 193 » Escape Analysis on Lists |
94
Voted
CIVR
2003
Springer
15 years 5 months ago
2003
Springer
bstract and display digital video surrogates. This study reports on an investigation of digital video results pages that use textual and visual surrogates. Twelve subjects selected...
103
Voted
ICSOC
2003
Springer
15 years 5 months ago
2003
Springer
Converting a conventional contract into an electronic equivalent is not trivial. The difficulties are caused by the ambiguities that the original human-oriented text is likely to c...
94
Voted
ECOOP
1999
Springer
15 years 4 months ago
1999
Springer
This paper argues that the current OO technology does not support reuse and configurability in an effective way. This problem can be addressed by augmenting OO analysis and design ...
127
click to vote
CONCUR
2006
Springer
15 years 4 months ago
2006
Springer
We extend a previous type system for the -calculus that guarantees deadlock-freedom. The previous type systems for deadlockfreedom either lacked a reasonable type inference algorit...
95
Voted
ISW
2000
Springer
15 years 4 months ago
2000
Springer
Securing the mobile code commerce is not an easy task at all. We propose in this paper a framework to tackle this problem. In a first step, we analyse the general issues that must ...