Sometimes we want to search for new information about topics but we can not find relevant results using our own knowledge (for example, our personal bookmarks). A potential solution could be the use of knowledge from other users to find what we are searching for. This solution implies that we can achieve some agreement on implicit semantics used by the other users. We call it Reconciliation of ...

How should Location Based Services (LBS) look like? What should they offer and in which form? This paper aims at answering some of these kinds of questions by presenting the results of a detailed survey recently undertaken in Heidelberg, Germany. A general section covers questions about the acceptance of different content types and services on mobile devices. Furthermore the preferences of vari...

With increasing complexities and a component-based design style the handling of unknown values (e. g., at the interface of components) becomes more and more important in electronic design automation (EDA) and production processes. Tools are required that allow an accurate modeling of unknowns in combination with algorithms balancing exactness of representation and efficiency of calculation. In ...

Formal methods are widely recognized as a powerful engineering method for the specification, simulation, development, and verification of distributed interactive systems. However, most formal methods rely on a two-valued logic, and are therefore limited to the axioms of that logic: a specification is valid or invalid, component behavior is realizable or not, safety properties hold or are violat...

Not only does a clear distinction between control and data flow enhance the readability of models, but it also allows different tools to operate on the two distinct parts of the model. This paper shows how the modelling based on control/data-flow analysis can benefit from an object-based approach. We have developed a translation mechanism that is faithful and gives an extra dimension (hierarchy...

In this paper we introduce a formal model of components in the OMEGA subset of UML. The main rationale of our component model is to provide additional structuring and abstraction mechanisms which allow a modeling discipline and the application of formal techniques based on “inter-

This article introduces a formal model to specify, model and validate hierarchical complex systems described at different levels of analysis. It relies on concepts that have been developed in the multi-agentbased simulation (MABS) literature: level, influence and reaction. One application of such model is the specification of hierarchical complex systems, in which decisional capacities are dyna...

In this paper, we proposed distributed and adaptive grid workflow net model. Which applies the Coloured Petri net as the formalism to describe grid process, and proposed the formal method for grid services to composite the gridflows. And also proposed the multi-agent based implementation for gridflow net model.

The ongoing progression of mobile communication devices, in particular with respect to positioning capabilities, has enabled the development of a new generation of location-based services (LBS). One of the most important aspects of current research on LBS is personalisation but it has 10 been treated primarily for individual users. This article presents a first step towards personalised LBS tha...