1716 search results - page 324 / 344 » Proving Conditional Termination |
127
Voted
SIGCOMM
2005
ACM
15 years 6 months ago
2005
ACM
Thousands of competing autonomous systems must cooperate with each other to provide global Internet connectivity. Each autonomous system (AS) encodes various economic, business, a...
112
click to vote
SIGECOM
2005
ACM
15 years 6 months ago
2005
ACM
We study first-price auction mechanisms for auctioning flow between given nodes in a graph. A first-price auction is any auction in which links on winning paths are paid their ...
ICDT
2005
ACM
15 years 6 months ago
2005
ACM
Abstract. In this paper, we consider whether traditional index structures are effective in processing unstable nearest neighbors workloads. It is known that under broad conditions...
110
click to vote
TCC
2005
Springer
15 years 6 months ago
2005
Springer
Russell and Wang [22] recently introduced an elegant, information-theoretic notion called entropic security of encryption: they required that the cipher text leak no predicate of ...
109
click to vote
ICCHP
2004
Springer
15 years 6 months ago
2004
Springer
: Multimedia and Hypermedia technologies can be successfully used in education and rehabilitation for cognitively disabled persons. In particular, storytelling has always proved su...