— Efficiently utilizing limited peer upstream bandwidth is one of key challenges in P2P streaming. Many mechanisms have been proposed to address this issue by considering peer av...
Placing our result in a web of related mechanised results, we give a direct proof that the de Bruijn λ-calculus (`a la Huet, Nipkow and Shankar) is isomorphic to an α-quotiented ...
Storytelling capabilities are vital aspect of a tour guide. In this paper, we present a mobile tour guide that emulates a real guide’s behaviour by presenting stories based on th...
This paper proposes a middleware based on the multi-agent paradigm. Our proposition enables agents to locate and to interact easily with heterogeneous services and information pro...
— Multiple power supply voltages are often used in modern high performance ICs such as microprocessors to decrease power consumption without affecting circuit speed. The system o...