— By geocast protocols, information can be directly disseminated to users of mobile devices who currently reside in selected geographical regions. Time-stable geocast protocols e...
— Cooperation amongst heterogeneous mobile radio systems will be an indispensable feature of ‘beyond 3G’. One key mechanism thereby serving as enabling technique for system i...
The paper targets the applicability of model-driven methodologies to the validation of complex systems and presents a case study of a mobile radio network. Validation relies on the...
In this paper we present a new environment for supporting Web user interface migration through different modalities. The goal is to furnish user interfaces that are able to migrate...
Abstract We present ML5, a high level programming language for spatially distributed computing. The language, a variant of ML, allows an entire distributed application to be develo...