By Topic

The plain old television in a smart apartment

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$31 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

2 Author(s)
Zebin Chen ; Dept. of Comput. & Inf. Sci., Oregon Univ., Eugene, OR ; Fickas, S.

Our GO (www.go-outside.org) project focuses on community access for the cognitively impaired population. In addition to devising new facilities, we are interested in using existing appliances found in an apartment to interact with a user to help with a specific task, e.g., making a trip to the doctor. This requires establishment of collaboration protocols between the appliances (and smart agents) and user to be established. These protocols must enforce certain safety properties, e.g., that the user get timely information to start a task. We will show how we use a light-weight formal modeling toolkit to reason about a protocol's ability to meet safety properties

Published in:

Collaborative Computing: Networking, Applications and Worksharing, 2005 International Conference on

Date of Conference:

0-0 0