1511 search results - page 229 / 303 » Relational Parametricity for Computational Effects |
139
click to vote
IMC
2004
ACM
15 years 10 months ago
2004
ACM
multiQ is a passive capacity measurement tool suitable for largescale studies of Internet path characteristics. It is the first passive tool that discovers the capacity of multip...
152
click to vote
UCS
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. We propose a unified ubiHome application service model which provides user-centered services by exploiting intelligent context-awareness. Recently, most of research relat...
140
click to vote
ICNP
2003
IEEE
15 years 10 months ago
2003
IEEE
Peer-to-peer systems have quickly become a popular way for file sharing and distribution. In this paper, we focus on the subsystem consisting of peers and their actions relative ...
142
click to vote
ISCAS
2003
IEEE
15 years 10 months ago
2003
IEEE
Many watermarking algorithms embed the watermark into the image as contiguous non-overlapping tiles. This tiling structure forms an implicit synchronization template that can be r...
128
click to vote
RTSS
2003
IEEE
15 years 10 months ago
2003
IEEE
—Many real-time systems have firm real-time requirements which allow occasional deadline violations but discard any jobs that are not finished by their deadlines. To measure the ...