1822 search results - page 143 / 365 » GENI Design Principles |
161
click to vote
CSEE
2006
Springer
15 years 7 months ago
2006
Springer
The development of games in aid of improving and enriching a student's learning experience is again on the rise. The beer game [6] in the field of system dynamics was develop...
116
click to vote
FSE
2006
Springer
15 years 7 months ago
2006
Springer
We present several attacks against Achterbahn, one of the new stream ciphers proposed to the eSTREAM competition. Our best attack breaks the reduced version of the cipher with comp...
150
click to vote
FASE
2000
Springer
15 years 7 months ago
2000
Springer
We present a family of tools for program development and verification, comprising the transformation system TAS and the theorem proving interface IsaWin. Both are based on the theo...
201
click to vote
JMLC
2000
Springer
15 years 7 months ago
2000
Springer
The principle of modularisation is one of the main techniques that software designers use to tame the complexity of programming. A software project, however, is complex in many oth...
121
click to vote
SIGCSE
1995
ACM
15 years 7 months ago
1995
ACM
Interest in teaching object-oriented programming in first year computer science courses has increased substantially over the last few years. While the theoretical advantages are c...