2401 search results - page 447 / 481 » Designing to support communication on the move |
135
click to vote
CSCW
2006
ACM
15 years 2 months ago
2006
ACM
As the basic sciences become increasingly information-intensive, the management and use of research data presents new challenges in the collective activities that constitute schola...
CCR
2004
15 years 1 months ago
2004
As the Internet grows in size, it becomes crucial to understand how the speeds of links in the network must improve in order to sustain the pressure of new end-nodes being added e...
138
Voted
JACM
2002
15 years 1 months ago
2002
We show how to use an interactive theorem prover, HOL, together with a model checker, SPIN, to prove key properties of distance vector routing protocols. We do three case studies: ...
114
click to vote
INFOCOM
2010
IEEE
15 years 12 days ago
2010
IEEE
—The success of future P2P applications ultimately depends on whether users will contribute their bandwidth, CPU and storage resources to a larger community. In this paper, we pr...
130
click to vote
INFOCOM
2010
IEEE
15 years 12 days ago
2010
IEEE
—Data loss in wireless sensing applications is inevitable and while there have been many attempts at coping with this issue, recent developments in the area of Compressive Sensin...