Series
GVU Technical Report Series

Permanent Link
https://hdl.handle.net/1853/71001
Series Type
Publication Series
Description
Associated Organization(s)
Associated Organization(s)
Organizational Unit

Filters

1996 5
5
5
5
5
Reset filters

Settings
Author: Abowd, Gregory D. × End date: 1996 × Start date: 1996 × Has files: Yes × search.filters.applied.f.resourcesubtype: Technical Report ×

Publication Search Results

Now showing 1 - 5 of 5
Thumbnail Image
Item

Automating the Design of Specification Interpreters

1996 , Stirewalt, R. E. Kurt , Rugaber, Spencer , Abowd, Gregory D.

In this paper, we demonstrate the use of model checking in an automated technique to verify the operationalization of a declarative specification language. We refer to an interpreter synthesizer as a software tool that transforms a declarative specification into an executable interpreter. Iterative approaches to synthesizer generation refine initial synthesizer designs by validating them over a test suite of specifications. Carefully chosen test suites and structural constraints enable inductive reasoning with support from a model checker to assert the correctness of generated interpreters. This iterative approach to synthesizer generation occurred naturally in our work on developing interpreters for declarative human-computer dialogue languages as part of the DARPA MASTERMIND project. We will discuss the issues underlying the translation, operationalization and verification of the hierarchical task language for MASTERMIND. We will also discuss the importance of this semi-automated, iterative approach for assessing non-functional design tradeoffs.

View
Thumbnail Image
Item

Can Electronic Notebooks Enhance the Classroom?

1996 , Sawhney, Nitin (Nick) , Abowd, Gregory D. , Atkeson, Christopher G.

We are interested in prototyping future computing environments that will enhance the classroom experience and empower both teacher and student. In this paper, we describe the Classroom 2000 project at Georgia Tech which is integrating personal and group pen-based technology, audio services and the World-Wide Web to record in-class interactions for later review.

View
Thumbnail Image
Item

Cyberguide: A Mobile Context-Aware Tour Guide

1996 , Abowd, Gregory D. , Atkeson, Christopher G. , Hong, Jason I. , Long, Sue , Kooper, Rob , Pinkerton, Michael David

Future computing environments will free the user from the constraints of the desktop. Applications for a mobile environment should take advantage of contextual information, such as position, to offer greater services to the user. In this paper, we present the Cyberguide project, in which we are building prototypes of a mobile context-aware tour guide. Knowledge of the user's current location, as well as a history of past locations, are used to provide more of the kind of services that we come to expect from a real tour guide. We describe the architecture and features of a variety of Cyberguide prototypes developed for indoor and outdoor use on a number of different hand-held platforms. We also discuss the general research issues that have emerged in our context-aware applications development in a mobile environment.

View
Thumbnail Image
Item

Ubiquitous Computing: Research Themes and Open Issues from an Applications Perspective

1996 , Abowd, Gregory D.

The defining characteristic of ubiquitous computing is the attempt to break away from the traditional desktop computing paradigm and move computational power into the environment that surrounds the user. Applications of ubiquitous computing technology are the main drivers for research in this area. We describe the work over the past 18 months done by the Future Computing Environments Group at Georgia Tech. We have an applications perspective on ubiquitous computing and have prototyped many systems using a wide range of technology in several separate domains. This paper summarizes three emergent research themes that are the result of generalizing our prototyping and evaluation experience: automated capture, integration and access; context-awareness; and ubiquitous software services. We define each of these themes, demonstrate systems we have built which emphasize the theme, and present a number of open issues that will guide our future work and hopefully that of others. We conclude by sharing a number of general insights on our research method in ubiquitous computing.

View
Thumbnail Image
Item

Classroom 2000: Enhancing Classroom Interaction and Review

1996 , Abowd, Gregory D. , Atkeson, Christopher G. , Feinstein, Ami , Goolamabbas, Yusef , Hmelo, Cindy E. , Register, Scott Walker , Sawhney, Nitin (Nick) , Tani, Mikiya

The classroom is a site for rich CSCW activities. We are interested in prototyping future computing environments that will enhance the classroom experience and empower both student and teacher. In this paper, we describe the Classroom 2000 project at Georgia Tech, which is integrating pen-based technology, audio services and the World-Wide Web to support the capture of in-class activity for later review and to enhance group interactions. We describe the prototype classroom system and the results of an experiment using this technology in a lecture-based course.

View