—FMC (Fixed-Mobile Convergence) is introduced as an approach for converging wireless and wireline networks. Even though it has a number of appealing aspects, it also has signific...
Mobile communication has developed rapidly in the last few years, shifting from voice to data transfer and offering unique opportunities for providing information. This study focu...
: The idea of developing software through systematic development processes to improve software quality is not new. Nevertheless, there are still many information systems such as th...
In this paper, we propose a global tracking service for mobile agents, which is scalable to the Internet and accounts for security issues as well as the particularities of mobile a...
Formal methods are a popular means to specify and verify security properties of a variety of communication protocols. In this article we take a step towards the use of team automa...
Maurice H. ter Beek, Gabriele Lenzini, Marinella P...