1284 search results - page 151 / 257 » On Helping and Interactive Proof Systems |
CDC
2008
IEEE
14 years 4 months ago
2008
IEEE
— This paper describes reachability calculations for a hybrid system formalism governing UAVs interacting with another vehicle in a safety-critical situation. We examine this pro...
DSVIS
2008
Springer
13 years 12 months ago
2008
Springer
This paper reports on our experience in using the MuiCSer process framework for the redesign of the user interface for operating an industrial digital printing system. MuiCSer is c...
HCI
2007
13 years 11 months ago
2007
Context-awareness is an important capability needed in devices in a ubiquitous computing environment. Ubiquitous computing devices use different types of sensors along with the us...
TSE
2011
13 years 5 months ago
2011
— We present Bristlecone, a programming language for robust software systems. Bristlecone applications have two components: a high-level organization specification that describe...
CHI
2007
ACM
14 years 10 months ago
2007
ACM
Expertise to assist people on complex tasks is often in short supply. One solution to this problem is to design systems that allow remote experts to help multiple people in simult...