Abstract. Background characters in virtual environments do not require the same amount of processing that is usually required by main characters, however we still want simulation t...
Abstract. We show how the firing rule of Petri nets relies on a residuation operation for the commutative monoid of natural numbers. On that basis we introduce closed monoidal str...
T WinWin is a system that aids in the capture and recording of system requirements. It also assists in negotiation. The WinWin system has been available for several years and is be...
This paper discusses technological interventions in support of planners, citizens and other stakeholders in envisioning and negotiating an urban project. A set of prototypal tools...
We reported a study that analyzes collaborative information behavior of small groups in an online math discourse community. Taking group as the unit of analysis, we analyzed the so...