Publishing is an important pillar for the advancement of scientific knowledge and of science as a whole. Among its characteristics are a) the organization of effective communication between researchers (between authors and ...

Research on dependable computing is undergoing a shift from traditional fault tolerance towards techniques that handle faults proactively. These techniques comprise two parts: (a) prediction of failures and (b) actions ...

Um Entwurf und Verifikation komplizierter verteilter Algorithmen leichter und verständlicher zu machen, wird oft eine Verfeinerungsmethode verwendet. Dabei wird ein einfacher Algorithmus, der gewünschte Eigenschaften ...

Autorenidentifikation ist eine der großen Herausforderungen des wissenschaftlichen Publikationsmanagements für alle im Publikationsprozess involvierten Akteurinnen und Akteure, von den Forschungsförderern, über die Verlage ...

The development of software for wireless sensor networks is involved and complex. This does not only impose much work on programmers but also prevents domain experts from directly contributing parts of the software. ...

Durch den Aufbau von Dokumenten- und Publikationsservices an Hochschulen wird die Möglichkeit geschaffen, die an der jeweiligen Hochschule entstehenden wissenschaftlichen Publikationen für eine weltweite Verfügbarkeit zu ...

Diese Arbeit beschreibt einen Ansatz für die Speicherung und Anfrage eines großen Korpus linguistisch annotierter historischer Texte mit Hilfe eines relationalen Datenbanksystems. Texte in solch einem Korpus haben ...