Article

Free access

Rover: a toolkit for mobile information access

Authors:

M. F. KaashoekAuthors Info & Claims

SOSP '95: Proceedings of the fifteenth ACM symposium on Operating systems principles

Pages 156 - 171

https://doi.org/10.1145/224056.224069

Published: 03 December 1995 Publication History

PDF eReader

References

[1]

Adobe Systems. Programming the Display PostScript System with X. Addison-Wesley Pub. Co., Reading, MA, 1993.]]

Digital Library

Google Scholar

[2]

M.G. Baker. Changing communication environments in MosquitoNet. In Workshop on Mobile Computing Systems and Applications, pages 64-68, Santa Cruz, CA, 1994.]]

Google Scholar

[3]

J. Bartlett. W4--the Wireless World-Wide Web. In Workshop on Mobtte Computing Systems and Applications, pages 176- 178, Santa Cruz, CA, 1994.]]

Google Scholar

[4]

T. Bemers-Lee, R. Caillau, A. Luotonen, H. Frystyk, and A. Secret. The world-wide web. Communications of the ACM, 37(8):76-82, August 1994.]]

Digital Library

Google Scholar

[5]

T Bemers-Lee, R. T Fielding, and H. Frystyk. HyperText Transfer Protocol- HTTP/I.O. IETF HTTP Working Group Draft 02, Best Current Practice, August 1995.]]

Digital Library

Google Scholar

[6]

A.D, Birrell and B.J. Nelson. Implementing remote procedure calls, ACM Trans. Comp. Syst., 2(1):39-59, Feb. 1984.]]

Digital Library

Google Scholar

[7]

N. S. Borenstein. EMail with a mind of its own: The Safe-Tcl language for enabled mail. In iFIP Transactions C, pages 389--415, Barcelona, Spain, June 1994.]]

Digital Library

Google Scholar

[8]

M. H. Brown and R. A. Schillner. DeckScape: An experimental web browser. Technical Report 135a, Digital Equipment Corporation Systems Research Center, March 1995.]]

Digital Library

Google Scholar

[9]

D. H. Crocker. Standard for the format of ARPA intemet text messages. RFC 822, Aug 1982.]]

Digital Library

Google Scholar

[10]

A. F. deLespinasse. Rover mosaic: E-mail communication for a full-function web browser. Master's thesis, Massachusetts Institute of Technology, June 1995.]]

Google Scholar

[11]

A. Demers, K. Petersen, M. Spreitzer, D. Terry, M. Theimer, and B. Welch. The Bayou architecture: Support for data sharing among mobile users. In Workshop on Mobile Computing Systems and Applications, pages 2-7, Santa Cruz, CA, 1994.]]

Google Scholar

[12]

P. Deutsch and C.A. Grant. A flexible measurement tool for software systems. Information Processing 71, 1971.]]

Google Scholar

[13]

F. Douglis, R. Caceres, F. Kaashoek, K. Li, B. Marsh, and J. A. Tauber. Storage alternatives for mobile computers. In First Symposium on Operating Systems Design and Implementation, pages 25-37, Monterey, CA, November 1994.]]

Digital Library

Google Scholar

[14]

E Douglis and J. Ousterhout. Process migration in the Sprite operating system. In Proc. of the 7th international Conference on Distributed Computing Systems, pages 18-25, Berlin, West Germany, September 1987. IEEE.]]

Crossref

Google Scholar

[15]

A. Downing, D. Daniels, G. Hallmark, K. Jacobs, and S. Jain. Oracle 7, symmetric replication: Asynchronous distributed technology, September 1993.]]

Google Scholar

[16]

D. K. Gifford and J. E. Donahue. Coordinating independent atomic actions. In Spring Compcon '85, pages 92-92, San Francisco, CA, February 1985.]]

Google Scholar

[17]

D. K. Gifford, R. M. Needham, and M. D. Schroeder. The Cedar file system. CACM, 31 (3):288-298, March 1988.]]

Digital Library

Google Scholar

[18]

J. Gosling and H. McGilton. The Java language environment: A white paper, 1995. http://java.sun.com/whitePaper/- javawhitepaper_l .html.]]

Google Scholar

[19]

