Sciweavers

2860 search results - page 170 / 572
» The Greenfoot Programming Environment
Sort
View
161
Voted
DEXAW
2008
IEEE
93views Database» more  DEXAW 2008»
16 years 1 months ago
Overlay GHC: An Extension of Guarded Horn Clauses for Overlay Programming
Today’s high-speed network allows sophisticated applications of overlay networks. Meanwhile, usage of multicore processors has been spreading. The level of concurrency we need t...
Kenji Saito
MEMOCODE
2003
IEEE
16 years 10 days ago
Executable Computational Logics: Combining Formal Methods and Programming Language Based System Design
An executable computational logic can provide the desired bridge between formal system properties and formal methods to verify them on the one hand, and executable models of syste...
José Meseguer
SIGUCCS
2000
ACM
15 years 11 months ago
Ripped Apart at the Seams: Re-Tailoring the Computer Training Program at Brown University
In this paper, we describe the process we went through to redesign our training program in order to make it more targeted to the individual user, more responsive to a constantly c...
Eileen Palenchar, Stephanie Birdsall
CHI
2010
ACM
16 years 1 months ago
End-user mashup programming: through the design lens
Programming has recently become more common among ordinary end users of computer systems. We believe that these end-user programmers are not just coders but also designers, in tha...
Jill Cao, Yann Riche, Susan Wiedenbeck, Margaret M...
SIGCSE
2002
ACM
202views Education» more  SIGCSE 2002»
15 years 6 months ago
A tutorial program for propositional logic with human/computer interactive learning
This paper describes a tutorial program that serves a double role as an educational tool and a research environment. First, it introduces students to fundamental concepts of propo...
Stacy Lukins, Alan Levicki, Jennifer Burg