Giftige Eigenschaften von Helenium tenuifolium.

Nichtbeweisbarkeit von gewissen kombinatorischen Eigenschaften endlicher Bäume

In this paper we exposit some as yet unpublished results of Harvey Friedman. These results provide the most dramatic examples so far known of mathematically meaningful theorems of finite combinatorics which are unprovable in certain logical systems. The relevant logical systems, A T R o and I I l C A o , are well known as relatively strong fragments of second order arithmetic. The unprovable co...

Reengineering von Software-Komponenten zur Vorhersage von Dienstgüte-Eigenschaften

Die Verwendung von Komponenten ist ein anerkanntes Prinzip in der Software-Entwicklung. Dabei werden Software-Komponenten zumeist als Black-Boxes aufgefasst [1], deren Interna vor einem KomponentenVerwender verborgen sind. Zahlreiche ArchitekturAnalyse-Verfahren, insbesondere solche zur Vorhersage von nicht-funktionalen Eigenschaften, benötigen jedoch Informationen über Interna (bspw. die Anzah...

Bestimmung der semantischen Eigenschaften von Datenstromsystemen durch Black-Box-Tests

Die Semantik von Datenstromsystemen (DSS) ist bislang nicht standardisiert. Für Anwendungsentwickler ist es jedoch wichtig zu wissen, wie sich ein bestimmtes System in einer bestimmten Situation verhält. Ebenso bedeutsam ist das Verhalten für föderierte Datenstromsysteme, die Anfragen automatisch auf verschiedene DSS verteilen. Als Hilfsmittel zur Beschreibung können semantische Modelle dienen....

Abstrakte Modellierung der Eigenschaften von nanoelektronischen CNT-Elementen in SystemC

Möglichst genaue Simulationen von Digitalschaltungen, die auf nanoelektronischen Komponenten basieren, benötigen abstrakte Modelle, in denen die wesentlichen Eigenschaften der realen Schaltung repräsentiert sind. Wir beschreiben SystemC-Modelle, die die Eigenschaften von auf Kohlenstoffnanoröhren-Transistoren basierenden Schaltungen abstrahieren und für eine Simulation auf der RT-Ebene zugängli...

Ein System zur Analyse haptischer Eigenschaften von Benutzerschnittstellen