R. Gruber, M. F. Kaashoek, B. Liskov, and L. Shira. Disconnected operation in the Thor object-oriented database system. In Proceeding of the Workshop on Mobile Computing Systems and Applications, pages 51-56, Santa Cruz, CA, 1994.]]

Digital Library

Google Scholar

[20]

R. Hagmann. Reimplementing the Cedar file system using logging and group commit. In Proc of the Eleventh Symposium on Operating Systems Principles (SOSP), December 1987.]]

Digital Library

Google Scholar

[21]

H. Houh, C. Lindblad, and D. Wetherall. Active pages. In Proc. First International WorM-Wide Web Conference, pages 265-270, Geneva, May 1994.]]

Google Scholar

[22]

L. Huston and P. Honeyman. Partially connected operation. In Proceedings of the Second USENIX Symposium on Mobile and Location-Independent Computing, pages 91-97, Ann Arbor, MI, April 1995.]]

Digital Library

Google Scholar

[23]

L. B. Huston and P. Honeyman. Disconnected operation for AFS. In Proc. USENIX Symposium on Mobile & Location- Independent Computing, pages 1-10, Cambridge, MA, August 1993.]]

Google Scholar

[24]

Information Sciences Institute. Transmission Control Protocol: DARPA Internet Program Protocol Specification. Internet RFC 793, September 1981.]]

Google Scholar

[25]

V. Jacobson. Compressing TCP/iP Headers for Low-Speed Serial Links. Intemet RFC 1144, February 1990.]]

Digital Library

Google Scholar

[26]

F. Kaashoek, T Pinckney, and J. Tauber. Dynamic documents: Mobile wireless access to the WWW. In Workshop on Mobile Computing Systems and Applications, pages 179-184, Santa Cruz, CA, 1994.]]

Google Scholar

[27]

R. H. Katz. Adaptation and mobility in wireless information systems. IEEE Personal Communications, 1:6-17, 1994.]]

Crossref

Google Scholar

[28]

L. Kawell Jr., S. Beckhardt, T Halvorsen, R. Ozzie, and I. Greif. Replicated document management in a group communication system. Presented at the Second Conference on Computer-Supported Cooperative Work, Portland, OR, September 1988.]]

Digital Library

Google Scholar

[29]

J. J. Kistler. Disconnected Operation in a Distributed File System. PhD thesis, School of Computer Science, Carnegie Mellon University, May 1993.]]

Google Scholar

[30]

J.J. Kistler and M. Satyanarayanan. Disconnected operation in the Coda file system. ACM Transactions on Computer Systems, 10:3-25, 1992.]]

Digital Library

Google Scholar

[31]

P. Kumar. Mitigating the Effects of Optimistic Replication in a Distributed File System. PhD thesis, School of Computer Science, Carnegie Mellon University, December 1994.]]

Google Scholar

[32]

P. Kumar and M. Satyanarayanan. Supporting applicationspecific resolution in an optimistically replicated file system. In Proc. of the Fourth Workshop on Workstation Operating Systems (WWOS-IV), pages 66-70, Napa, CA, 1993.]]

Crossref

Google Scholar

[33]

J. Landay. Userintefface issues in mobile computing. In Proc. of the Fourth Workshop on Workstation Operating Systems (WWOS-IV), pages 40-47. IEEE, October 1993.]]

Crossref

Google Scholar

[34]

M.T Le, F. Burghardt, S. Seshan, and J. Rabaey. InfoNet: the networking infrastructure of infoPad. In Compcon '95, pages 163-168, 1995.]]

Digital Library

Google Scholar

[35]

A. K. Lenstra and M. S. Manasse. Factoring by electronic mail. In Advances in Cryptology ~ Eurocrypt '89, pages 355-371, Berlin, 1989. Springer-Verlag.]]

Digital Library

Google Scholar

[36]

B, Liskov, M. Day, and L. Shrira. Distributed object management in Thor. In M. Tamer Ozsu, Umesh Dayal, and Patrick Valduriez, editors, Distributed Object Management. Morgan Kaufmann, 1993.]]

Google Scholar

[37]

B. Liskov and L. Shrira. Promises: Linguistic support for efficient asynchronous procedure calls. In Proc. SIGPLAN 88 Conf. on Progr. Lang. Design and Impl., pages 260-267, Atlanta, GA, June 1988.]]

