1682 search results - page 27 / 337 » A behavior model for persuasive design |
125
click to vote
CLOUDCOM
2010
Springer
14 years 12 months ago
2010
Springer
Abstract--The cloud computing model aims to make largescale data-intensive computing affordable even for users with limited financial resources, that cannot invest into expensive i...
DATE
2002
IEEE
15 years 6 months ago
2002
IEEE
With the term flexibility, we introduce a new design dimension of an embedded system that quantitatively characterizes its feasibility in implementing not only one, but possibly ...
106
click to vote
ATVA
2009
Springer
15 years 6 months ago
2009
Springer
We present a framework for certifying hardware designs generated through behavioral synthesis, by using formal verification to certify the associated synthesis transformations. We ...
104
click to vote
CHI
2007
ACM
16 years 2 months ago
2007
ACM
We performed an empirical study exploring people's interactions with an embodied conversational agent (ECA) while performing two tasks. Conditions varied with respect to 1) w...
153
click to vote
ENTCS
2006
15 years 1 months ago
2006
Behavioral interface specification languages, such as Java Modeling Language (JML), can be used to specify the behavior of program modules. We have developed a behavioral interfac...