Sciweavers

3356 search results - page 151 / 672
» Computing education for sustainability
Sort
View
SIGCSE
2002
ACM
138views Education» more  SIGCSE 2002»
15 years 6 months ago
Encouraging women in computer science
At a cost to both their own opportunities and society's ability to produce people with much-needed technical skills, women continue to be underrepresented in computer science...
Eric S. Roberts, Marina Kassianidou, Lilly Irani
CORR
2010
Springer
119views Education» more  CORR 2010»
15 years 5 months ago
Computational Complexity of Avalanches in the Kadanoff two-dimensional Sandpile Model
In this paper we prove that the avalanche problem for the Kadanoff sandpile model (KSPM) is P-complete for two-dimensions. Our proof is based on a reduction from the monotone circ...
Eric Goles Chacc, Bruno Martin
CORR
2011
Springer
191views Education» more  CORR 2011»
14 years 10 months ago
Computing Optimal Coverability Costs in Priced Timed Petri Nets
—We consider timed Petri nets, i.e., unbounded Petri nets where each token carries a real-valued clock. Transition arcs are labeled with time intervals, which specify constraints...
Parosh Aziz Abdulla, Richard Mayr
SIGCSE
2006
ACM
119views Education» more  SIGCSE 2006»
16 years 15 days ago
Practice what you preach: full separation of concerns in CS1/CS2
We argue that the failure to separate the concerns in CS1 is the leading cause of difficulty in teaching OOP in the first year. We show how the concerns can be detangled and prese...
Hamzeh Roumani
CORR
2010
Springer
146views Education» more  CORR 2010»
15 years 6 months ago
Building Computer Network Attacks
In this work we start walking the path to a new perspective for viewing cyberwarfare scenarios, by introducing conceptual tools (a formal model) to evaluate the costs of an attack...
Ariel Futoransky, Luciano Notarfrancesco, Gerardo ...