In the academic area there are numerous approaches to the formal analysis of security protocols. Computer-supported approaches are all based on the Dolev-Yao (DY) model, which assumes a perfect crypto
SemoPad investigates technical and user-friendly design issues for bringing the Semantic Desktop paradigm to mobile scenarios. SemoPad focusses on user interfaces for the iPad 2 and relies on intranet
Das Projekt Voice2Social zielt darauf ab, durch eine Kombination von multimodaler Interaktionstechnologie und Social Software neuartige und vielfältig angereicherte Interaktionsmöglichkeiten für die N
The Mobile Payload Element (MPE) is an announcement from the DLR Space Administration. In the context of a Phase 0/A study, the project develops and evaluates concepts for a national contribution to a
Das Projekt verfolgt die Entwicklung eines Systems zur physikalisch korrekten Visualisierung virtueller Objekte in einer beliebigen realen und dynamischen Umgebung. Dabei kommt eine sphärische Kamera
VirGo4 focuses on cooperative, adaptive, and reliable robots. Besides looking at the behaviour control of individual robots, mostly the anticipatory behaviour in teams is important in VirGo4. Two main
The goal of the research project IMPERA is the development of strategies for distributed mission and task planning. An application example is the exploration of unknown, lunar environment using a team
SmartBot is a cross-border collaboration involving 24 different partners from Germany and the Netherlands. The aim is to develop multi sensor robot platforms for maritime, agricultural and industry ap
ESA's Networking/Partnering Initiative (NPI) supports work carried out by universities and research institutes on advanced technologies with potential space applications, with the aim of fostering inc