This paper offers a high-level retrospective overview of the GOPI middleware platform which is the outcome of a three year project aimed at the development of generic, configurabl...
This paper explores the problems associated with the multicasting of continuous media to support multimedia group applications. The interaction between multicasting and the deliver...
Joseph Pasquale, George C. Polyzos, George Xylomen...
We give an overview of GRIP, a symmetry reduction tool for the probabilistic model checker PRISM, together with experimental results for a selection of example specifications. 1 ...
We are developing a set of handheld input devices for mutual assessment in the course of a learning activity and a system to give on-the-spot feedback concerning the summary of th...
Jun Yamashita, Hiroshi Kato, Toshiaki Ichimaru, Hi...
In this paper we introduce SocialBrowsing, a Firefox extension that adds social context to the web browsing experience. The extension is paired with services provided by social ne...