18209 search results - page 339 / 3642 » Some Remarks on the Paper |
162
Voted
SIGADA
1997
Springer
15 years 11 months ago
1997
Springer
All students attending the U.S. Air Force Academy are required to take an introductory course in computer science. Last year we transitioned to Ada in this course. In this paper w...
195
click to vote
ADBIS
1994
Springer
15 years 11 months ago
1994
Springer
In this paper the ways of various types of transaction support in the buffer system of the storage system are considered. Support of active transaction tree as the mechanism for n...
165
click to vote
ALP
1994
Springer
15 years 11 months ago
1994
Springer
This paper introduces a logic for a class of properties - in particular variable aliasing - used in static analysis of logic programs. The logic is shown to be sound, complete and ...
179
Voted
CHI
1993
ACM
15 years 11 months ago
1993
ACM
This paper describes some recent experiments that assess user behavior in a multi-modal environment in which actions can be performed with equivalent effect in speech, keyboard or...
134
click to vote
CHI
1994
ACM
15 years 11 months ago
1994
ACM
Considering that direct manipulation interfaces using a pointing device could be more efficient with the addition of a second pointing device, we are designing and implementing tw...