9223 search results - page 1747 / 1845 » Privacy-preserving performance measurements |
118
click to vote
ISSTA
2004
ACM
15 years 7 months ago
2004
ACM
Model checking based on validating temporal logic formulas has proven practical and effective for numerous software engineering applications. As systems based on this approach ha...
107
click to vote
JCDL
2004
ACM
15 years 7 months ago
2004
ACM
We developed two browsers to support large personal photo collections on PDAs. Our first browser is based on a traditional, folder-based layout that utilizes either the user’s m...
138
click to vote
JCDL
2004
ACM
15 years 7 months ago
2004
ACM
Today’s web is so huge and diverse that it arguably reflects the real world. For this reason, searching the web is a promising approach to find things in the real world. This ...
134
click to vote
MM
2004
ACM
15 years 7 months ago
2004
ACM
Content based retrieval of similar multimedia objects (e.g. images, text, and videos) is an important research issue in the field of multimedia database. In this demo, we present ...
123
Voted
MOBICOM
2004
ACM
15 years 7 months ago
2004
ACM
We present MobiDesk, a mobile virtual desktop computing hosting infrastructure that leverages continued improvements in network speed, cost, and ubiquity to address the complexity...