Sciweavers

7 search results - page 2 / 2
» Hardness Amplification Proofs Require Majority
Sort
View
SIGCSE
2009
ACM
143views Education» more  SIGCSE 2009»
14 years 17 days ago
Thinking about computational thinking
Jeannette Wing’s call for teaching Computational Thinking (CT) as a formative skill on par with reading, writing, and arithmetic places computer science in the category of basic...
James J. Lu, George H. L. Fletcher
DATE
2009
IEEE
116views Hardware» more  DATE 2009»
14 years 16 days ago
An MDE methodology for the development of high-integrity real-time systems
—This paper reports on experience gained and lessons learned from an intensive investigation of model-driven engineering methodology and technology for application to high-integr...
Silvia Mazzini, Stefano Puri, Tullio Vardanega