883 search results - page 94 / 177 » Getting the right design and the design right |
JNCA
2007
13 years 8 months ago
2007
Powerful microcontrollers are used as parts of most home and office appliances of today. Integrating web servers to these intelligent devices will aid in controlling them over th...
FAST
2009
13 years 6 months ago
2009
We present DIADS, an integrated DIAgnosis tool for Databases and Storage area networks (SANs). Existing diagnosis tools in this domain have a database-only (e.g., [11]) or SAN-onl...
HCI
2009
13 years 6 months ago
2009
This study investigates the use of spearcons as an auditory cue. It looks simultaneously at both performance and subjective preference of spearcons and text-to-speech (TTS). The st...
CHI
2004
ACM
14 years 9 months ago
2004
ACM
Sensing affect raises critical privacy concerns, which are examined here using ethical theory, and with a study that illuminates the connection between ethical theory and privacy....
POPL
2010
ACM
14 years 6 months ago
2010
ACM
The automated inference of quantified invariants is considered one of the next challenges in software verification. The question of the right precision-efficiency tradeoff for the...