In summary, RDL is an intuitionistic temporal logic for the specification of requirements and design of time-dependent systems. Coverage of RDL includes a backward chaining theore...
The design, development, and deployment of interactive systems can substantively impact individuals, society, and the natural environment, now and potentially well into the future...
Lisa P. Nathan, Batya Friedman, Predrag V. Klasnja...
Technology, it is argued, has the potential to improve everyone's life: from the workplace, to entertainment, to easing chores around the home. But what of people who have ne...
As the computer game industry grows, game capabilities and designs are being re-used for purposes other than entertainment. The study of 'Serious Games', i.e. games for ...
In this paper we describe a tangible user interface “Tangible Tiles”, which utilizes optically tracked transparent Plexiglass tiles for interaction and display of projected im...