Abstract. Circus is a combination of Z and CSP that supports the development of state-rich reactive systems based on refinement. In this paper we present JCircus, a tool that autom...
Device drivers commonly execute in the kernel to achieve high performance and easy access to kernel services. However, this comes at the price of decreased reliability and increas...
Vinod Ganapathy, Matthew J. Renzelmann, Arini Bala...
Due to fierce industry competition and demand for novelty, games are a fertile research setting for studying interface design, input devices, graphics, social communication and de...
Kevin Keeker, Randy J. Pagulayan, Jonathan Sykes, ...
Many community organizations rely extensively on volunteer work. However, people who wish to help often have difficulties finding the time to volunteer. We are developing mobile s...
Supporting one-handed thumb operation of touchscreenbased mobile devices presents a challenging tradeoff between visual expressivity and ease of interaction. ThumbSpace and Shift-...