The presence of network latency leads to usability problems in distributed groupware applications. Example problems include difficulty synchronizing tightly-coupled collaboration...
Abstract. Stochastic model checking is a recent extension of traditional modelchecking techniques for the integrated analysis of both qualitative and quantitative system properties...
Mobile cooperative systems can facilitate cooperation by improving the flexibility of usage. However, mobile devices present some constraints that become the design and implement...
Adaptive groupware systems support changes in users’ locations, devices, roles and collaborative structure. Developing such systems is difficult due to the complex distributed ...
Christopher Wolfe, T. C. Nicholas Graham, W. Greg ...
We introduce the “WUI-Toolkit” as a framework to support and ease the development of wearable user interfaces (WUIs). The toolkit presents a first step towards a model-driven...