15155 search results - page 3030 / 3031 » System Software |
SCHULE
2007
Springer
13 years 10 months ago
2007
Springer
: Dass im Informatikunterricht Programme geschrieben werden, ist nicht ungewöhnlich. Ebenso werden Programme entworfen, getestet, analysiert und manchmal auch verändert und erwei...
CCS
2006
ACM
13 years 8 months ago
2006
ACM
This paper presents EXE, an effective bug-finding tool that automatically generates inputs that crash real code. Instead of running code on manually or randomly constructed input,...
DELFI
2003
13 years 6 months ago
2003
Abstract: Anhand der webbasierten Lehr/Lernumgebung ScholionWB+ zur Ermöglichung und Unterstützung selbstgesteuerten Lernens wurde bewertet, ob Lehren und Lernen unter verstärkt...
GI
2007
Springer
13 years 10 months ago
2007
Springer
: Wir beschreiben ein Verfahren, das die authentische Online-Übertragung von Transaktionen ermöglicht, ohne dass ein vertrauenswürdiger Zustand des Endgeräts (PC) vorausgesetzt...
FMICS
2009
Springer
13 years 11 months ago
2009
Springer
on Abstraction: a Lightweight Approach to Modelling Concurrency. Javier de Dios and Ricardo Peña Certified Implementation on top of the Java Virtual Machine 19:00 Social dinner + ...