5109 search results - page 581 / 1022 » On Learning Limiting Programs |
303
click to vote
SIGCSE
2010
ACM
16 years 1 months ago
2010
ACM
The “Hacker Curriculum” exists as a mostly undocumented set of principles and methods for learning about information security. Hacking, in our view, is defined by the ability...
204
click to vote
TEI
2010
ACM
16 years 1 months ago
2010
ACM
This paper describes Kinematics: a novel construction toy for children consisting of both active (shape-changing or rotating) and passive building blocks. In comparison to similar...
180
click to vote
IFM
2009
Springer
16 years 1 months ago
2009
Springer
We present the new technique of dynamic path reduction (DPR), which allows one to prune redundant paths from the state space of a program under verification. DPR is a very general...
161
click to vote
AGILEDC
2006
IEEE
16 years 28 days ago
2006
IEEE
Pair programming has been shown to be beneficial for both students and teaching staff in university courses. A two-phased study of 1350 students was conducted at North Carolina St...
169
click to vote
KBSE
2005
IEEE
16 years 13 days ago
2005
IEEE
To realize the benefits of Aspect Oriented Programming (AOP), developers must refactor active and legacy code bases into an AOP language. When refactoring, developers first need...