Text preview for : CSL-93-8_Using_Property_Specifications_to_Achieve_Graceful_Disconnected_Operation_in_aN_Intermittent part of xerox CSL-93-8 Using Property Specifications to Achieve Graceful Disconnected Operation in aN Intermittent xerox parc techReports CSL-93-8_Using_Property_Specifications_to_Achieve_Graceful_Disconnected_Operation_in_aN_Intermittent_Mobile_Computing_Environment.pdf



Back to : CSL-93-8_Using_Property_S | Home

Using Property Specifications to Achieve
. Graceful Disconnected Operation in an
Intermittent Mobile Computing
Environment
Michael Tso
Using Property Specifications to Achieve Graceful
Disconnected Operation in an Intermittent Mobile
Computing Environment


Michael Tso


CSL-93-8 June 1993 [P93-00018]

@ Copyright 1993 Michael Tso. All rights reserved.



CR Categories and Subject Descriptors: 0.4.3 [Operating Systems]: File Systems
Management - distibuted file systems, 0.4.7 [Operating Systems]: Organization
and Design - interactive systems, H.5.2 [Information Interfaces and Presentation]:
User Interfaces


Additional Keywords and Phrases: caching, disconnected, file system,
hints, portable computer, predictable, property specification,
splitting, wireless computer


General Terms: Design, Human Factors, Performance, Reliability




Xerox Corporation
XEROX Palo Alto Research Center
3333 Coyote Hill Road
Palo Alto, California 94304
USING PROPERTY SPECIFICATIONS TO ACHIEVE
GRACEFUL DISCONNECTED OPERATION IN AN
INTERMITTENT MOBILE COMPUTING ENVIRONMENT

by

MICHAEL MAN-HAK Tso


Submitted to the Department of Electrical Engineering and Computer Science
in Partial Fulfillment of the Requirements for the Degrees of

MASTER OF SCIENCE in Electrical Engineering and Computer Science

and

BACHELOR OF SCIENCE in Computer Science and Engineering

and

BACHELOR OF SCIENCE in Electrical Science and Engineering


at the
MASSACHUSETTS INSTITUTE OF TECHNOLOGY
May 1993