6527 search results - page 1257 / 1306 » On Typing Information Flow |
FODO
1993
Springer
15 years 3 months ago
1993
Springer
Abstract. Data storage systems are being called on to manage continuous media data types, such as digital audio and video. There is a demand by applications for \constrained-latenc...
MM
1993
ACM
15 years 3 months ago
1993
ACM
As multimedia becomes an integral part of collaborative systems, we must understand how to design such systems to support users’ rich set of existing interaction skills, rather ...
203
click to vote
LCC
1994
15 years 3 months ago
1994
The descriptive complexity of a problem is the complexity of describing the problem in some logical formalism. One of the few techniques for proving separation results in descripti...
WADS
1989
Springer
15 years 3 months ago
1989
Springer
rees can be used for representing abstract data types such as dictionaries and ordered lists. They work well when the elements are inserted in a random order. Some sequences of ope...
CHI
2007
ACM
15 years 3 months ago
2007
ACM
In this paper we investigate the use of a uni-pressure and dual-pressure augmented mouse. With a pressure augmented mouse users can simultaneously control cursor positions as well...