The SLam calculus is a typed -calculus that maintains security information as well as type information. The type system propagates security information for each object in four for...
A computerised system supporting public presentations that are "personalised" at two levels is now possible. Firstly, the system exploits context information to adapt th...
Providing compelling, realistic, immersive game worlds is one of the major goals in modern game design. The presence of unique and interesting dialogue for all of the characters i...
—The amount of dynamic content on the web has been steadily increasing. Scripting languages such as JavaScript and browser extensions such as Adobe’s Flash have been instrument...
Sean Ford, Marco Cova, Christopher Kruegel, Giovan...
—A significant percentage of online content is now published and consumed via the mechanism of crowdsourcing. While any user can contribute to these forums, a disproportionately...
Fang Wu, Dennis M. Wilkinson, Bernardo A. Huberman