6978 search results - page 105 / 1396 » On Proofs in System P |
172
Voted
INFOCOM
2011
IEEE
14 years 9 months ago
2011
IEEE
—In this paper, we present Novasky, a real-world Video-on-Demand (VoD) system capable of delivering cinematicquality video streams to end users. The foundation of the Novasky des...
244
Voted
SIGMOD
2008
ACM
16 years 6 months ago
2008
ACM
Structured peer-to-peer (P2P) overlays have been successfully employed in many applications to locate content. However, they have been less effective in handling massive amounts o...
201
click to vote
IPTPS
2004
Springer
15 years 11 months ago
2004
Springer
— Peer-to-peer computing, the harnessing of idle compute cycles throughout the Internet, offers exciting new research challenges in the converging domains of networking and distr...
181
Voted
LICS
2008
IEEE
16 years 16 days ago
2008
IEEE
Tait’s method (a.k.a. proof by logical relations) is a powerful proof technique frequently used for showing foundational properties of languages based on typed λ-calculi. Histo...
149
Voted
INFOCOM
2009
IEEE
16 years 24 days ago
2009
IEEE
— Incentive protocols play a crucial role to encourage cooperation among nodes in networking applications. The aim of this paper is to provide a general analytical framework to a...