Interactive tools to help users author plans or processes are essential in a variety of domains. KANAL helps users author sound plans by simulating them, checking for a variety of...
When it comes to security, an interesting difference between Java Card and regular Java is the absence of an on-card bytecode verifier on most Java Cards. In principle this opens u...
We present a design space explorer for the space of experimental designs. For many design problems, design decisions are determined by the consequences of the design rather than i...
Developing and consistently evolving quality software designs requires both theoretical knowledge and practical skills. The former can be communicated in a classroom; the latter h...
This paper presents insights about design practices that can lead to effective and fun games for learning, gleaned from interviews with experienced game developers. We based our a...