30
Voted
ESEC
1987
Springer
15 years 6 months ago
1987
Springer
27
Voted
ESEC
1987
Springer
15 years 6 months ago
1987
Springer
102
Voted
UIST
1991
ACM
15 years 6 months ago
1991
ACM
218
Voted
UIST
1991
ACM
15 years 6 months ago
1991
ACM
The Polhemus Isotrak is often used as an orientation and position tracking device in virtual reality environments. When it is used to dynamically determine the user's viewpoi...
99
Voted
UIST
1991
ACM
15 years 6 months ago
1991
ACM
User interface support software, such as UI toolkits, UIMSs, and interface builders, are currently too complex for undergraduates. Tools typically require a learning period of sev...
105
Voted
TAPSOFT
1991
Springer
15 years 6 months ago
1991
Springer
Type inference can be phrased as constraint-solving over types. We consider an implicitly typed language equipped with recursive types, multiple inheritance, 1st order parametric ...
129
click to vote
TAPSOFT
1991
Springer
15 years 6 months ago
1991
Springer
Abstract. CBS is a simple and natural CCS-like calculus where processes speak one at a time and are heard instantaneously by all others. Speech is autonomous, contention between sp...
TAPSOFT
1991
Springer
15 years 6 months ago
1991
Springer
114
Voted
TAPSOFT
1991
Springer
15 years 6 months ago
1991
Springer
An operational and a denotational semantic model are presented for a real-time programming language incorporating the concept of integration. This concept of integration, which ha...
84
Voted
TACS
1991
Springer
15 years 6 months ago
1991
Springer