Sciweavers

871 search results - page 107 / 175
» Designing Graphics Programming Interfaces for Mobile Devices
Sort
View
FM
2006
Springer
148views Formal Methods» more  FM 2006»
15 years 2 months ago
Automatic Translation from Circus to Java
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...
Angela Freitas, Ana Cavalcanti
ASPLOS
2008
ACM
15 years 1 months ago
The design and implementation of microdrivers
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...
CHI
2004
ACM
15 years 4 months ago
The untapped world of video games
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, ...
CHI
2009
ACM
15 years 12 months ago
Supporting volunteer activities with mobile social software
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...
Shaun K. Kane, Predrag V. Klasnja
CHI
2008
ACM
15 years 11 months ago
One-handed touchscreen input for legacy applications
Supporting one-handed thumb operation of touchscreenbased mobile devices presents a challenging tradeoff between visual expressivity and ease of interaction. ThumbSpace and Shift-...
Amy K. Karlson, Benjamin B. Bederson