1398 search results - page 125 / 280 » Ensuring Properties of Interaction Systems |
143
click to vote
AGENTS
2000
Springer
15 years 9 months ago
2000
Springer
Theoretically motivated planning systems often make assumptions about their environments, in areas such as the predictability of action e ects, static behavior of the environment,...
125
click to vote
CHI
2009
ACM
16 years 5 months ago
2009
ACM
In this video we present a special guitar that combines physical acoustic properties with virtual capabilities. A wooden resonator - a unique, replaceable piece of wood that gives...
136
click to vote
ICSE
2003
IEEE-ACM
16 years 4 months ago
2003
IEEE-ACM
The Unified Modeling Language (UML) has been widely accepted by application developers, but not so much by user interface (UI) designers. For this reason, the Unified Modeling Lan...
140
click to vote
INTERACT
2007
15 years 6 months ago
2007
In many systems such as PDAs, users access data through a limited viewport. This means that users have to frequently navigate to regions that are off-screen to view important conte...
153
click to vote
ICS
2010
Tsinghua U.
16 years 2 months ago
2010
Tsinghua U.
: Design of secure systems can often be expressed as ensuring that some property is maintained at every step of a distributed computation among mutually-untrusting parties. Special...