6978 search results - page 345 / 1396 » On Proofs in System P |
188
click to vote
ICDCS
2007
IEEE
16 years 1 months ago
2007
IEEE
Live peer-to-peer (P2P) streaming applications have been successfully deployed in the Internet. With relatively simple peer selection protocol design, modern live P2P streaming ap...
202
click to vote
WOWMOM
2005
ACM
16 years 11 days ago
2005
ACM
Both Mobile Ad Hoc Networks (MANETs) and Peer-toPeer (P2P) Networks are decentralized and self-organizing networks with dynamic topology and responsible for routing queries in a d...
205
click to vote
ICDCS
2002
IEEE
15 years 11 months ago
2002
IEEE
Peer-to-peer systems have emerged as a popular way to share huge volumes of data. The usability of these systems depends on effective techniques to find and retrieve data; howeve...
152
click to vote
PLILP
1998
Springer
15 years 11 months ago
1998
Springer
A property P of term rewriting systems is persistent if for any many-sorted term rewriting system R, R has the property P if and only if its underlying term rewriting system (R), ...
158
click to vote
ICASSP
2009
IEEE
16 years 1 months ago
2009
IEEE
We study the invertibility of M-variate polynomial (respectively : Laurent polynomial) matrices of size N by P. Such matrices represent multidimensional systems in various setting...