Skip to main content Skip to main navigation

Projects

Displaying results 41 to 50 of 68.
  1. SaferApps – Safe Execution of Foreign Application in an Enterprise Infrastructure

    SaferApps – Safe Execution of Foreign Application in an Enterprise Infrastructure

    The project aims at the development and implementation of appropriate security policies and mechanisms that allow one to incrementally integrate foreign software packages into an existing corporate ne

  2. KI-Suche – Developing a Search Machine using Principles of Artificial Intelligence

    KI-Suche – Developing a Search Machine using Principles of Artificial Intelligence

    eProcurementsysteme allow for an efficient as well as cheap (with respect to personnel as well as financial costs) handling of consumable orderings in industry. Employees may chose the desired article

  3. MORES2 – Modelling and Refinement of Security Requirements on Data and Processes 2

    MORES2 – Modelling and Refinement of Security Requirements on Data and Processes 2

    MORES2 aims at the development of appropriate refinement techniques for workflow specifications. In particular, the notion of refinement to be developed has to support the refinement of the various as

  4. HYSOCIATEA – Hybrid Social Teams for Long-Term Collaboration in Cyber-Physical Environments

    HYSOCIATEA – Hybrid Social Teams for Long-Term Collaboration in Cyber-Physical Environments

    The project HySociaTea (Hybrid Social Teams for Long-Term Collaboration in Cyber-Physical Environments), which is funded by the German Federal Ministry of Education and Research, realizes and examines

  5. SIRKA – Sensoranzug zur individuellen Rückmeldung körperlicher Aktivität

    SIRKA – Sensoranzug zur individuellen Rückmeldung körperlicher Aktivität

    Motivation In many physically challenging jobs with heavy movements the risk for developing occupational illnesses after the age of 50 is significantly high. The aim of the SIRKA project is to develop

  6. SPECifIC – Quality-driven Design Flow using Formal Specifications and Functional Change Management

    SPECifIC – Quality-driven Design Flow using Formal Specifications and Functional Change Management

    The goal of the SPECifIC project is a novel design flow to support the development of embedded and cyber-physical systems, which will meet the challenges of the increased demand on the quality, and th

  7. LAWCHECK – Automatic Formalisation of legal texts aided by natural language processing

    LAWCHECK – Automatic Formalisation of legal texts aided by natural language processing

    This projects aims at the development of methods for a semi-automatic formalization of legal regulations provided in natural language. For this purpose, established methodologies from the domain of Na

  8. ASSAM – Assistants for Safe Mobility

    ASSAM – Assistants for Safe Mobility

    The ASSAM project aims to compensate for declining physical and cognitive capabilities of elderly persons by user-centred development of modular navigation assistants for various mobility platforms, s

  9. SiSSi – Software Engineering for Spreadsheet Interaction

    SiSSi – Software Engineering for Spreadsheet Interaction

    Spreadsheets have become very popular to analyze and visualize business and science data, so their complexity and impact increased dramatically over the years. As active documents they are situated so

  10. SATCLOUD – Secure and highly-available Trust contexts for mixed cloud scenarios

    SATCLOUD – Secure and highly-available Trust contexts for mixed cloud scenarios

    Cloud computing is a key component in the future of IT infrastructure in organizations. Typically, however, not all components of IT infrastructure are migrated to the cloud, but rather existing compo