1635 search results - page 227 / 327 » Thermally Aware Design |
168
click to vote
IUI
2010
ACM
16 years 3 months ago
2010
ACM
Being aware of the relationships that exist between objects of interest is crucial in many situations. The RelFinder user interface helps to get an overview: Even large amounts of...
153
click to vote
TACAS
2010
Springer
16 years 1 months ago
2010
Springer
Abstract. We present Boom, a comprehensive analysis tool for Boolean programs. We focus in this paper on model-checking non-recursive concurrent programs. Boom implements a recent ...
157
click to vote
CHI
2010
ACM
16 years 1 months ago
2010
ACM
In this paper we argue that “persuasive technologies,” developed to motivate behaviour change in users, have so far failed to exploit the established body of empirical researc...
172
click to vote
C5
2009
IEEE
16 years 1 months ago
2009
IEEE
In this paper we present an authoring tool and an accompanying workflow to create interactive scenarios in a distributed 3D environment by multiple users. With Pitsupai we design...
270
click to vote
CSE
2009
IEEE
16 years 1 months ago
2009
IEEE
—Social network information is now being used in ways for which it may have not been originally intended. In particular, increased use of smartphones capable of running applicati...