4584 search results - page 617 / 917 » interact 2007 |
180
click to vote
ASSETS
2007
ACM
15 years 10 months ago
2007
ACM
Computers offer valuable assistance to people with physical disabilities. However designing human-computer interfaces for these users is complicated. The range of abilities is mor...
197
click to vote
BIOWIRE
2007
Springer
15 years 10 months ago
2007
Springer
Chemical computing models have been proposed since the 1980ies for expressing concurrent computations in elegant ways for shared memory systems. In this paper we look at the distri...
176
click to vote
CANDC
2007
ACM
15 years 10 months ago
2007
ACM
We discuss our study that looks at family members as everyday designers. We explain the design actions of family members to be creative, as evidenced by the resourceful appropriat...
162
click to vote
CANDC
2007
ACM
15 years 10 months ago
2007
ACM
Within the creativity community, researchers and practitioners have developed and studied various support tools and environments. It is important to learn from these tools and env...
174
click to vote
CAV
2007
Springer
15 years 10 months ago
2007
Springer
In automatic software verification, we have observed a theoretical convergence of model checking and program analysis. In practice, however, model checkers are still mostly concern...