Projekte

Zeige Ergebnisse 41 bis 50 von 59

Im akademischen Bereich existieren zahlreiche Ansätze zur Analyse der logischen Korrektheit von Sicherheitsprotokollen. Computerunterstütze Ansätze basieren durchweg auf dem Dolev-Yao (DY) Modell, das

Ziel von SeSam ist es, Grundlagen für die Entwicklung und Zertifizierung von hochsicheren Betriebssystemkomponenten zu schaffen. Insbesondere geht es um *Virtualisierungslösungen* für zentralisierte P

In dem hälftig von der EU und dem Cosmetics-Europe Verbund der kosmetischen Industrie geförderten Projekt “NOTOX” sollen systembiologische Werkzeuge entwickelt werden, um die toxische Langzeitwirkung

Das Projekt Viewpoint-basierte Modellierung (ViBaM) wurde im Rahmen des EU Programms "EuroStars" erfolgreich beantragt und wird vom BMBF gefördert. Das Ziel von ViBaM ist es, Modellierungswerk

Unternehmen sind heute mit einer rasanten Veränderung ihres Umfelds konfrontiert. So entwickeln sich offene Marktplätze im Internet mit immer individuelleren Kundenanforderungen. Neue Innovationen der

Gegenstand der Forschungsarbeiten von ProForm ist es, erzielte Resultate im Bereich Formaler Methoden für die Entwicklung von Software zur Steuerung industrieller Produktionsprozesse nutzbar zu machen

Das Projekt "Stadtmitte am Fluss" hat das Ziel einen großen Teil der Innenstadt der Landeshauptstadt des Saarlandes neu zu gestalten. Zur besseren Vermittlung der Ideen und Konzept werden neuartige W

AVILUSplus ist ein vom Bundesministerium für Bildung und Forschung (BMBF) gefördertes Forschungs- und Entwicklungsprojekt. Es befasst sich mit Langzeit- Technologien mit Bedarf zur Grundlagenforschung

MODEST integriert Ansätze für Modellgetriebene Softwareentwicklung, Dienstorientierte Architekturen und Semantisches Web in einem innovativen Konzept für semantische und plattformunabhängige Koordinat

The mission of the COIN IP is to study, design, develop and prototype an open, self-adaptive, generic ICT integrated solution to support the above 2020 vision, starting from notable existing research

Deutsches Forschungszentrum für Künstliche Intelligenz
German Research Center for Artificial Intelligence