Abstract. In this paper we describe an assume/guarantee based execution constraints synthesis algorithm for concurrent threads executing on parallel platforms. Threads are loops wh...
In this paper, we discuss the use of anthropomorphic form in the design of products. We assert that anthropomorphic form is not merely an embellishment but that it can be used as ...
This article describes the role and functions of facial expressions in human-human and human-computer interactions from a psychological point of view. We introduce our theoretical...
We describe a prototype system that combines together the overlaid 3D graphics of augmented reality with the untethered freedom of mobile computing. The goal is to explore how the...
As software systems become more complex the overall system structure { or software architecture { becomes a central design problem. An important step towards an engineering discip...