Reasoning about naming systems

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Reasoning about naming systems

Full text

Pdf (2.21 MB)

Source

ACM Transactions on Programming Languages and Systems (TOPLAS) archive
Volume 15 , Issue 5 (November 1993) table of contents

Pages: 795 - 825

Year of Publication: 1993

ISSN:0164-0925

Authors

Mic Bowman	Pennsylvania State Univ., University Park
Saumya K. Debray	Univ. of Arizona, Tucson
Larry L. Peterson	Univ. of Arizona, Tucson

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 15, Downloads (12 Months): 175, Citation Count: 29

Additional Information:

references cited by index terms review collaborative colleagues

Tools and Actions:	Request Permissions Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/161468.161471 What is a DOI?

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	BETZ, D. M 1989. Xscheme: An Object-Oriented Scheme. Peterborough, N.H.
	2	Alan Borning , Robert Duisberg , Bjorn Freeman-Benson , Axel Kramer , Michael Woolf, Constraint hierarchies, Conference proceedings on Object-oriented programming systems, languages and applications, p.48-60, October 04-08, 1987, Orlando, Florida, United States
	3	Clair Michael Bowman, II , Larry L. Peterson, Univers: the construction of an internet-wide descriptive naming system, 1990
	4	M. Bowman , L. L. Peterson , A. Yeatts, Univers: an attribute-based name server, Software—Practice & Experience, v.20 n.4, p.403-424, April 1990 [doi>10.1002/spe.4380200406]
	5	BUDD, T. 1986. Bib--A program for formatting blbliographies. In Umx User's SupplementarT Documents. 4.3 Berkeley Software Distribution Apr.
	6	COMER, D. E., AND PETERSON, L. L. 1989. Understanding naming in distributed systems. Dtstrib. Comput. 3, 2 (May), 51-60.
	7	R. S. Fabry, Capability-based addressing, Communications of the ACM, v.17 n.7, p.403-412, July 1974 [doi>10.1145/361011.361070]
	8	Robert Joseph Fowler, Decentralized object finding using forwarding addresses (object, network, distribution), 1985
	9	Herve Gallaire , Jack Minker , Jean-Marie Nicolas, Logic and Databases: A Deductive Approach, ACM Computing Surveys (CSUR), v.16 n.2, p.153-185, June 1984 [doi>10.1145/356924.356929]
	10	INTERNATIONAL ORGANIZATION FOR STANDARDIZATION. 1988. Information processing systems: Open systems in{erconnectmn--The directory--Overview of concepts, models, and service. Draft International Standard ISO 9594-1:1988(E), International Organization of Standardization, New York.
	11	Butler W Lampson, Designing a global name service, Proceedings of the fifth annual ACM symposium on Principles of distributed computing, p.1-10, August 11-13, 1986, Calgary, Alberta, Canada [doi>10.1145/10590.10591]
	12	Witold Lipski, Jr., On Databases with Incomplete Information, Journal of the ACM (JACM), v.28 n.1, p.41-70, Jan. 1981 [doi>10.1145/322234.322239]
	13	Witold Lipski, Jr., On semantic issues connected with incomplete information databases, ACM Transactions on Database Systems (TODS), v.4 n.3, p.262-296, Sept. 1979 [doi>10.1145/320083.320088]
	14	M~N, T. 1987. Decentralized naming in distributed computer system. Ph.D. thesis, Stanford Univ., Palo Alto. Calif, May.
	15	~MOCKAPETRIS, P. 1987. Domain names--Implementation and specification. Request For Comments 1035, USC Information Sciences Institute, Marina del Ray, Calif., Nov.
	16	OPPEN, D., AND DALAL, Y. 1981. The clearinghouse: A decentralized agent for locating named objects in a distributed environment. Tech. Rep. OPD-T8103, Xerox Office Products Division, Palo Alto, Calif., Oct.
	17	Larry L. Peterson, The profile naming service, ACM Transactions on Computer Systems (TOCS), v.6 n.4, p.341-364, Nov. 1988 [doi>10.1145/48012.48013]
	18	L. L. Peterson, A yellow-pages service for a local-area network, Proceedings of the ACM workshop on Frontiers in computer communications technology, p.235-242, August 11-13, 1987, Stowe, Vermont, United States
	19	PICKENS, J., FEINLER, E., AND MATHIS, J. 1979. The NIC name server--a datagram based information utility. In Proceedings of the 4th Berkeley Workshop on Distributed Data Management and Computer Networks (Aug.).
	20	C. E. Price, Table Lookup Techniques, ACM Computing Surveys (CSUR), v.3 n.2, p.49-64, June 1971 [doi>10.1145/356586.356587]
	21	REITER, R. 1980. On closed world databases. In Logic and Databases, H. Gallaire and J. Minker, Eds. Plenum Press, New York, 55-76.
	22	Dennis M. Ritchie , Ken Thompson, The UNIX time-sharing system, Communications of the ACM, v.17 n.7, p.365-375, July 1974 [doi>10.1145/361011.361061]
	23	SOLOMON, M., LANDWEBER, L., AND NEUHENGEN, n. 1982. The CSNET naine server. Comput. Networks 6, 161 172.
	24	SUN MICROSYSTEMS INC. 1986. Yellow Poges Protocol Spec~ficat~on. Sun Microsystems Inc., Mountain View, Calif., Feb.
	25	Douglas B. Terry, Caching hints in distributed systems, IEEE Transactions on Software Engineering, v.13 n.1, p.48-54, Jan. 1987 [doi>10.1109/TSE.1987.232834]
	26	Jeffrey D. Ullman, Principles of database and knowledge-base systems, Vol. I, Computer Science Press, Inc., New York, NY, 1988
	27	Richard W. Watson, Identifiers (Naming) in Distributed Systems, Distributed Systems - Architecture and Implementation, An Advanced Course, p.191-210, January 1981
	28	Eugene Wong, A statistical approach to incomplete information in database systems, ACM Transactions on Database Systems (TODS), v.7 n.3, p.470-488, Sept. 1982 [doi>10.1145/319732.319747]

CITED BY 29

	John Heidemann , Fabio Silva , Chalermek Intanagonwiwat , Ramesh Govindan , Deborah Estrin , Deepak Ganesan, Building efficient wireless sensor networks with low-level naming, ACM SIGOPS Operating Systems Review, v.35 n.5, Dec. 2001
	Manolis Tzagarakis , Nikos Karousos , Dimitris Christodoulakis , Siegfried Reich, Naming as a fundamental concept of open hypermedia systems, Proceedings of the eleventh ACM on Hypertext and hypermedia, p.103-112, May 30-June 03, 2000, San Antonio, Texas, United States
	Chanda Dharap , Martin Freeman, Information agents for automated browsing, Proceedings of the fifth international conference on Information and knowledge management, p.296-305, November 12-16, 1996, Rockville, Maryland, United States
	Wooyoung Kim , Alan H. Karp, Customizable description and dynamic discovery for web services, Proceedings of the 5th ACM conference on Electronic commerce, May 17-20, 2004, New York, NY, USA
	Dongmei Ren , Imad Rahal , William Perrizo , Kirk Scott, A vertical distance-based outlier detection method with local pruning, Proceedings of the thirteenth ACM international conference on Information and knowledge management, November 08-13, 2004, Washington, D.C., USA
	Boris de Ruyter , Emile Aarts, Ambient intelligence: visualizing the future, Proceedings of the working conference on Advanced visual interfaces, May 25-28, 2004, Gallipoli, Italy
	Sarita Yardi , Benjamin Hill , Stephen Chan, VERN: facilitating democratic group decision making online, Proceedings of the 2005 international ACM SIGGROUP conference on Supporting group work, November 06-09, 2005, Sanibel Island, Florida, USA
	Robin Senior , Roel Vertegaal, Augmenting conversational dialogue by means of latent semantic googling, Proceedings of the 7th international conference on Multimodal interfaces, October 04-06, 2005, Torento, Italy
	Hao Yin , Chuang Lin , Berton Sebastien , Xiaowen Chu, A novel secure wireless video surveillance system based on Intel IXP425 network processor, Proceedings of the 1st ACM workshop on Wireless multimedia networking and performance modeling, October 13-13, 2005, Montreal, Quebec, Canada
	Fusako Kusunoki , Ikuko Eguchi Yairi , Takuichi Nlshimura, Multi-Audible table for collaborative work, Proceedings of the 2004 ACM SIGCHI International Conference on Advances in computer entertainment technology, p.67-73, June 03-05, 2005, Singapore
	Holger Klus , Andreas Rausch, A general architecture for self-adaptive AmI components applied in speech recognition, Proceedings of the 2006 international workshop on Self-adaptation and self-managing systems, May 21-22, 2006, Shanghai, China
	Elina M. I. Koivisto , Riku Suomela , Ari Koivisto, Ancient runes: using text input for interaction in mobile games, Proceedings of the 2006 ACM SIGGRAPH symposium on Videogames, p.159-167, July 30-31, 2006, Boston, Massachusetts
	Nadia Mana , Fabio Pianesi, HMM-based synthesis of emotional facial expressions during speech in synthetic talking heads, Proceedings of the 8th international conference on Multimodal interfaces, November 02-04, 2006, Banff, Alberta, Canada
	Hemant Joshi , Shinya Ito , Santhosh Kanala , Sangeetha Hebbar , Coskun Bayrak, Concept set extraction with user session context, Proceedings of the 45th annual southeast regional conference, March 23-24, 2007, Winston-Salem, North Carolina
	Jiang Kun , Gao Yang Lv Xingfeng , Zhan Yang, Parallel algorithms on geometric constraint solving, Proceedings of the 2007 ACM symposium on Applied computing, March 11-15, 2007, Seoul, Korea
	SeungEun Cha , DaiYoung Kwon , WonGyu Lee, Using puzzles: problem-solving and abstraction, Proceedings of the 8th ACM SIGITE conference on Information technology education, October 18-20, 2007, Destin, Florida, USA
	Robert Gibson , David Dyar, Implementing preinstallation environment media for use in user support, Proceedings of the 35th annual ACM SIGUCCS conference on User services, p.129-130, October 07-10, 2007, Orlando, Florida, USA
	Svetlana Peltsverger , Carlton McKenney, Students research in dynamic VLAN configuration, Proceedings of the 5th annual conference on Information security curriculum development, September 26-27, 2008, Kennesaw, Georgia
	Amanda Williams , Ken Anderson , Paul Dourish, Anchored mobilities: mobile technology and transnational migration, Proceedings of the 7th ACM conference on Designing interactive systems, p.323-332, February 25-27, 2008, Cape Town, South Africa
	Xiaofei Liao, A novel routing scheme for paired peers in P2P network, Proceedings of the 2007 Asian technology information program's (ATIP's) 3rd workshop on High performance computing in China: solution approaches to impediments for high performance computing, November 11-11, 2007, Reno, Nevada
	Ehab Moustafa, Public-private partnership in managing labor market in UAE - case study, Proceedings of the 1st international conference on Theory and practice of electronic governance, December 10-13, 2007, Macao, China
	Mohamad A. Eid , Mohamed Mansour , Abdulmotaleb H. El Saddik , Rosa Iglesias, A haptic multimedia handwriting learning system, Proceedings of the international workshop on Educational multimedia and multimedia education, September 28-28, 2007, Augsburg, Bavaria, Germany
	Nandita Chaudhri , Shefali S. Dash, Community information centers: e-governance at subdistrict level: a case study, Proceedings of the 1st international conference on Theory and practice of electronic governance, December 10-13, 2007, Macao, China
	Jian Qiang , Gong Zhenghu , Gui Chunmei, FE-MAC: a forwarding election-based MAC protocol for wireless sensor networks, Proceedings of the 3rd international conference on Wireless internet, October 22-24, 2007, Austin, Texas
	Dongqing Yuan , Jiling Zhong, Designing a comprehensive open network laboratory courseware, Journal of Computing Sciences in Colleges, v.24 n.1, October 2008
	Elin Olsen , Pål Kraft, ePsychology: a pilot study on how to enhance social support and adherence in digital interventions by characteristics from social networking sites, Proceedings of the 4th International Conference on Persuasive Technology, April 26-29, 2009, Claremont, California
	Briana B. Morrison , Jon A. Preston, Engagement: gaming throughout the curriculum, Proceedings of the 40th ACM technical symposium on Computer science education, March 04-07, 2009, Chattanooga, TN, USA
	Diego J. Bodas-Sagi , Pablo Fernández , J. Ignacio Hidalgo , Francisco J. Soltero , José L. Risco-Martín, Multiobjective optimization of technical market indicators, Proceedings of the 11th annual conference companion on Genetic and evolutionary computation conference, July 08-12, 2009, Montreal, Québec, Canada
	Josef Makolm , Silke Weiß , Doris Ipsmiller, The DYONIPOS innovation framework: research and practice hand in hand, Proceedings of the 2nd International Conference on Theory and Practice of Electronic Governance, December 01-04, 2008, Cairo, Egypt

INDEX TERMS

Primary Classification:
H. Information Systems
H.3 INFORMATION STORAGE AND RETRIEVAL
H.3.4 Systems and Software
Subjects: Question-answering (fact retrieval) systems**

Additional Classification:
H. Information Systems
H.2 DATABASE MANAGEMENT
H.2.3 Languages
Subjects: Query languages
H.2.4 Systems
Subjects: Query processing
H.3 INFORMATION STORAGE AND RETRIEVAL
H.3.3 Information Search and Retrieval
Subjects: Selection process

General Terms:
Algorithms, Design, Theory

Keywords:
descriptive naming systems, inference mechanisms

REVIEW

"Friedrich Gebhardt : Reviewer"

Naming systems are specialized databases designed for identifying persons and organizations, locating equipment, and similar tasks. In a perfect world, the user would compose a request using the known attributes, and the system would respond w more...

Collaborative Colleagues:

Mic Bowman: colleagues

Saumya K. Debray: colleagues

Larry L. Peterson: colleagues

Adobe Acrobat

QuickTime

Windows Media Player

Real Player