We present an approach for secure information flow property preserving refinement and transformation of UML inspired interaction diagrams. The approach is formally underpinned b...
We present in this paper an interactive method for numeric or symbolic data visualization that allows a domain expert to extract useful knowledge and information. We propose a new ...
We carry out a comprehensive study of long-range interactions on a large data set of non-homologous proteins. Our study reveals that the long-range interactions between amino acid...
In this paper, we discuss the development of young people's interactive storytelling skills within a game creation environment. We describe the Gamemaker workshop series, in w...
takes place in an abstract model, connected to therealgamebypassingmessagesbackandforth,asFigure2illustrates.ThegametellstheDMwhenplotpoints occur, and the DM tells the game when i...
Mark J. Nelson, Michael Mateas, David L. Roberts, ...