Sciweavers

57 search results - page 9 / 12
» Perspektiven der Informatik
Sort
View
GI
2007
Springer
14 years 26 days ago
Ubiquitous Computing, Pervasive Computing, Ambient Intelligence - Surveillance and Control?
Abstract: Sowohl im praktischen Diskurs von Bürgerrechtsvertretern und Datenschützern wie auch in theoretisch ausgerichteten Debatten werden Ausdrücke wie Ubiquitous Computing, ...
Michael Nagenborg, Karsten Weber
SCHULE
2007
Springer
14 years 25 days ago
Kriterien kreativen Informatikunterrichts
: Kreativität spielt in der Informatik und im Informatikunterricht eine wichtige Rolle. Nur wenige Arbeiten der Fachdidaktik setzen sich dagegen mit diesem Thema auseinander. In d...
Ralf Romeike
GI
2003
Springer
13 years 12 months ago
IT-Sicherheit als Managementaufgabe
: Mit der zunehmenden Digitalisierung des wirtschaftlichen und gesellschaftlichen Lebens steigt die Abhängigkeit von der Informationstechnik. Die Sicherheit und Zuverlässigkeit d...
Udo Helmbrecht, Carina Gneuß
GI
2004
Springer
14 years 3 days 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
SCHULE
2001
Springer
13 years 11 months ago
Algorithmen lernen mit interaktiven Visualisierungen
: Es werden drei Formen des interaktiven visuellen Lernens von Algorithmen behandelt: Betrachten einer Animation, interaktives Üben der Schritte und Experimentieren mit einer Simu...
Nils Faltin