256 search results - page 19 / 52 » Interaction programming: next steps |
101
click to vote
CADE
1990
Springer
15 years 1 months ago
1990
Springer
imps is an Interactive Mathematical Proof System intended as a general purpose tool for formulating and applying mathematics in a familiar fashion. The logic of imps is based on a...
107
click to vote
MOBICOM
2006
ACM
15 years 3 months ago
2006
ACM
Abstract-The emergence of small, inexpensive, networkcapable sensing devices led to a great deal of research on the design and implementation of sensor networks. A critical step in...
CHI
2008
ACM
15 years 10 months ago
2008
ACM
We describe our approach and initial results in the participatory design of technology relevant to local rural livelihoods. Our approach to design and usability proceeds from rese...
FGCS
1998
14 years 9 months ago
1998
Scientists can gain much more insight from their simulations if they are enabled to change simulation parameters on the y while observing the results immediately. A crucial aspect...
JMLR
2006
14 years 9 months ago
2006
An essential step in designing a new computer architecture is the careful examination of different design options. It is critical that computer architects have efficient means by ...