4075 search results - page 623 / 815 » Modeling Distributed Algorithm Using B |
187
click to vote
SIGCOMM
2005
ACM
16 years 3 days ago
2005
ACM
This paper describes ExOR, an integrated routing and MAC protocol that increases the throughput of large unicast transfers in multi-hop wireless networks. ExOR chooses each hop of...
188
click to vote
SLIP
2003
ACM
15 years 11 months ago
2003
ACM
In this paper, we describe an accurate metric (perimeter-degree) for measuring interconnection complexity and effective use of it for controlling congestion in a multilevel framew...
185
click to vote
MIDDLEWARE
2007
Springer
16 years 20 days ago
2007
Springer
In this paper we consider the problem of maximising utility in linked market-driven distributed and Grid systems. In such systems, users submit jobs through brokers who can virtua...
194
click to vote
STOC
2005
ACM
16 years 6 months ago
2005
ACM
We study an extension of the "standard" learning models to settings where observing the value of an attribute has an associated cost (which might be different for differ...
193
click to vote
KDD
2010
ACM
15 years 10 months ago
2010
ACM
Stroke is the third leading cause of death and the principal cause of serious long-term disability in the United States. Accurate prediction of stroke is highly valuable for early...