: Changing user skills, available infrastructure, and work practices have caused many differences in the authoring support provided by the Walden's Paths project since its con...
Unmil Karadkar, Luis Francisco-Revilla, Richard Fu...
We address the problem of applying resource-bounded functional programming languages in practice on object-oriented virtual machines which include calls to native methods coded in...
In this paper, we propose a hardware performance monitor that provides support not only for measuring cache misses and the addresses associated with them, but also for determining...
We construct a language extension for process calculi for modelling the exchange of cryptographically composed data. More specifically, we devise a succinct syntax for terms and ...
In this article we discuss potential scenarios of use for mobile media in museums and the challenges they pose. We examine how the characteristics of mobile technology suit the sp...