4738 search results - page 584 / 948 » Past, Present, and Future |
236
click to vote
ECLIPSE
2005
ACM
15 years 9 months ago
2005
ACM
Software program families have a long tradition and will gain momentum in the future. Today’s research tries to move software development to a new quality of industrial producti...
173
click to vote
PODC
2010
ACM
15 years 9 months ago
2010
ACM
Low overhead analysis of large distributed data sets is necessary for current data centers and for future sensor networks. In such systems, each node holds some data value, e.g., ...
293
Voted
CSCLP
2008
Springer
15 years 9 months ago
2008
Springer
In the analysis of hybrid discrete-continuous systems, rich arithmetic constraint formulae with complex Boolean structure arise naturally. The iSAT algorithm, a solver for such for...
189
click to vote
CSCW
2008
ACM
15 years 9 months ago
2008
ACM
Low-income African American communities face a disproportionate amount of diet-related health problems in the United States. To address this issue, we developed EatWell, a system ...
205
click to vote
BCSHCI
2008
15 years 9 months ago
2008
Mobile persuasion is using a mobile device to motivate people to change their behavior in a positive way. Thus there is the potential in investigating how mobile technology could ...