1744 search results - page 237 / 349 » What's There to Talk About |
MHCI
2009
Springer
14 years 3 months ago
2009
Springer
This paper describes a novel tool for eliciting user requirements early in the design process of mobile applications. The “Mobile Oracle”, as we have called it, is intended to...
PERSUASIVE
2009
Springer
14 years 3 months ago
2009
Springer
This paper presents a new way of categorizing behavior change in a framework called the Behavior Grid. This preliminary work shows 35 types of behavior along two categorical dimen...
TARK
2009
Springer
14 years 3 months ago
2009
Springer
In numerous economic scenarios, contracting parties may not have a clear picture of all the relevant aspects. While confronted with these unawareness issues, the strategic decisio...
ISSTA
2009
ACM
14 years 3 months ago
2009
ACM
This paper presents techniques for analyzing channel contract specifications in Microsoft Research’s Singularity operating system. A channel contract is a state machine that sp...
CDC
2008
IEEE
14 years 3 months ago
2008
IEEE
Abstract— In this paper we demonstrate how one can reformulate the MPC problem for LPV systems to a series of mpLPs by a closed-loop minimax MPC algorithm based on dynamic progra...