1305 search results - page 193 / 261 » The design context of concurrent computation systems |
164
click to vote
VSTTE
2005
Springer
15 years 12 months ago
2005
Springer
The interplay back and forth between software model checking and hardware model checking has been fruitful for both. Originally intended for the analysis of concurrent software, mo...
173
click to vote
CHI
2010
ACM
16 years 1 months ago
2010
ACM
Newport is a collaborative application for sharing context (e.g. location) and content (e.g. photos and notes) during mobile phone calls. People can share during a phone call and ...
169
click to vote
HUC
2010
Springer
15 years 7 months ago
2010
Springer
In this paper, we propose a novel microwave oven called CastOven. CastOven is a microwave oven with a LCD display that enables people to enjoy videos while they are waiting for th...
223
click to vote
GIS
2002
ACM
15 years 6 months ago
2002
ACM
Vector data represents one major category of data managed by GIS. This paper presents a new technique for vector-data display that is able to precisely and efficiently map vector ...
174
click to vote
CHI
2006
ACM
16 years 6 months ago
2006
ACM
We explore how the placement of control widgets (such as menus) affects collaboration and usability for co-located tabletop groupware applications. We evaluated two design alterna...