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...
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...
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 ...
—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...
—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,...