9110 search results - page 333 / 1822 » Formally-Based Design Evaluation |
166
click to vote
IADIS
2003
15 years 8 months ago
2003
The increasing demand for group support in software has drawn more attention to the field of designing Group Support Systems. Notwithstanding all the research in this field the pr...
148
click to vote
CHI
2010
ACM
16 years 1 months ago
2010
ACM
Devices capable of gestural interaction through motion sensing are increasingly becoming available to consumers; however, motion gesture control has yet to appear outside of game ...
172
click to vote
PERSUASIVE
2009
Springer
16 years 1 months ago
2009
Springer
Persuasive Technology has the potential to influence user behavior for social benefit, e.g. to reduce environmental impact, but designers are lacking guidance choosing among desig...
174
click to vote
ASPDAC
2009
ACM
16 years 1 months ago
2009
ACM
Abstract— In the context of a design space exploration framework for supporting the platform-based design approach, we address the problem of robustness with respect to manufactu...
158
click to vote
CSMR
2008
IEEE
16 years 1 months ago
2008
IEEE
Design anomalies, introduced during software evolution, are frequent causes of low maintainability and low flexibility to future changes. Because of the required knowledge, an im...