Sciweavers

3879 search results - page 680 / 776
» PyPBS design and methodologies
Sort
View
CHI
2007
ACM
16 years 5 months ago
The VVIP system: encouraging the use of public transport in Edinburgh
This article is concerned with the encouragement and promotion of the use of buses in Edinburgh, especially among visually impaired users and tourists / migrant workers. The repor...
Darren James Thomson, Marius Gylseth, Robert McGar...
CHI
2006
ACM
16 years 5 months ago
Reality testing: HCI challenges in non-traditional environments
Non-traditional environments often change rapidly without forewarning, are difficult or impossible to control, and have other environmental and operational constraints that cannot...
Gisele Bennett, Gitte Lindgaard, Bruce Tsuji, Kay ...
CHI
2005
ACM
16 years 5 months ago
Experimental analysis of mode switching techniques in pen-based user interfaces
Inking and gesturing are two central tasks in pen-based user interfaces. Switching between modes for entry of uninterpreted ink and entry of gestures is required by many pen-based...
Yang Li, Ken Hinckley, Zhiwei Guan, James A. Landa...
CHI
2005
ACM
16 years 5 months ago
Beyond being in the lab: using multi-agent modeling to isolate competing hypotheses
In studies of virtual teams, it is difficult to determine pure effects of geographic isolation and uneven communication technology. We developed a multi-agent computer model in Ne...
Ning Nan, Erik W. Johnston, Judith S. Olson, Natha...
VLSID
2003
IEEE
180views VLSI» more  VLSID 2003»
16 years 5 months ago
Automating Formal Modular Verification of Asynchronous Real-Time Embedded Systems
Most verification tools and methodologies such as model checking, equivalence checking, hardware verification, software verification, and hardware-software coverification often fl...
Pao-Ann Hsiung, Shu-Yu Cheng