We begin by showing how to faithfully encode the Classical Modal Display Logic (CMDL) of Wansing into the Calculus of Structures (CoS) of Guglielmi. Since every CMDL calculus enjo...
An e-learning system based on Ajax has been developed. Ajax enables Web users to upload user commands and download new information without the need for a page refresh. Various e-l...
We present a new transcoding technique for WWW navigation on small display devices: hierarchical atomic navigation (HANd). Unlike previous techniques, HANd shows all original info...
David Conde-Lagoa, Enrique Costa-Montenegro, Franc...
We investigate the differences ? in terms of both quantitative performance and subjective preference ? between direct-touch and mouse input for unimanual and bimanual tasks on tab...
Clifton Forlines, Daniel Wigdor, Chia Shen, Ravin ...
Models become increasingly important for software development processes. Though there is a multitude of software modeling tools available, the handling of diagrams is still diffic...