Abstract. We present a formal development in Event-B of a distributed topology discovery algorithm. Distributed topology discovery is at the core of several routing algorithms and ...
Thai Son Hoang, Hironobu Kuruma, David A. Basin, J...
Virtual teams and their leaders are key players in global organisations. Using teams of workers dispersed temporally and geographically has changed the way people work in groups a...
Current e-learning environments do not provide sufficient support for group collaboration. The absence of the visual identification of the users makes effective collaboration in e...
Katherine G. Franceschi, Ronald M. Lee, David Hind...
We present WeSpace – a collaborative work space that integrates a large data wall with a multi-user multi-touch table. WeSpace has been developed for a population of scientists ...
Daniel Wigdor, Hao Jiang, Clifton Forlines, Michel...
A deterministic behavior of systems composed of several modules is a desirable design goal. Assembling a complex system from components requires also a high degree of re-usability....