21108 search results - page 4109 / 4222 » A General Class of Models of |
165
click to vote
MM
2003
ACM
15 years 10 months ago
2003
ACM
When querying a news video archive, the users are interested in retrieving precise answers in the form of a summary that best answers the query. However, current video retrieval s...
180
Voted
MOBICOM
2003
ACM
15 years 10 months ago
2003
ACM
Handoff latency results in packet losses and severe End-to-End TCP performance degradation as TCP, perceiving these losses as congestion, causes source throttling or retransmissio...
160
click to vote
PLDI
2003
ACM
15 years 10 months ago
2003
ACM
This paper reports on a new approach to solving a subset-based points-to analysis for Java using Binary Decision Diagrams (BDDs). In the model checking community, BDDs have been s...
183
click to vote
PLDI
2003
ACM
15 years 10 months ago
2003
ACM
We propose a low-overhead sampling infrastructure for gathering information from the executions experienced by a program’s user community. Several example applications illustrat...
171
Voted
PODC
2003
ACM
15 years 10 months ago
2003
ACM
Applications such as e-commerce payment protocols, electronic contract signing, and certified e-mail delivery require that fair exchange be assured. A fair-exchange protocol allo...