System support for pervasive applications

ACM Transactions on Computer Systems

Volumn 22, Issue 4, 2004, Pages 421-486

  Grimm, Robert ^a,c   Davis, Janet ^b,d   Lemar, Eric ^b,d   MacBeth, Adam ^b,d   Swanson, Steven ^b,d   Anderson, Thomas ^b,d   Bershad, Brian ^b,d   Borriello, Gaetano ^b,d   Gribble, Steven ^b,d   Wetherall, David ^b,d  

^a NEW YORK UNIVERSITY   (United States)

^b UNIVERSITY OF WASHINGTON   (United States)

^c POLYTECHNIC UNIVERSITY   (United States)

^d University of Washington   (United States)

Author keywords

Asynchronous events; Checkpointing; Discovery; Logic operation pattern; Migration; One.world; Pervasive computing; Structured I O; Tuples; Ubiquitous computing

Indexed keywords

ASYNCHRONOUS EVENTS; CHECKPOINTING; LOGIC/OPERATION PATTERN; MIGRATION; ONE.WORLD; PERVASIVE COMPUTING; TUPLES; UBIQUITOUS COMPUTING;

COMPUTER ARCHITECTURE; COMPUTER PROGRAMMING; COMPUTER SCIENCE; MATHEMATICAL MODELS; NETWORK PROTOCOLS; PROBLEM SOLVING; SEARCH ENGINES; WEBSITES;

DISTRIBUTED COMPUTER SYSTEMS;

EID: 19944379443     PISSN: 07342071     EISSN: None     Source Type: Journal    
DOI: 10.1145/1035582.1035584     Document Type: Article

References (106)

