xerox CSL-93-8 Using Property Specifications to Achieve Graceful Disconnected Operation in aN Intermittent free download

File name CSL-93-8_Using_Property_Specifications_to_Achieve_Graceful_Disconnected_Operation_in_aN_Intermittent

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