ESEC
1987
Springer
13 years 11 months ago
1987
Springer
ESEC
1987
Springer
13 years 11 months ago
1987
Springer
UIST
1991
ACM
13 years 11 months ago
1991
ACM
UIST
1991
ACM
13 years 11 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...
UIST
1991
ACM
13 years 11 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...
TAPSOFT
1991
Springer
13 years 11 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 ...
TAPSOFT
1991
Springer
13 years 11 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
13 years 11 months ago
1991
Springer
TAPSOFT
1991
Springer
13 years 11 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...
TACS
1991
Springer
13 years 11 months ago
1991
Springer