1. ABRAMS, M. AND HELMS, J. 2002. User interface markup language (UIML), version 3.0. Draft specification, Harmonia, Inc., Blacksburg VA (Feb.). Available at http://www.uiml.org/specs/uim13/DraftSpec.htm.
2. ADJIE-WINOTO, W., SCHWARTZ, E., BALAKRISHNAN, H., AND LILLEY, J. 1999. The design and implementation of an intentional naming system. In Proceedings of the 17th ACM Symposium on Operating Systems Principles. Kiawah Island Resort, SC. 186-201.
3. ANDERSON, J. P. 1972. Computer security technology planning study. Tech. Rep. ESD-TR-73-51, Vol. I, (Oct.). Electronic Systems Division, Air Force Systems Command, Bedford, MA. Also AD-758 206, National Technical Information Service.
4. ANDERSON, T. E., DAHLIN, M. D., NEEFE, J. M., PATTERSON, D. A., ROSELLI, D. S., AND WANG, R. Y. 1996. Serverless network file systems. ACM Trans. Comput. Syst. 14, 1 (Feb.), 41-79.
5. ARNOLD, K., O'SULLIVAN, B., SCHEIFLER, R. W., WALDO, J., AND WOLLRATH, A. 1999. The Jini Specification. Addison-Wesley.
6. ARNSTEIN, L., GRIMM, R., HUNG, C.-Y., KANG, J. H., LAMARCA, A., SIGURDSSON, S. B., SU, J., AND BORRIELLO, G. 2002. Systems support for ubiquitous computing: A case study of two implementations of Labscape. In Proceedings of the 2002 International Conference on Pervasive Computing. Zurich, Switzerland, 30-44.
7. BERSHAD, B. N., SAVAGE, S., PARDYAK, P., SIRER, E. G., FIUCZYNSKI, M. E., BECKER, D., CHAMBERS, C., AND EGGERS, S. 1995. Extensibility, safety and performance in the SPIN operating system. In Proceedings of the 15th ACM Symposium on Operating Systems Principles. Copper Mountain, CO. 267-284.
8. BIRON, P. V. AND MALHOTRA, A. 2001. XML schema part 2: Datatypes. W3C recommendation, World Wide Web Consortium (May.). Cambridge, MA.
9. BIRRELL, A. D., LEVIN, R., NEEDHAM, R. M., AND SCHROEDER, M. D. 1982. Grapevine: An exercise in distributed computing. Comm. ACM 25, 4 (Apr.), 260-274.
10. BLUETOOTH SIG. 2002. Specification of the Bluetooth system. Specification Version 1.1 (Feb.). Bluetooth SIG.
11. BOX, D., EHNEBUSKE, D., KAKIVAYA, G., LAYMAN, A., MENDELSOHN, N., NIELSEN, H. F., THATTE, S., AND WINER, D. 2000. Simple object access protocol (SOAP) 1.1. W3C note, World Wide Web Consortium, (May.). Cambridge, MA.
12. BRAY, T., PAOLI, J., AND SPERBERG-MCQUEEN, C. M. 1998. Extensible markup language (XML) 1.0. W3C recommendation, World Wide Web Consortium, (Feb.). Cambridge, MA.
13. BREWER, E. A., KATZ, R. H., CHAWATHE, Y., GRIBBLE, S. D., HODES, T., NGUYEN, G., STEMM, M., HENDERSON, T., AMIR, E., BALAKRISHNAN, H., FOX, A., PADMANABHAN, V. N., AND SESHAN, S. 1998. A network architecture for heterogeneous mobile computing. IEEE Pers. Comm. 5, 5 (Oct.), 8-24.
14. BRINCH HANSEN, P. 1970. The nucleus of a multiprogramming system. Comm. ACM 13, 4 (Apr.), 238-241, 250.
15. BRUMITT, B., MEYERS, B., KRUMM, J., KERN, A., AND SHAFER, S. 2000. EasyLiving: Technologies for intelligent environments. In Proceedings of the 2nd International Symposium on Handheld and Ubiquitous Computing. Lecture Notes in Computer Science, vol. 1927. Springer-Verlag, Bristol, England, 12-29.
16. BULLARD, V., SMITH, K. T., AND DACONTA, M. C. 2001. Essential XUL Programming. John Wiley & Sons.
17. CARDELLI, L. 1999. Abstractions for mobile computations. In Secure Internet Programming: Security Issues for Distributed and Mobile Objects, J. Vitek and C. D. Jensen, Eds. Lecture Notes in Computer Science, vol. 1603. Springer-Verlag, 51-94.
18. CARRIERO, N. AND GELERNTER, D. 1986. The S/Net's Linda kernel. ACM Trans. Comput. Syst. 4, 2 (May), 110-129.
19. CHANKHUNTHOD, A., DANZIG, P. B., NEEDAELS, C., SCHWARTZ, M. F., AND WORRELL, K. J. 1996. A hierarchical Internet object cache. In Proceedings of the 1996 USENIX Annual Technical Conference. San Diego, CA. 153-163.
20. CHOU, P., ORTEGA, R., HINES, K., PARTRIDGE, K., AND BORRIELLO, G. 1999. ipChinook: An integrated IP-based design framework for distributed embedded systems. In Proceedings of the 36th ACM / IEEE Design Automation Conference. New Orleans, LO. 44-49.
21. CZERWINSKI, S. E., ZHAO, B. Y., HODES, T D., JOSEPH, A. D., AND KATZ, R. H. 1999. An architecture for a secure service discovery service. In Proceedings of the 5th ACM / IEEE International Conference on Mobile Computing and Networking. Seattle, WA. 24-35.
22. 2imbo: A distributed systems platform for mobile computing. Mobile Networks and Applications 3, 2 (Aug.), 143-156.
23. DERTOUZOS, M. L. 1999. The future of computing. Sci. Amer. 281, 2 (Aug.), 52-55.
24. DOUGLIS, F. AND OUSTERHOUT, J. 1991. Transparent process migration: Design alternatives and the Sprite implementation. Software - Practice and Experience 21, 8 (Aug.), 757-785.
25. ENGLER, D. R., KAASHOEK, M. F., AND O'TOOLE, JR., J. 1995. Exokernel: an operating system architecture for application-level resource management. In Proceedings of the 15th ACM Symposium on Operating Systems Principles. Copper Mountain Resort, CO. 251-266.
26. ESLER, M., HIGHTOWER, J., ANDERSON, T., AND BORRIELLO, G. 1999. Next century challenges: Datacentric networking for invisible computing. In Proceedings of the 5th ACM / IEEE International Conference on Mobile Computing and Networking. Seattle, WA. 256-262.
27. FERGUSON, P., LEMAN, G., PERINI, P., RENNER, S., AND SESHAGIRI, G. 1999. Software process improvement works! Tech. Rep. CMU/SEI-99-TR-027 (Nov.). Carnegie Mellon University, Software Engineering Institute.
28. FORD, B., HIBLER, M., LEPREAU, J., TULLMANN, P., BACK, G., AND CLAWSON, S. 1996. Microkernels meet recursive virtual machines. In Proceedings of the 2nd USENIX Symposium on Operating Systems Design and Implementation, Seattle, WA. 137-151.
29. FOSTER, I. AND KESSELMAN, C. 1997. Globus: A metacomputing infrastructure toolkit. Inter. J. Supercomput. Appl. High Perf. Comput. 11, 2, 115-128.
30. FOWLER, R. J. 1985. Decentralized object finding using forwarding addresses. Ph.D. thesis, University of Washington.
31. FOX, A., GRIBBLE, S. D., CHAWATHE, Y., BREWER, E. A., AND GAUTHIER, P. 1997. Cluster-based scalable network services. In Proceedings of the 16th ACM Symposium on Operating Systems Principles. Saint-Malo, France, 78-91.
32. FREEMAN, E., HUPFER, S., AND ARNOLD, K. 1999. JavaSpaces Principles, Patterns, and Practice. Addison-Wesley.
33. GARLAN, D., SIEWIOREK, D. P., SMAILAGIC, A., AND STEENKISTE, P. 2002. Project Aura: Toward distraction-free pervasive computing. IEEE Perv. Comput. Mag, 1, 2 (April-June), 22-31.
34. GAST, M. 2002. 802.11 Wireless Networks: The Definitive Guide. O'Reilly.
35. GONG, L. 1999. Inside Java Platform Security - Architecture, API Design, and Implementation. Addison-Wesley.
36. GRAY, C. G. AND CHERITON, D. R. 1989. Leases: An efficient fault-tolerant mechanism for file cache consistency. In Proceedings of the 12th ACM Symposium on Operating Systems Principles. Litchfield Park, AZ. 202-210.
37. GRAY, J., HELLAND, P., O'NEIL, P., AND SHASHA, D. 1996. The dangers of replication and a solution. In Proceedings of the 1996 ACM SIGMOD International Conference on Management of Data. Montreal, Canada, 173-182.
38. GRIBBLE, S. D., BREWER, E. A., HELLERSTEIN, J. M., AND CULLER, D. 2000. Scalable, distributed data structures for Internet service construction. In Proceedings of the 4th USENIX Symposium on Operating Systems Design and Implementation. San Diego, CA, 319-332.
39. GRIMM, R. 2000. System support for pervasive applications. Ph.D. thesis, University of Washington.
40. GRIMM, R. AND BERSHAD, B. N. 2001. Separating access control policy, enforcement and functionality in extensible systems. ACM Trans. Comput. Syst. 19, 1 (Feb.).
41. GRIMM, R., DAVIS, J., LEMAR, E., MACBETH, A., SWANSON, S., GRIBBLE, S., ANDERSON, T., BERSHAD, B., BORRIELLO, G., AND WETHERALL, D. 2001. Programming for pervasive computing environments. Tech. Rep. UW-CSE-01-06-01 (June), University of Washington.
42. GUTTMAN, E., PERKINS, C., VEIZADES, J., AND DAY, M. 1999. Service location protocol, version 2. RFC 2608, Internet (June). Engineering Task Force.
43. GUZDIAL, M. AND ROSE, K., Eds. 2002. Squeak: Open Personal Computing and Multimedia. Prentice Hall.
44. HEIDEMANN, J. S. AND POPEK, G. J. 1994. File-system development with stackable layers. ACM Trans. Comput. Syst. 12, 1 (Feb.), 58-89.
45. HILL, J., SZEWCZYK, R., WOO, A., HOLLAR, S., CULLER, D., AND PISTER, K. 2000. System architecture directions for networked sensors. In Proceedings of the 9th ACM International Conference on Architectural Support for Programming Languages and Operating Systems. Cambridge, MA. 93-104.
46. IOANNIDIS, J. AND MAGUIRE, JR., G. Q. 1993. The design and implementation of a mobile inter-networking architecture. In Proceedings of 1993 Winter USENIX Conference. San Diego, CA. 491-502.
47. JOHANSON, B., Fox, A., AND WINOGRAD, T. 2002. The interactive workspaces project: Experiences with ubiquitous computing rooms. IEEE Perv. Comput. Mag. 1, 2 (April-June), 67-74.
48. JOHNSON, K. L., CARR, J. F., DAY, M. S., AND KAASHOEK, M. F. 2000. The measured performance of content distribution networks. In Proceedings of the 5th International Web Caching and Content Delivery Workshop. Lisbon, Portugal. http://www.terena.nl/conf/wcw/Proceedings/S4/S4-l.pdf.
49. JONES, M. B. 1993. Interposition agents: Transparently interposing user code at the system interface. In Proceedings of the 14th ACM Symposium on Operating Systems Principles. Asheville, NC. 80-93.
50. JOSEPH, A. D., DELESPINASSE, A. F., TAUBER, J. A., GIFFORD, D. K., AND KAASHOEK, M. F. 1995. Rover: A toolkit for mobile information access. In Proceedings of the 15th ACM Symposium on Operating Systems Principles. Copper Mountain Resort, CO. 156-171.
51. JUL, E., LEVY, H., HUTCHINSON, N., AND BLACK, A. 1988. Fine-grained mobility in the Emerald system. ACM Trans. Comput. Syst. 6, 1 (Feb.), 109-133.
52. KAASHOEK, M. F., ENGLER, D. R., GANGER, G. R., BRICEÑO, H., HUNT, R., MAZIÈRES, D., PINCKNEY, T., GRIMM, R., JANNOTTI, J., AND MACKENZIE, K. 1997. Application performance and flexibility on exokernel systems. In Proceedings of the 16th ACM Symposium on Operating Systems Principles. Saint-Malo, France, 52-65.
53. KISTLER, J. J. AND SATYANARAYANAN, M. 1992. Disconnected operation in the Coda file system. ACM Trans. Comput. Syst. 10, 1 (Feb.), 3-25.
54. KUBIATOWICZ, J., BlNDEL, D., CHEN, Y., CZERWINSKI, S., EATON, P., GEELS, D., GUMMADI, R., RHEA, S., WEATHERSPOON, H., WEIMER, W., WELLS, C., AND ZHAO, B. 2000. OceanStore: An architecture for global-scale persistent storage. In Proceedings of the 9th ACM International Conference on Architectural Support for Programming Languages and Operating Systems. Cambridge, MA. 190-201.
55. KUMAR, P. AND SATYANARAYANAN, M. 1995. Flexible and safe resolution of file conflicts. In Proceedings of the 1995 USENIX Annual Technical Conference. New Orleans, LO. 95-106.
56. LANGE, D. B. AND OSHIMA, M. 1998. Programming and Deploying Java Mobile Agents with Aglets. Addison Wesley.
57. LE HORS, A., LE HÉGARET, P., WOOD, L., NICOL, G., ROBIE, J., CHAMPION, M., AND BYRNE, S. 2000. Document object model (DOM) level 2 core specification. W3C recommendation, World Wide Web Consortium (Nov.). Cambridge, MA.
58. LEACH, P. J. AND SALZ, R. 1998. UUIDs and GUIDs. Internet Draft draft-leach-uuids-guids-01.txt (Feb.). Internet Engineering Task Force.
59. LEVY, E. AND SILBERSCHATZ, A. 1990. Distributed file systems: Concepts and examples. ACM Comput. Surv. 22, 4 (Dec.), 321-374.
60. LEWIS, M. AND GRIMSHAW, A. 1996. The core Legion object model. In Proceedings of the Fifth IEEE International Symposium on High Performance Distributed Computing. Syracuse, NY. 551-561.
61. LIANG, S. AND BRACHA, G. 1998. Dynamic class loading in the Java virtual machine. In Proceedings of the ACM Conference on Object-Oriented Programming Systems, Languages, and Applications '98. Vancouver, Canada, 36-44.
62. LIEFKE, H. AND SUCIU, D. 2000. XMill: An efficient compressor for XML data. In Proceedings of the 2000 ACM SIGMOD International Conference on Management of Data. Dallas, TX. 153-164.
63. LINDHOLM, T. AND YELLIN, F. 1999. The Java Virtual Machine Specification, Second ed. Addison-Wesley.
64. MARTIN, B. AND JANO, B. 1999. WAP binary XML content format. W3C note, World Wide Web Consortium (June). Cambridge, MA.
65. MCKUSICK, M. K., BOSTIC, K., KARELS, M. J., AND QUARTERMAN, J. S. 1996. The Design and Implementation of the 4.4BSD Operating System. Addison-Wesley.
66. MICROSOFT CORPORATION. 1999. Microsoft Office 2000 Resource Kit. Microsoft Press.
67. MICROSOFT CORPORATION. 2000. Understanding universal plug and play. White paper (June). Microsoft Corporation, Redmond, WA. Available at http://www.upnp.org/download/UPNP_UnderstandingUPNP.doc.
68. MILLSTEIN, T. 2004. Practical predicate dispatch. In Proceedings of the 19th ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications. Vancouver, BC. 345-364.
69. MILNER, R., TOFTE, M., HARPER, R., AND MACQUEEN, D. 1997. The Definition of Standard ML (Revised). MIT Press.
70. MILOJIČIĆ, D., DOUGLIS, F., AND WHEELER, R., EDS. 1999. Mobility - Processes, Computers, and Agents. ACM Press. Addison-Wesley.
71. MUMMERT, L. B., EBLING, M. R., AND SATYANARAYANAN, M. 1995. Exploiting weak connectivity for mobile file access. In Proceedings of the 15th ACM Symposium on Operating Systems Principles. Copper Mountain Resort, CO. 143-155.
72. MURPHY, A. L., PICCO, G. P., AND ROMAN, G.-C. 2001. Lime: A middleware for physical and logical mobility. In Proceedings of the 21st IEEE International Conference on Distributed Computing Systems. Phoenix, AZ. 524-533.
73. MUTHITACHAROEN, A., CHEN, B., AND MAZIÈRES, D. 2001. A low-bandwidth network file system. In Proceedings of the 18th ACM Symposium on Operating Systems Principles. Banff, Canada, 174-187.
74. NOBLE, B. D., SATYANARAYANAN, M., NARAYANAN, D., TILTON, J. E., FLINN, J., AND WALKER, K. R. 1997. Agile application-aware adaptation for mobility. In Proceedings of the 16th ACM Symposium on Operating Systems Principles. Saint-Malo, France, 276-287.
75. NYE, A., Ed. 1995. X Protocol Reference Manual, 4th ed. O'Reilly.
76. OKI, B., PFLUEGL, M., SIEGEL, A., AND SKEEN, D. 1993. The Information Bus - an architecture for extensible distributed systems. In Proceedings of the 14th ACM Symposium on Operating Systems Principles. Ashville, NC. 58-68.
77. OLSON, M. A., BOSTIC, K., AND SELTZER, M. 1999. Berkeley DB. In Proceedings of the FREENIX Track, 1999 USENIX Annual Technical Conference. Monterey, CA. 183-192.
78. OUSTERHOUT, J. 1996. Why threads are a bad idea (for most purposes), http://home.pacbell.net/ouster/threads.ppt. Invited Talk presented at the 1996 USENIX Annual Technical Conference. San Diego, CA.
79. PAI, V. S., DRUSCHEL, P., AND ZWAENEPOEL, W. 1999. Flash: An efficient and portable Web server. In Proceedings of the 1999 USENIX Annual Technical Conference. Monterey, CA. 199-212.
80. PARDYAK, P. AND BERSHAD, B. N. 1996. Dynamic binding for an extensible system. In Proceedings of the 2nd USENIX Symposium on Operating Systems Design and Implementation. Seattle, WA. 201-212.
81. PETERSEN, K., SPREITZER, M. J., TERRY, D. B., THEIMER, M. M., AND DEMERS, A. J. 1997. Flexible update propagation for weakly consistent replication. In Proceedings of the 16th ACM Symposium on Operating Systems Principles. Saint-Malo, France, 288-301.
82. PETZOLD, C. 1998. Programming Windows, 5th ed. Microsoft Press.
83. PLAINFOSSÉ, D. AND SHAPIRO, M. 1995. A survey of distributed garbage collection techniques. In International Workshop on Memory Management. Lecture Notes in Computer Science, vol. 986. Springer-Verlag, Kinross, Scotland, 211-249.
84. POWELL, M. L. AND MILLER, B. P. 1983. Process migration in DEMOS/MP. In Proceedings of the 9th ACM Symposium on Operating Systems Principles. Bretton Woods, NH. 110-119.
85. PRECHELT, L. 2000. An empirical comparison of seven programming languages. IEEE Comput. 33, 10 (Oct.), 23-29.
86. RHEA, S., EATON, P., GEELS, D., WEATHERSPOON, H., ZHAO, B., AND KUBIATOWICZ, J. 2003. Pond: The OceanStore prototype. In Proceedings of the 2nd USENIX Conference on File and Storage Technologies. San Francisco, CA. 1-14.
87. RICHARDSON, T., STAFFORD-FRASER, Q., WOOD, K. R., AND HOPPER, A. 1998. Virtual network computing. IEEE Inter. Comput. 2, 1 (January/February), 33-38.
88. SALTZER, J. H., REED, D. P., AND CLARK, D. D. 1984. End-to-end arguments in system design. ACM Transactions on Computer Systems 2, 4 (Nov.), 277-288.
89. SATOH, I. 2000. MobileSpaces: A framework for building adaptive distributed applications using a hierarchical mobile agent system. In Proceedings of the 20th IEEE International Conference on Distributed Computing Systems. Taipei, Taiwan, 161-168.
90. SATYANARAYANAN, M. 2001. Pervasive computing: Vision and challenges. IEEE Pers. Comm. 8, 4 (Aug.), 10-17.
91. STEENSGAARD, B. AND JUL, E. 1995. Object and native code thread mobility among heterogeneous computers. In Proceedings of the 15th ACM Symposium on Operating Systems Principles. Copper Mountain Resort, CO. 68-77.
92. STEVENS, W. R. 1994. TCP / IP Illustrated. Vol. 1. Addison-Wesley.
93. SUN MICROSYSTEMS. 2002. Java remote method invocation specification. Revision 1.8, Sun Microsystems, Palo Alto, CA.
94. TAMCHES, A, AND MILLER, B. P. 1999. Fine-grained dynamic instrumentation of commodity operating system kernels. In Proceedings of the 3rd USENIX Symposium on Operating Systems Design and Implementation. New Orleans, LO. 117-130.
95. TERRY, D. B., THEIMER, M. M., PETERSEN, K., DEMERS, A. J., SPREITZER, M. J., AND HAUSER, C. H. 1995. Managing update conflicts in Bayou, a weakly connected replicated storage system. In Proceedings of the 15th ACM Symposium on Operating Systems Principles. Copper Mountain Resort, CO. 172-183.
96. TEWARI, R., DAHLIN, M., VIN, H. M., AND KAY, J. S. 1999. Design considerations for distributed caching on the Internet. In Proceedings of the 19th IEEE International Conference on Distributed Computing Systems. Austin, TX. 273-284.
97. THAI, T. AND LAM, H. 2002. .NET Framework Essentials, 2nd Ed. O'Reilly.
98. THOMPSON, H. S., BEECH, D., MALONEY, M., AND MENDELSOHN, N. 2001. XML schema part 1: Structures. W3C recommendation, World Wide Web Consortium (May). Cambridge, Massachusetts.
99. THORN, T. 1997. Programming languages for mobile code. ACM Comput. Surv. 29, 3 (Sept.), 213-239.
100. TULLMANN, P. AND LEPREAU, J. 1998. Nested Java processes: OS structure for mobile code. In Proceedings of the 8th ACM SIGOPS European Workshop. Sintra, Portugal, 111-117.
101. TULLOCH, M. 2001. Windows 2000 Administration in a Nutshell. O'Reilly.
102. VAN STEEN, M., HOMBURG, P., AND TANENBAUM, A. S. 1999. Globe: A wide-area distributed system. IEEE Concurr. 7, 1, 70-78.
103. WALRATH, K. AND CAMPIONE, M. 1999. The JFC Swing Tutorial: A Guide to Constructing GUIs. Addison-Wesley.
104. WEISER, M. 1991. The computer for the twenty-first century. Sci. Amer. 265, 3 (Sept.), 94-104.
105. WELSH, M., CULLER, D., AND BREWER, E. 2001. SEDA: An architecture for well-conditioned, scalable Internet services. In Proceedings of the 18th ACM Symposium on Operating Systems Principles. Banff, Canada, 230-243.
106. WYCKOFF, P., MCLAUGHRY, S. W., LEHMAN, T. J., AND FORD, D. A. 1998. T Spaces. IBM Syst. J. 37, 3, 454-474.