Since several years, ubiquitous computing and pervasive computing has emerged and, in particular, context-aware computing. Using mobile devices, the context is perpetually evolvin...
Adaptation to changing environmental conditions is a major challenge for most distributed applications. The service-oriented programming paradigm leads to an increasing number of ...
Ubiquitous applications are characterised by variations of their execution context. Their correct operation requires some continual adaptations based on the observation of their e...
Application of model checking to isolated software components is not directly possible because a component does not form a complete program - the problem of missing environment oc...
Software architecture modeling and representation became a main phase of the development process of complex systems. In fact, software architecture representation provides many ad...