Sciweavers

3083 search results - page 426 / 617
» Active Peer to Peer
Sort
View
ACHI
2009
IEEE
16 years 1 months ago
Predictability of a Human Partner in a Pursuit Tracking Task without Haptic Feedback
We are interested in whether humans create a model of their partner when they jointly manipulate an object in a virtual task without haptic feedback. In such a scenario the partne...
Raphaela Groten, Jens Hölldampf, Angelika Pee...
ICSE
2009
IEEE-ACM
16 years 1 months ago
Verifying networked programs using a model checker extension
Model checking finds failures in software by exploring every possible execution schedule. Until recently it has been mainly applied to stand-alone applications. This paper presen...
Watcharin Leungwattanakit, Cyrille Artho, Masami H...
KDD
2009
ACM
172views Data Mining» more  KDD 2009»
16 years 1 months ago
The role of game theory in human computation systems
The paradigm of “human computation” seeks to harness human abilities to solve computational problems or otherwise perform distributed work that is beyond the scope of current ...
Shaili Jain, David C. Parkes
CSE
2009
IEEE
16 years 1 months ago
Ceremonies Formal Analysis in PKI's Context
—Ceremonies are a useful tool to establish trust in scenarios where protocols operate. They describe a greater range of issues not taken into account by protocol designers. We ta...
Jean Everson Martina, Túlio Cicero Salvaro ...
GLOBECOM
2009
IEEE
16 years 1 months ago
P2P-ISP Cooperation: Risks and Mitigation in Multiple-ISP Networks
—Several proposals on P2P-ISP cooperation have recently been developed using information sharing for localitybased peering. Their benefits in terms of P2P efficiency, ISP cost,...
Aliye Özge Kaya, Mung Chiang, Wade Trappe