2647 search results - page 310 / 530 » Solving Term Inequalities |
150
click to vote
MM
2006
ACM
16 years 14 days ago
2006
ACM
Periodic broadcast protocols enable the efficient streaming of highly popular media files to large numbers of concurrent clients. Most previous periodic broadcast protocols, howe...
165
click to vote
NSPW
2006
ACM
16 years 14 days ago
2006
ACM
What would a PKI look like if it were designed for implementability and deployability rather than strict adherence to a particular theoretical or mathematical model? This paper pr...
186
click to vote
PLDI
2006
ACM
16 years 14 days ago
2006
ACM
Program termination is central to the process of ensuring that systems code can always react. We describe a new program termination prover that performs a path-sensitive and conte...
178
click to vote
PODC
2006
ACM
16 years 14 days ago
2006
ACM
We study a novel separator property called k-path separable. Roughly speaking, a k-path separable graph can be recursively separated into smaller components by sequentially removi...
152
click to vote
SAC
2006
ACM
16 years 14 days ago
2006
ACM
Location-based applications and services are getting increasingly important for mobile users. They take into account a mobile user's current location and provide a location-d...