Sciweavers

GI
2004
Springer
13 years 10 months ago
A Formal Correctness Proof for Code Generation from SSA Form in Isabelle/HOL
Abstract: Optimizations in compilers are the most error-prone phases in the compilation process. Since correct compilers are a vital precondition for software correctness, it is ne...
Jan Olaf Blech, Sabine Glesner
GI
2004
Springer
13 years 10 months ago
Saliency Extraction for Gaze-Contingent Displays
: Organic Computing is beginning to provide computer systems with organic and biological properties. We believe these systems will benefit from user interfaces that integrate the ...
Martin Böhme, Christopher Krause, Thomas Mart...
GI
2004
Springer
13 years 10 months ago
Performance of Symmetric Neighbor Discovery in Bluetooth Ad Hoc Networks
: Ad hoc networking with Bluetooth requires an efficient way of discovering neighbor devices. Based on real-world measurements and simulations we are deriving optimal parameters f...
Diego Bohman, Matthias Frank, Peter Martini, Chris...
GI
2004
Springer
13 years 10 months ago
FUSE BY: Syntax und Semantik zur Informationsfusion in SQL
Abstract: Daten und Informationen heterogener Quellen k¨onnen gleiche Objekte repr¨asentieren und dennoch sich widersprechen oder sich erg¨anzen. Werden solche Daten integriert,...
Jens Bleiholder, Felix Naumann
GI
2004
Springer
13 years 10 months ago
CaveManMX - Computerspielkonzepte in der Multimedia-Programmierausbildung
Abstract: Zur Unterstützung der Programmierausbildung im Bereich Medieninformatik wird ein Spielkonzept vorgestellt, das den Teilnehmern von Veranstaltungen im Bereich Medienprogr...
Malte Beyer, Christian Geiger
GI
2004
Springer
13 years 10 months ago
User Authentication in Sensor Networks
d Abstract) Zinaida Benenson Felix G¨artner Dogan Kesdogan RWTH Aachen, Department of Computer Science, D-52056 Aachen, Germany : If the data collected within a sensor network is ...
Zinaida Benenson, Felix C. Gärtner, Dogan Kes...
GI
2004
Springer
13 years 10 months ago
Experimente mit XP in der Lehre
Ingrid Beckmann, Doris Schmedding
GI
2004
Springer
13 years 10 months ago
Towards Using the Full Human Potential in Games and Virtual Environments
: Humans have complex sensory and control capabilities. Only a few are used in standard games and virtual environments. Examples of games using interfaces beyond mouse, keyboard an...
Steffi Beckhaus
GI
2004
Springer
13 years 10 months ago
Integrierte Entwicklung von Automotive-Software mit AutoFOCUS
: Zur Beherrschung der komplexen vernetzten und verteilten Funktionen von Automotive-Software ist eine Beschreibung des zu erstellenden Systems auf verschiedenen Abstraktionsebenen...
Andreas Bauer 0002, Jan Romberg, Bernhard Schä...