Digital Library

Google Scholar

[38]

J.C. Mallery. A Common LISP hypermedia server. In Proc. First international World-Wide Web Conference, pages 239- 247, Geneva, May 1994.]]

Crossref

Google Scholar

[39]

L. B. Mummert, M. R. Ebling, and M. Satyanarayanan. Exploiting weak connectivity for mobile file access. In Proc. of the Fifteenth ACM Symposium on Operating Systems Principles (SOSP), Copper Mountain Resort, CO, 1995.]]

Digital Library

Google Scholar

[40]

National Center for Supercomputing Applications. Common Gateway Interface. University of Illinois in Urbana- Champaign, 1995.]]

Google Scholar

[41]

National Center for Supercomputing Applications. Mosaic. University of Illinois in Urbana-Champaign, 1995.]]

Google Scholar

[42]

Netscape Communications Corporation. Netscape Navigator. Mountain View, CA, 1995.]]

Google Scholar

[43]

J.K. Ousterhout. Tcl and the Tk Toolkit. Addison-Wesley, Reading, MA, 1994.]]

Digital Library

Google Scholar

[44]

J.K. Ousterhout. The Tcl/Fk project at Sun Labs, 1995. http://- www. sunlabs.com/research/tcl.]]

Google Scholar

[45]

J. B. Postel. Simple Mail Transfer Protocol. Intemet RFC 821, August 1982.]]

Digital Library

Google Scholar

[46]

M. L. Powell and B. P. Miller. Process migration in DE- MOS/MP. In Proc. of the Ninth Symposium on Operating System Principles (SOSP), pages 11 0-119, October 1983.]]

Digital Library

Google Scholar

[47]

J. Rees and W. Clinger. The revised3 report on the algorithmic language Scheme. AI Memo 848a, Massachusetts institute of Technology Artificial Intelligence Laboratory, Cambridge, Massachusetts, September 1986.]]

Google Scholar

[48]

P_ Reiher. J. Moidomann. D. l~atnor, C_ gI<inner, and 0. J. Popek. Resolving file conflicts in the Ficus file system. In USENIX Summer 1994 Technical Conference, pages 183-195, Boston, MA, 1994.]]

Digital Library

Google Scholar

[49]

D. Riecken, editor. Intelligent Agents. Communications of the ACM, 37(7), July 1994.]]

Digital Library

Google Scholar

[50]

M. Satyanarayanan, J. J. Kistler, L. B. M., M. R. Ebling, R Kumar, and Q. Lu. Experience with disconnected operation in a mobile environment, in Proc. USENIX Symposium on Mobile & Location-Independent Computing, pages 11-28, Cambridge, MA, August 1993.]]

Crossref

Google Scholar

[51]

J. M. Smith. A survey of process migration mechanisms. Operating Systems Review, 22(3):28-40, July 1988.]]

Digital Library

Google Scholar

[52]

K. Sollins and L. Masinter. Functional Requirements for Uniform Resource Names. Intemet RFC 1737, December 1994.]]

Digital Library

Google Scholar

[53]

D. B. Terry, A. J. Demers, K. Petersen, M. j. Spreitzer, M. M. Theimer, and B. B. Welch, Session guarantees for weakly consistent replicated data. In Proc. of the 1994 Symposium on Parallel and Distributed Information Systems, pages 140-149, September 1994.]]

Digital Library

Google Scholar

[54]

D. B. Terry, M. M. Theimer, K. Petersen, A. J. Demers, M. J, Spreitzer, and C. H. Hauser. Managing update conflicts in a weakly connected replicated storage system. In Proc. of the Fifteenth ACM Symposium on Operating Systems Principles (SOSP), Copper Mountain Resort, CO, 1995.]]

Digital Library

Google Scholar

[55]

M. Theimer, A. Demers, K. Petersen, M. Spreitzer, D. Terry, and B. Welch. Dealing with tentative data values in disconnected work groups. In Proc. of the Workshop on Mobile Computing Systems and Applications, pages 192-195, Santa Cruz, CA, 1994.]]

Digital Library

Google Scholar

[56]

M. Theimer, K. Lantz, and D. Cheriton. Preemptable remote execution facilities for the V-System. In Proc. of the Tenth Symposium on Operating System Principles (SOSP), pages 2-12, Orcas island, WA, December 1985.]]

