6978 search results - page 103 / 1396 » On Proofs in System P |
CONEXT
2009
ACM
14 years 11 months ago
2009
ACM
An accurate Internet topology graph is important in many areas of networking, from deciding ISP business relationships to diagnosing network anomalies. Most Internet mapping effor...
104
click to vote
GRID
2006
Springer
14 years 10 months ago
2006
Springer
Discovery of large amounts of idle CPUs in fully distributed and shared Grid systems is needed in relevant applications and is still a challenging problem. In this paper we present...
COMCOM
2008
14 years 9 months ago
2008
Implicit group messaging (IGM) is a decoupled messaging paradigm for connecting content publishers and consumers over the Internet. Unlike traditional multicast or publish/subscri...
P2P
2006
IEEE
15 years 3 months ago
2006
IEEE
P2P systems that rely on the voluntary contribution of bandwidth by the individual peers may suffer from freeriding. To address this problem, mechanisms enforcing fairness in band...
CAISE
2003
Springer
15 years 3 months ago
2003
Springer
The proliferation of digital camera devices (stand-alone or combined with cell phones), new protocols such as MMS and the desire of people to communicate and share their experience...