We build on our prior work with computer-supported teams performing a complex decision-making task on maps, where the distinction between content and process common ground is prop...
Gregorio Convertino, Helena M. Mentis, Mary Beth R...
In this paper, we discuss the generation of icons that represent the emotion expressed in music. We use the emotion plane for connecting the music with the icon shape affectively....
Hyun-Ju Kim, Min-Joon Yoo, Ji-yong Kwon, In-Kwon L...
Safety Critical Java is a specification being built on top a subset of interfaces from the Real-Time Specification for Java. It is designed to ease development and analysis of s...
To understand users’ acceptance of the emerging trend of personality-based recommenders (PBR), we evaluated an existing PBR using the technology acceptance model (TAM). We also ...
This paper describes the transaction support framework OPTIMA and its implementation for Ada 95. First, a transaction model that fits concurrent programming languages is presented...