6722 search results - page 1036 / 1345 » Reuse-Conducive Development Environments |
138
click to vote
CHI
2003
ACM
16 years 4 months ago
2003
ACM
We developed two visual displays for providing awareness of environmental audio to deaf individuals. Based on fieldwork with deaf and hearing participants, we focused on supportin...
112
click to vote
CHI
2002
ACM
16 years 4 months ago
2002
ACM
In order to develop technology that promotes social interaction rather than isolation, we are exploring the space between board games and video games. We created a hybrid game tha...
128
click to vote
CADE
2008
Springer
16 years 4 months ago
2008
Springer
Tree automata completion is a technique for the verification of infinite state systems. It has already been used for the verification of cryptographic protocols and the prototyping...
156
click to vote
OSDI
2008
ACM
16 years 4 months ago
2008
ACM
The recent emergence of network interface cards (NICs) with diverse hardware features for I/O virtualization poses an important challenge for virtual machine environments, particu...
223
click to vote
VLDB
2007
ACM
16 years 4 months ago
2007
ACM
Many aspects of the data integration problem have been considered in the literature: how to match schemas across different data sources, how to decide when different records refer...