This paper addresses the design and verification of infrastructure for mobile computation. In particular, we study language primitives for communication between mobile agents. The...
This paper describes the eBag infrastructure, which is a generic infrastructure inspired from work with school children who could bene t from a electronic schoolbag for collaborat...
Christina Brodersen, Bent Guldbjerg Christensen, K...
Model-based approaches can be useful when designing nomadic applications, which can be accessed through multiple interaction s. Various models and levels of abstraction can be con...
Dynamic interactive visualisations (DIVs) are intended to help coordination and collaboration, through augmenting existing forms of synchronous communication (i.e. phones, face to...