• MoPiDiG - Profile-based group forming in ad hoc networks Dr. Christian Seitz (Programming Distributed Systems)
    Profile-based group forming in mobile ad hoc networks represents a new field of application. The profile-based group forming corresponds to a data mining on profiles in a ad hoc enviroment. In the profile-based group forming every mobile host is equipped with user profile. As the subscribers move around similar profiles within the ad hoc network are searched and pooled to groups. As a consequence the group members are enabled to solve a problem together. We use profile-based group forming as an example in a taxi-sharing scenario. At this at highly frequented locations persons with similar destinations are searched so that they can share a taxi.

  • InopSys - Interoperability of Calculi for System Modelling Prof. Dr. Bernhard Möller (Programming Methodology and Multimedia Information Systems)
    The use of different complementary views plays an important role in describing complex systems. There are a lot of models which are adequate for data, transitions, interaction, composition, and recursive definitions at any level to describe static and dynamic aspects. The goal of the project is the integration of different formal models into an interoperable toolkit.