This paper describes our continued work of a unique robotics project, Comprehensive Access to Printed Materials (CAPM), within the context of libraries. As libraries provide a gro...
Jackrit Suthakorn, Sangyoon Lee, Yu Zhou, G. Sayee...
Language run-time systems are routinely used to host potentially buggy or malicious codelets — software modules, agents, applets, etc. — in a secure environment. A number of t...
This paper describes a unique robotics project, Comprehensive Access to Printed Materials (CAPM), within the context of libraries. As libraries provide a growing array of digital ...
This paper describes the implementation of a workflow management system to support mobile GIS workgroup applications and highlights the design of the workflow definition language t...
We describe a programme of research in resource semantics, concurrency theory, bunched logic, and stochastic processes, as applied to mathematical systems modelling. Motivated by ...