Sciweavers

985 search results - page 83 / 197
» Abstract Interactions and Interaction Refinement in Model-Dr...
Sort
View
110
Voted
CDC
2009
IEEE
139views Control Systems» more  CDC 2009»
15 years 8 months ago
Reachability analysis for continuous systems under shared control: Application to user-interface design
— We extend techniques for a reachability-based ion to continuous systems under shared control, that is, systems which have both inputs controlled by the automation and inputs co...
Nikolai Matni, Meeko Oishi
136
Voted
INTERACT
1997
15 years 5 months ago
Improving Access to a Digital Video Library
Quick access to short, relevant video segments enables efficient use of a digital video library. This study evaluated an interface designed for such access, an interface that allow...
Michael G. Christel, David B. Winkler, C. Roy Tayl...
270
Voted
AMCS
2011
341views Mathematics» more  AMCS 2011»
14 years 10 months ago
FSP and FLTL framework for specification and verification of middle-agents
Agents are a useful abstraction frequently employed as a basic building block in modeling service, information and resource sharing in global environments. The connecting of reques...
Amelia Badica, Costin Badica
CHI
2008
ACM
16 years 4 months ago
NomaticBubbles: visualizing communal whereabouts
This paper describes the design of the NomaticBubbles, a visualization that provides cues of communal whereabouts. Unlike most location displays showing whereabouts on a geographi...
Xianghua Ding, Donald J. Patterson
106
Voted
TELSYS
2002
120views more  TELSYS 2002»
15 years 3 months ago
A Receiver-Driven Transport Protocol for the Web
Abstract. In this paper, we present a receiver-oriented, request/response protocol for the Web that is compatible with the dynamics of TCP's congestion control algorithm. The ...
Rajarshi Gupta, Mike Y. Chen, Steven McCanne, Jean...