Abstract. In this paper we present our approach for a new contactfree Human-Machine Interface (cfHMI). This cfHMI is designed for controlling applications
This chapter describes Hume: a functionally-based language for programming with bounded resource usage, including time and space properties. The purpose of the Hume language design...
controls often required for gameplay hinder the potential for social interaction, especially in domestic settings. Purple Crayon, an interactive electronic entertainment environme...
Min Xin, Ehud Sharlin, Mario Costa Sousa, Saul Gre...
Cyber-Physical Systems (CPS) are integrations of computation and physical processes. Embedded computers and networks monitor and control the physical processes, usually with feedb...
Several authors have proposed using code modification as a technique for enforcing security policies such as resource limits, access controls, and network information flows. Howeve...