Search Sciweavers | Sciweavers

6978 search results - page 348 / 1396

» On Proofs in System P

163

click to vote

ICIW
2007
IEEE

75views Internet Technology» more ICIW 2007»

Towards a Framework for Dynamic Verification of Peer-to-Peer Systems

16 years 1 months ago

Download www.soi.city.ac.uk

Ensuring dependability and security of Peer-toPeer (P2P) systems is an intricate task due to the autonomous and volatile nature of peers and the decentralization that characterize...

Theofrastos Koulouris, George Spanoudakis, Theocha...

claim paper

Read More »

208

click to vote

ICN
2007
Springer

185views Computer Networks» more ICN 2007»

Design Issues of Peer-to-Peer Systems for Wireless Ad Hoc Networks

16 years 29 days ago

Download www.discover.uottawa.ca

– Peer-to-peer is a popular distributed system. Mobile ad hoc networks and peer-to-peer file sharing systems both lack fixed infrastructure support and hold no a-priori knowledge...

Dewan Tanvir Ahmed, Shervin Shirmohammadi

claim paper

Read More »

171

Voted

WETICE
2005
IEEE

130views Emerging Technology» more WETICE 2005»

A Reputation Management System in Structured Peer-to-Peer Networks

16 years 11 days ago

Download www.sel.uniroma2.it

Since there is no method to verify the trustworthiness of shared ﬁles in P2P systems, malicious peers can spread untrustworthy ﬁles to the system. In order to prevent untrustw...

So Young Lee, O-Hoon Kwon, Jong Kim, Sung Je Hong

claim paper

Read More »

109

click to vote

DAC
1998
ACM

162views Computer Architecture» more DAC 1998»

A Multiprocessor DSP System Using PADDI-2

16 years 7 months ago