7796 search results - page 405 / 1560 » On Generalized Schur Numbers |
208
click to vote
OOPSLA
2005
Springer
16 years 1 months ago
2005
Springer
Currently, the most adopted criterion to invoke garbage collection is heap space exhaustion. In other words, garbage collection is invoked when the heap space (either the entire s...
201
click to vote
PPDP
2005
Springer
2005
Springer
A resolution strategy for verifying cryptographic protocols with CBC encryption and blind signatures
16 years 1 months ago
Formal methods have proved to be very useful for analyzing cryptographic protocols. However, most existing techniques apply to the case of abstract encryption schemes and pairing....
199
click to vote
CSCW
2004
ACM
16 years 1 months ago
2004
ACM
A number of studies have explored issues of interruption and availability in workplace environments, but few have examined how attitudes toward availability play out in home life....
225
click to vote
IMC
2004
ACM
16 years 1 months ago
2004
ACM
In this paper, we propose a model for representing and predicting distances in large-scale networks by matrix factorization. The model is useful for network distance sensitive app...
188
click to vote
ISLPED
2004
ACM
16 years 1 months ago
2004
ACM
Dynamic voltage scaling (DVS) is a well-known low-power design technique for embedded real-time systems. Because of its effectiveness on energy reduction, several variable voltag...