This paper introduces the notion of map-based wiki, a wiki that allows users to interact with each other and with information through a digital map. The map, either geographic or ...
A cyber-character is a kind of artificial life inhabiting a virtual world. To be a life form in the virtual world, cyber characters need sensors and control systems. The sensor sy...
We present an approach for secure information flow property preserving refinement and transformation of UML inspired interaction diagrams. The approach is formally underpinned b...
This paper sums up lessons learned from a sequence of cooperative design workshops where end users were enabled to design mobile systems through scenario building, role playing, a...
End-user programmers’ code is notoriously buggy. This problem is amplified by the increasing complexity of end users’ programs. To help end users catch errors early and reliab...
Valentina Grigoreanu, Margaret M. Burnett, George ...