Projekte

Das exponentielle Wachstum der Komplexität elektronischer Systeme erschwert den Nachweis der Korrektheit (Verifikation) dieser Systeme zusehends. Ziel ...

Das Mittelstand 4.0-Kompetenzzentrum Kaiserslautern ist Teil des bundesweiten Netzwerkes Mittelstand-Digital. Mit Mittelstand-Digital unterstützt das ...

Das Projekt MANIAC zielt auf die Optimierung von Algorithmen für Approximate Computing auf Basis von Binären Entscheidungsdiagrammen. Approximate ...

BEinCPPS (Business Experiments in Cyber Physical Production Systems) ist ein von der EU gefördertes Verbundprojekt mit einer Laufzeit von drei Jahren. ...

Projekt Die Ziele und Möglichkeiten zum Einsatz computergestützter Technologien für die additive Fertigung (CAxMan) sind sehr vielfältig. Dieses ...

Während seiner Projektlaufzeit von September 2015 bis August 2019 vernetzte Smart Data Forum Nutzer und Entwickler von Smart-Data-Technologien in ...

Ziel des Projekts ist die Entwicklung und Umsetzung geeigneter Sicherheitspolitiken, die es erlauben, inkrementell Softwarepakete in bestehende ...

PRO-OPT verfolgt das Ziel, Unternehmen in dezentralen kooperativen Strukturen (Smart Ecosystems) die effektive und intelligente Analyse großer ...

Das Projekt MORES2 zielt auf die Entwicklung geeigneter Verfeinerungstechniken für Workflow-Spezifikationen. Dabei müssen zum einen die verschiedenen ...

eProcurementsysteme erlauben eine effiziente sowie finanziell und personell kostengünstige Abwicklung von Beschaffungsvorgängen in Unternehmen. ...