15401 search results - page 3080 / 3081 » Software in Automotive Systems |
SCHULE
2007
Springer
15 years 4 months ago
2007
Springer
Abstract: AtoCC (http://www.atocc.de) ist eine modular aufgebaute Lehr-/ Lernumgebung für ausgewählte Inhalte der theoretischen Informatik (formale Sprachen und Automaten) und Gr...
SCHULE
2007
Springer
15 years 4 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...
110
click to vote
SIGUCCS
2006
ACM
15 years 3 months ago
2006
ACM
In this paper we present the results of an experiment made with our e-librarian service ”MatES”, an e-Learning tool on fractions in mathematics. MatES allows students to enter...
BTW
2003
Springer
15 years 3 months ago
2003
Springer
: Dieser Beitrag untersucht die Frage, wie XML-Dokumente, die in Datenbanksystemen abgespeichert sind, effektiv und effizient innerhalb dieser Systeme verändert werden können. Zu...
106
click to vote
CCS
2006
ACM
15 years 1 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,...