This paper describes automatic protocol generation (APG for short), a novel mechanism to generate security protocols automatically. With APG, the protocol designer inputs the spec...
Temporal links allow recordings of multi-user sessions to be dynamically inserted into current virtual worlds in a flexible and principled way. This paper explores key application...
Chris Greenhalgh, Martin Flintham, Jim Purbrick, S...
Context-awareness has become a distinguishing feature of Ubiquitous systems. Contrary to desktop and web applications, Ubiquitous applications gather environmental context and pro...
Most space-sharing resources presently operated by high performance computing centers employ some sort of batch queueing system to manage resource allocation to multiple users. In...
A system to interactively create and modify/edit American Sign Language signs is described. The system is grounded on the use of three-dimensional computer graphics to construct t...
Jorge Toro, Jacob D. Furst, Karen Alkoby, Roymieco...