We propose a development methodology for designing and prototyping high assurance microkernels, and describe our application of it. The methodology is based on rapid prototyping a...
Philip Derrin, Kevin Elphinstone, Gerwin Klein, Da...
GRADD is a group decision support systems targeted at asynchronous and distributed meetings. The distinctive features of GRADD are the combination of a rationalemodel for discussi...
: Conventions are an important part of articulation work. They are a means to merge the various perspectives and workstyles that are involved in handling shared objects in CSCW. We...
We present here the current prototype of the text understanding system HELENE. The objective of this system is to achieve a deep understanding of small reports dealing with a rest...
Instant messaging has become a part of our daily live. Instant communication, either with a mobile device or with a computer based application, is an increasingly used form of com...