Digital Library

Google Scholar

[57]

J. Vittal. Active message processing: Messages as messengers. In Proc. of IFIP TC-6 International Symposium on Computer Message Systems, pages 175-195, Ottawa, Canada, April 1981.]]

Google Scholar

[58]

R. Wahbe, S. Lucco, T Anderson, and S. Graham. Efficient software-based fault isolation. In Proc. of the Fourteenth Symposium on Operating Systems Principles (SOSP), pages 203-216, Asheville, NC, 1993.]]

Digital Library

Google Scholar

[59]

B. Walker, O. Popek, R. English, C. Kline, and G. Thiel. The LOCUS distributed operating system, in Proc. of the Ninth ACM Symposium on Operating Systems Principles (SOSP), pages 49-70, Bretton Woods, NH, 1983.]]

Digital Library

Google Scholar

[60]

T Watson. Application design for wireless computing. In Workshop on Mobile Computing Systems and Applications, pages 91-94, Santa Cruz, CA, 1994.]]

Google Scholar

[61]

T Watson and B. Bershad. Local area mobile computing on stock hardware and mostly stock software. In Proc. USENiX Symposium on Mobile & Location-Independent Computing, pages 109-116, Cambridge, MA, August 1993.]]

Google Scholar

[62]

W. Weihl and B. Liskov. Implementation of Resilient, Atomic Data Types. ACM Trans. Prog. Lang. Syst., 7(2):244-269, April 1985.]]

Digital Library

Google Scholar

[63]

J, E, White. Telescript technology: The foundation for tho electronic marketplace, 1994.]]

Google Scholar

Cited By

View all

Barreto APaulino HSilva JPreguiça N(2023)PS-CRDTsFuture Generation Computer Systems10.1016/j.future.2022.12.013141:C(755-767)Online publication date: 15-Feb-2023
https://dl.acm.org/doi/10.1016/j.future.2022.12.013
Raghavan DFouladi SLevis PZaharia MGavrilovska AZadok E(2020)POSHProceedings of the 2020 USENIX Conference on Usenix Annual Technical Conference10.5555/3489146.3489188(617-631)Online publication date: 15-Jul-2020
https://dl.acm.org/doi/10.5555/3489146.3489188
Jepsen Tde Sousa LMoshref MPedone FSoulé R(2018)Infinite Resources for Optimistic Concurrency ControlProceedings of the 2018 Morning Workshop on In-Network Computing10.1145/3229591.3229597(26-32)Online publication date: 7-Aug-2018
https://dl.acm.org/doi/10.1145/3229591.3229597
Show More Cited By

Index Terms

Rover: a toolkit for mobile information access
1. Networks
  1. Network protocols
2. Software and its engineering
  1. Software notations and tools
    1. Context specific languages
  2. Software organization and properties
    1. Contextual software domains
      1. Operating systems

Recommendations

Shared Displays for Remote Rover Science Operations
HRI'15 Extended Abstracts: Proceedings of the Tenth Annual ACM/IEEE International Conference on Human-Robot Interaction Extended Abstracts

Robotic rovers are expected to play a major role in future lunar in-situ resource prospecting. Prospecting missions will involve a ground control team of planetary scientists and rover operators. These ground controllers will need to evaluate ...
ExoMars Rover PanCam: Autonomous & Computational Intelligence [Application Notes]

As a part of the Aurora programme for Mars exploration, funded by the United Kingdom Space Agency (UKSA) and European Space Agency (ESA), the UK contributes to the Exobiology on Mars (ExoMars) rover science and engineering programme, with a scheduled ...
The Collaborative Information Portal and NASA's Mars Rover Mission

NASA Ames Research Center and the California Institute of Technology's Jet Propulsion Laboratory jointly developed the Collaborative Information Portal, which provided enterprise software for NASA's Mars exploration rover mission. Mission managers, ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

SOSP '95: Proceedings of the fifteenth ACM symposium on Operating systems principles

December 1995

332 pages

ISBN:0897917154

DOI:10.1145/224056

Editor:
Michael B. Jones

