Service availability is of key importance to operations and maintenance systems for mobile telephony networks. This paper will describe some of the challenges in providing continu...
Adopting a programming-language perspective, we study the problem of implementing authentication in a distributed system. We define a process calculus with constructs for authent...
: The globalisation of Internet technology had a strong impact on technology price and availability, which resulted in the emerging of more opportunities and more services in dista...
We examine the problem of how to ensure behavioral consistency of an object-oriented system after its schema has been updated. The problem is viewed from the perspective of both t...
We give a brief overview of operational models for concurrent systems that exhibit probabilistic behavior, focussing on the interplay between probability and nondeterminism. Our su...