Organisational interoperability requires a matching of goals and provided and required services between interacting organizations. It is being shown that the recent OMG standards ...
This paper is concerned with the problem of checking whether a given subset of an unsatisfiable Boolean CNF formula takes part in the basic causes of the inconsistency of . More ...
Personal information management (PIM) is an important and hard research problem. Previous systems suffer inflexibility because of strict hierarchies and immobility. I present an a...
We present a wireless prototype system for real-time snowboard training. This system can be used to detect common mistakes during snowboarding and to give students immediate feedb...
User trials for future mobile telecommunication applications inherently pose several particular challenges which are difficult to meet in a traditional lab environment. In this pa...