740 search results - page 98 / 148 » Experiments on Supporting Interactive Proof Using Resolution |
109
click to vote
UIST
1997
ACM
15 years 5 months ago
1997
ACM
This paper describes our experiences implementing a component architecture for TeamWave Workplace, an integrated groupware environment using a rooms metaphor. The problem we faced...
105
click to vote
CHI
2005
ACM
16 years 1 months ago
2005
ACM
Video-mediated communication systems such as teleconferencing and videophone have become popular. As with face-to-face communication, non-verbal cues such as gaze, facial expressi...
116
click to vote
CHI
2004
ACM
16 years 1 months ago
2004
ACM
Most current designs of information technology are based on the notion of supporting distinct tasks such as document production, email usage, and voice communication. In this pape...
109
click to vote
CONCURRENCY
1998
15 years 1 months ago
1998
Abstract Advances in high performance computing, communications, and user interfaces enable developers to construct increasingly interactive high performance applications. The Falc...
114
click to vote
CAI
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. This paper introduces the model-based software development lifecycle model SMA--the Smyle Modeling Approach--which is centered around Smyle. Smyle is a dedicated learning...