6978 search results - page 77 / 1396 » On Proofs in System P |
102
click to vote
ICMCS
2007
IEEE
15 years 4 months ago
2007
IEEE
In this paper, we consider applying multiple description coding in data-driven P2P live streaming networks to provide incentives for redistribution. In our system, a video is enco...
CIKM
2008
Springer
14 years 11 months ago
2008
Springer
Structured P2P overlays supporting standard database functionalities are a popular choice for building large-scale distributed data management systems. In such systems, estimating...
ASIACRYPT
2000
Springer
15 years 2 months ago
2000
Springer
Abstract. We introduce weaker models for non-interactive zero knowledge, in which the dealer is not restricted to deal a truly random string and may also have access to the input t...
GLOBE
2009
Springer
15 years 2 months ago
2009
Springer
P2P systems are increasingly used for efficient, scalable data sharing. Popular applications focus on massive file sharing. However, advanced applications such as online communiti...
JANCL
2006
14 years 9 months ago
2006
We describe a relational framework that uniformly supports formalization and automated reasoning in various propositional modal logics. The proof system we propose is a relational ...