Service Manuals, User Guides, Schematic Diagrams or docs for : xerox parc techReports CSL-93-8_Using_Property_Specifications_to_Achieve_Graceful_Disconnected_Operation_in_aN_Intermittent_Mobile_Computing_Environment

<< Back | Home

Most service manuals and schematics are PDF files, so You will need Adobre Acrobat Reader to view : Acrobat Download Some of the files are DjVu format. Readers and resources available here : DjVu Resources
For the compressed files, most common are zip and rar. Please, extract files with Your favorite compression software ( WinZip, WinRAR ... ) before viewing. If a document has multiple parts, You should download all, before extracting.
Good luck. Repair on Your own risk. Make sure You know what You are doing.



Image preview - the first page of the document



>> Download CSL-93-8_Using_Property_Specifications_to_Achieve_Graceful_Disconnected_Operation_in_aN_Intermittent_Mobile_Computing_Environment documenatation <<

Text preview - extract from the document

  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



                     

◦ Jabse Service Manual Search 2024 ◦ Jabse Pravopis ◦ onTap.bg ◦ Other service manual resources online : Fixya ◦ eServiceinfo