6722 search results - page 1172 / 1345 » The DSML4MAS development environment |
131
click to vote
VLSID
2002
IEEE
16 years 5 months ago
2002
IEEE
With the increased use of embedded/portable devices such as smart cellular phones, pagers, PDAs, hand-held computers, and CD players, improving energy efficiency is becoming a cri...
141
click to vote
CHI
2003
ACM
16 years 5 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...
113
Voted
CHI
2002
ACM
16 years 5 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...
130
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...
158
Voted
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...