14704 search results - page 2315 / 2941 » computer 2007 |
182
click to vote
LICS
2007
IEEE
16 years 1 months ago
2007
IEEE
Developing a theory of bisimulation in higher-order languages can be hard. Particularly challenging can be: (1) the proof of congruence, as well as enhancements of the bisimulatio...
165
click to vote
P2P
2007
IEEE
16 years 1 months ago
2007
IEEE
Current P2P systems employ tit-for-tat strategies, where peers only upload when they are simultaneously downloading, to avoid free riding. We derive optimal tit-for-tat strategies...
197
click to vote
P2P
2007
IEEE
16 years 1 months ago
2007
IEEE
Range queries are a very powerful tool in a wide range of data management systems and are vital to a multitude of applications. The hierarchy of structured overlay systems can be ...
210
click to vote
P2P
2007
IEEE
16 years 1 months ago
2007
IEEE
An important security issue in DHT-based structured overlay networks is to provide anonymity to the storage nodes. Compromised routing tables in those DHTs leak information about ...
156
click to vote
P2P
2007
IEEE
16 years 1 months ago
2007
IEEE
Location based services are becoming increasingly popular as devices that determine geographical position become more available to end users. The main problem of existing solution...