6167 search results - page 185 / 1234 » Can Refinement be Automated |
141
click to vote
JETC
2008
15 years 3 months ago
2008
With aggressive reductions in feature sizes and the integration of multiple functionalities on the same die, bottlenecks due to I/O pin limitations have become a severe issue in to...
150
click to vote
ICST
2010
IEEE
15 years 3 months ago
2010
IEEE
—When a program is modified during software evolution, developers typically run the new version of the program against its existing test suite to validate that the changes made ...
130
click to vote
EUC
2007
Springer
15 years 10 months ago
2007
Springer
Today, proprietary home automation targets very specific applications which operate mostly on a cable based infrastructure. In contrast to that, our implementation builds a wirele...
157
click to vote
PUC
2010
15 years 3 months ago
2010
Abstract Location awareness can help facilitate a rendezvous of two or more persons. To further enhance the rendezvous experience, we conducted two complementary field studies to ...
126
click to vote
CHI
2011
ACM
14 years 8 months ago
2011
ACM
Visions of smart homes have long caught the attention of researchers and considerable effort has been put toward enabling home automation. However, these technologies have not bee...