In component-based software development, it is important to ensure interoperability between components based on their unambiguous semantic descriptions, in order to obtain a viabl...
Using service-based system descriptions simplifies the specification of complex reactive systems as found in the domain of web-services as well as embedded systems. To support a se...
We present an evaluation of mudibo, a prototype system for determining the position of dialog boxes in a multiplemonitor system. The analysis shows that, when compared to a standa...