Sciweavers

1833 search results - page 64 / 367
» Mechanized Verification with Sharing
Sort
View
119
Voted
SJ
2010
420views more  SJ 2010»
14 years 7 months ago
DLNA-Based Multimedia Sharing System for OSGI Framework With Extension to P2P Network
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...
Chin-Feng Lai, Yueh-Min Huang, Han-Chieh Chao
109
Voted
CCS
2009
ACM
16 years 1 months ago
PBES: a policy based encryption system with application to data sharing in the power grid
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...
Rakeshbabu Bobba, Himanshu Khurana, Musab AlTurki,...
101
Voted
INFOCOM
2000
IEEE
15 years 5 months ago
Rainbow Fair Queueing: Fair Bandwidth Sharing Without Per-Flow State
Abstract—Fair bandwidth sharing at routers has several advantages, including protection of well-behaved flows and possible simplification of endto-end congestion control mechan...
Zhiruo Cao, Zheng Wang, Ellen W. Zegura
112
Voted
KBSE
2003
IEEE
15 years 6 months ago
Model-based Verification of Web Service Compositions
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...
Howard Foster, Sebastián Uchitel, Jeff Mage...
112
Voted
IFIPTM
2010
113views Management» more  IFIPTM 2010»
14 years 11 months ago
Impact of Trust Management and Information Sharing to Adversarial Cost in Ranking Systems
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...
Le-Hung Vu, Thanasis G. Papaioannou, Karl Aberer