1833 search results - page 64 / 367 » Mechanized Verification with Sharing |
119
Voted
SJ
2010
14 years 7 months ago
2010
Multimedia video sharing has been developed rapidly over the past years. P2P multimedia sharing mechanisms for P2P network such as PPLive, PPStream, Joost, have been used popularly...
109
Voted
CCS
2009
ACM
16 years 1 months ago
2009
ACM
In distributed systems users need the ability to share sensitive content with multiple other recipients based on their ability to satisfy arbitrary policies. One such system is el...
101
Voted
INFOCOM
2000
IEEE
15 years 5 months ago
2000
IEEE
Abstract—Fair bandwidth sharing at routers has several advantages, including protection of well-behaved flows and possible simplification of endto-end congestion control mechan...
112
Voted
KBSE
2003
IEEE
15 years 6 months ago
2003
IEEE
In this paper we discuss a model-based approach to verifying web service compositions for web service implementations. This approach provides verification of properties created fr...
112
Voted
IFIPTM
2010
14 years 11 months ago
2010
Ranking systems such as those in product review sites and recommender systems usually use ratings to rank favorite items based on both their quality and popularity. Since higher ra...