Formal description techniques, verification methods, and their tool-based automated application meanwhile provide valuable support for the formal analysis of communication protocol...
Personalized and context-aware services are of high interest for Mobile Network Operators (MNOs) to keep existing and win new subscribers. Although such services are already avail...
—The timely and efficient management of faults that affect the quality of services delivered to customers is an important issue for service providers with respect to their busin...
In this paper, we present the concept of follow-me semantics of the large-scale pervasive application and discuss the features and services to its implementation based on the inte...
: Most cooperation support systems require information about the organisational context in which they are used. This is particularly required when systems are used in a large organ...