2948 search results - page 403 / 590 » More Principled Design of Pervasive Computing Systems |
211
click to vote
DAC
2004
ACM
15 years 10 months ago
2004
ACM
This paper presents new technology that accelerates system verification. Traditional methods for verifying functional designs are based on logic simulation, which becomes more tim...
172
click to vote
CCS
2008
ACM
15 years 8 months ago
2008
ACM
A frequently proposed solution to node misbehavior in mobile ad hoc networks is to use reputation systems. But in ephemeral networks - a new breed of mobile networks where contact...
187
click to vote
CF
2005
ACM
15 years 8 months ago
2005
ACM
Power consumption within the memory hierarchy grows in importance as on-chip data caches occupy increasingly greater die area. Among dynamic power conservation schemes, horizontal...
154
click to vote
HCI
2009
15 years 4 months ago
2009
We aim at designing an effective evacuation support system for disaster response, specifically tailored to aid the walking wounded, a significant group of victims suffering from re...
145
click to vote
CHI
2002
ACM
16 years 6 months ago
2002
ACM
Current software interfaces fail to incorporate historical data from user interaction into their design. While some systems exhibit a minimalist use of history in the form of undo...