FormalSafe zielt auf die computergestützte Verwaltung der vielen Arten von Dokumenten, die in der Entwicklung hochzuverlässiger Systeme vorkommen, mit ...
D-SPIN ist das deutsche Teilprojekt des ESFRI-Projektes CLARIN. Ziel des Vorhabens ist die Entwicklung einer eScience Infrastruktur für linguistische ...
ConQA ist eine Erweiterung des internationalen Projekts QALL-ME, das im Bereich IST des Sechsten Rahmenprogramms der Europäischen Union angesiedelt ...
Imagine what kind of applications become possible when our mobile devices do not only present data to the owner but provide valuable information to ...