2948 search results - page 162 / 590 » More Principled Design of Pervasive Computing Systems |
111
click to vote
SIGMETRICS
2008
ACM
15 years 4 months ago
2008
ACM
Large-scale distributed systems provide the backbone for numerous distributed applications and online services. These systems span over a multitude of computing nodes located at d...
149
click to vote
DAC
2003
ACM
15 years 9 months ago
2003
ACM
To improve the system performance, designs with multiple clocks have become more and more popular. In this paper, several novel test generation procedures are proposed to utilize ...
129
click to vote
CHI
2009
ACM
16 years 4 months ago
2009
ACM
Audio CAPTCHAs were introduced as an accessible alternative for those unable to use the more common visual CAPTCHAs, but anecdotal accounts have suggested that they may be more di...
147
click to vote
RTA
2004
Springer
15 years 9 months ago
2004
Springer
We describe the system AProVE, an automated prover to verify (innermost) termination of term rewrite systems (TRSs). For this system, we have developed and implemented efficient al...
171
click to vote
ICDCS
2009
IEEE
16 years 1 months ago
2009
IEEE
We address issues related to privacy protection in location-based services (LBS). Most existing research in this field either requires a trusted third-party (anonymizer) or uses ...