4508 search results - page 335 / 902 » Design of human-map system interaction |
167
click to vote
DAC
1990
ACM
15 years 10 months ago
1990
ACM
In this paper, we provide an overview of a system designed for verifying the consistency of timing specifications for digital circuits. The utility of the system comes from the ne...
174
click to vote
CHI
2008
ACM
16 years 7 months ago
2008
ACM
We designed an activity-based prototyping process realized in the ActivityDesigner system that combines the theoretical framework of Activity-Centered Design with traditional iter...
179
click to vote
CHI
2007
ACM
16 years 7 months ago
2007
ACM
Technologies can be used ? or appropriated ? in different ways by different users, but how do the use patterns evolve, and how can design facilitate such evolution? This paper app...
205
Voted
CSCWD
2001
Springer
15 years 11 months ago
2001
Springer
Workflow management techniques are aiming at supporting business process across organization boundaries. Current techniques are lacking of the formalism tools to model and analyze...
303
click to vote
POPL
2006
ACM
16 years 7 months ago
2006
ACM
We exhibit the rationale behind the design of Epigram, a dependently typed programming language and interactive program development system, using refinements of a well known progr...