Abstract. Stochastic model checking is a recent extension of traditional modelchecking techniques for the integrated analysis of both qualitative and quantitative system properties...
Users of synchronous groupware systems act both as individuals and as members of a group, and designers must try to support both roles. However, the requirements of individuals an...
Disconnection and reconnection are common problems for users of synchronous groupware, but these problems are not easy for developers to handle because of the wide range of scenar...
This paper compares popular client and server architectures used for groupware. It presents a client framework and evaluates native, installed clients, Java-based applications, an...
Software development in general and groupware applications in particular can greatly benefit from the reusability and interoperability aspects associated with software components....