ACM SIGOPS Operating Systems Review Volume 29, Issue 5
Dec. 3, 1995
324 pages
ISSN:0163-5980
DOI:10.1145/224057
Editor:
Michael B. Jones
Issue’s Table of Contents

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 03 December 1995

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Qualifiers

Article

Conference

SOSP95

Sponsor:

SIGOPS

SOSP95: 15th ACM Symposium on Operating Systems Principles

December 3 - 6, 1995

Colorado, Copper Mountain, USA

Acceptance Rates

Overall Acceptance Rate 174 of 961 submissions, 18%

Upcoming Conference

SOSP '25

Sponsor:
sigops

ACM SIGOPS 31st Symposium on Operating Systems Principles

October 13 - 16, 2025

Seoul , Republic of Korea

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

168
Total Citations
View Citations
1,564
Total Downloads

Downloads (Last 12 months)143
Downloads (Last 6 weeks)22

Reflects downloads up to 13 Nov 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Barreto APaulino HSilva JPreguiça N(2023)PS-CRDTsFuture Generation Computer Systems10.1016/j.future.2022.12.013141:C(755-767)Online publication date: 15-Feb-2023
https://dl.acm.org/doi/10.1016/j.future.2022.12.013
Raghavan DFouladi SLevis PZaharia MGavrilovska AZadok E(2020)POSHProceedings of the 2020 USENIX Conference on Usenix Annual Technical Conference10.5555/3489146.3489188(617-631)Online publication date: 15-Jul-2020
https://dl.acm.org/doi/10.5555/3489146.3489188
Jepsen Tde Sousa LMoshref MPedone FSoulé R(2018)Infinite Resources for Optimistic Concurrency ControlProceedings of the 2018 Morning Workshop on In-Network Computing10.1145/3229591.3229597(26-32)Online publication date: 7-Aug-2018
https://dl.acm.org/doi/10.1145/3229591.3229597
van der Linde AFouto PLeitão JPreguiça NCastiñeira SBieniusa ABarrett RCummings RAgichtein EGabrilovich E(2017)LegionProceedings of the 26th International Conference on World Wide Web10.1145/3038912.3052673(283-292)Online publication date: 3-Apr-2017
https://dl.acm.org/doi/10.1145/3038912.3052673
Shibin DKathrine G(2017)A comprehensive overview on secure offloading in mobile cloud computing2017 4th International Conference on Electronics and Communication Systems (ICECS)10.1109/ECS.2017.8067851(121-124)Online publication date: Feb-2017
https://doi.org/10.1109/ECS.2017.8067851
Tran DTran NPham CKazmi SHuh EHong C(2017)OaaSComputing10.1007/s00607-017-0551-z99:11(1081-1104)Online publication date: 1-Nov-2017
https://dl.acm.org/doi/10.1007/s00607-017-0551-z
Massari GZanella MFornaciari W(2016)Towards Distributed Mobile Computing2016 Mobile System Technologies Workshop (MST)10.1109/MST.2016.13(29-35)Online publication date: Sep-2016
https://doi.org/10.1109/MST.2016.13
Zhang ISzekeres AVan Aken DAckerman IGribble SKrishnamurthy ALevy HFlinn JLevy H(2014)Customizable and extensible deployment for mobile/cloud applicationsProceedings of the 11th USENIX conference on Operating Systems Design and Implementation10.5555/2685048.2685057(97-112)Online publication date: 6-Oct-2014
https://dl.acm.org/doi/10.5555/2685048.2685057
Manzoor UZafar B(2014)Multi-Agent Modeling Toolkit – MAMTSimulation Modelling Practice and Theory10.1016/j.simpat.2014.09.00549(215-227)Online publication date: Dec-2014
https://doi.org/10.1016/j.simpat.2014.09.005
Van Cutsem TGonzalez Boix EScholliers CLombide Carreton AHarnie DPinte KDe Meuter W(2014)AmbientTalkComputer Languages, Systems and Structures10.1016/j.cl.2014.05.00240:3(112-136)Online publication date: 1-Oct-2014
https://dl.acm.org/doi/10.1016/j.cl.2014.05.002
Show More Cited By

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Cited By

Index Terms

Recommendations

Shared Displays for Remote Rover Science Operations

ExoMars Rover PanCam: Autonomous & Computational Intelligence [Application Notes]

The Collaborative Information Portal and NASA's Mars Rover Mission