At Home in Service Discovery

Modern computer systems (since 1950s) evolved from being bulky, unreliable and expensive, to being tiny, reliable, cheaper and faster. Improvements in size, expense and performance was due to the evolution in computer hardware; from vacuum tubes, magnetic tapes, integrated circuits, to very large-scale integration (VLSI) of thousands of transistors and other circuit elements onto a single chip. The drop in cost and size led to the introduction of personal computers (PCs) for use in office, schools, and homes. Together with developments such as network technologies (LAN, WAN, WLAN, the Internet, etc), and application softwares, computer systems are no longer just calculators, but multipurpose devices. We use these devices for watching movies, making phone calls, sending emails, controlling remote devices, driving, etc.

[1]  Stephen Deering,et al.  Internet group management protocol , 1996 .

[2]  Gerard J. Holzmann,et al.  An Analysis of Bitstate Hashing , 1995, Formal Methods Syst. Des..

[3]  Kevin L. Mills,et al.  Analyzing Properties and Behavior of Service Discovery Protocols Using an Architecture-Based Approach | NIST , 2001 .

[4]  Uwe Hansmann,et al.  Pervasive Computing , 2003 .

[5]  Hari Balakrishnan,et al.  The design and implementation of an intentional naming system , 1999, SOSP.

[6]  Marvin Theimer,et al.  Bayou: replicated database services for world-wide applications , 1996, EW 7.

[7]  David M. Booth,et al.  Web Services Architecture , 2004 .

[8]  W. Keith Edwards,et al.  At Home with Ubiquitous Computing: Seven Challenges , 2001, UbiComp.

[9]  Ben Y. Zhao,et al.  An architecture for a secure service discovery service , 1999, MobiCom.

[10]  Roger M. Needham,et al.  Grapevine: an exercise in distributed computing , 1982, CACM.

[11]  David R. Cheriton,et al.  Leases: an efficient fault-tolerant mechanism for distributed file cache consistency , 1989, SOSP '89.

[12]  T. Howes,et al.  Understanding and Deploying LDAP Directory Services , 2003 .

[13]  Sang Lyul Min,et al.  A Performance Comparison of Directory-based and Timestamp-based Cache Coherence Schemes , 1990, ICPP.

[14]  Jadwiga Indulska,et al.  SuperstringRep: Reputation-enhanced Service Discovery , 2005, ACSC.

[15]  Thomas A. Corbi,et al.  The dawning of the autonomic computing era , 2003, IBM Syst. J..

[16]  Kevin Mills,et al.  Understanding consistency maintenance in service discovery architectures during communication failure , 2002, WOSP '02.

[17]  Larry L. Peterson,et al.  Univers: An attribute‐based name server , 1990, Softw. Pract. Exp..

[18]  Scott R. Klemmer,et al.  Papier-Mache: toolkit support for tangible input , 2004, CHI.

[19]  Timothy W. Finin,et al.  GSD: a novel group-based service discovery protocol for MANETS , 2002, 4th International Workshop on Mobile and Wireless Communications Network.

[20]  Gary J. Nutt.  Set-Top Boxes , 1999 .

[21]  Brad Cain,et al.  Internet Group Management Protocol, Version 3 , 2002, RFC.

[22]  W. W. Royce,et al.  Managing the development of large software systems , 1970 .

[23]  Vasughi Sundramoorthy.  FRODO High-level and Detailed Design Specifications , 2006 .

[24]  Valentin Goranko,et al.  Logic in Computer Science: Modelling and Reasoning About Systems , 2007, J. Log. Lang. Inf..

[25]  Leslie Lamport,et al.  Reaching Agreement in the Presence of Faults , 1980, JACM.

[26]  Yaron Goland,et al.  General Event Notification Architecture Base: Client to Arbiter , 1999 .

[27]  Golden G. Richard,et al.  Service Advertisement and Discovery: Enabling Universal Device Cooperation , 2000, IEEE Internet Comput..

[28]  Matthew MacDonald,et al.  Web Services Architecture , 2004 .

[29]  Mahadev Satyanarayanan,et al.  Pervasive computing: vision and challenges , 2001, IEEE Wirel. Commun..

[30]  Gerard J. Holzmann,et al.  The SPIN Model Checker - primer and reference manual , 2003 .

[31]  Larry L. Peterson.  The profile naming service , 1988, TOCS.

[32]  Matthias Jarke,et al.  Query Optimization in Database Systems , 1984, CSUR.

[33]  Mahadev Satyanarayanan,et al.  Fundamental challenges in mobile computing , 1996, PODC '96.

[34]  David W. Chadwick.  Understanding X.500 - the directory , 1994 .

[35]  David Luckham,et al.  The power of events - an introduction to complex event processing in distributed enterprise systems , 2002, RuleML.

[36]  James H. Aylor,et al.  Computer for the 21st Century , 1999, Computer.

[37]  David R. Karger,et al.  Chord: A scalable peer-to-peer lookup service for internet applications , 2001, SIGCOMM '01.

[38]  David C. Luckham,et al.  Rapide: A language and toolset for simulation of distributed systems by partial orderings of events , 1997, Partial Order Methods in Verification.

[39]  Christian Bettstetter,et al.  A COMPARISON OF SERVICE DISCOVERY PROTOCOLS AND IMPLEMENTATION OF THE SERVICE LOCATION PROTOCOL , 2000 .

[40]  Dale Skeen,et al.  The Information Bus: an architecture for extensible distributed systems , 1994, SOSP '93.

[41]  Mark Handley,et al.  SDP: Session Description Protocol , 1998, RFC.

[42]  Kevin Mills,et al.  Understanding consistency maintenance in service discovery architectures in response to message loss , 2002, Proceedings of Fourth Annual International Workshop on Active Middleware Services.

[43]  Steve Mann,et al.  “Smart clothing”: wearable multimedia computing and “personal imaging” to restore the technological balance between people and their environments , 1997, MULTIMEDIA '96.

[44]  Hector Garcia-Molina,et al.  Publish/Subscribe in a Mobile Environment , 2001, MobiDe '01.

[45]  Butler W. Lampson,et al.  Designing a global name service , 1986, PODC '86.

[46]  Koen Vanthournout,et al.  A taxonomy for resource discovery , 2004, Personal and Ubiquitous Computing.

[47]  Pieter H. Hartel,et al.  On consistency maintenance in service discovery , 2006, Proceedings 20th IEEE International Parallel & Distributed Processing Symposium.

[48]  D. Box,et al.  Simple object access protocol (SOAP) 1.1 , 2000 .

[49]  Prashant J. Shenoy,et al.  Adaptive leases: a strong consistency mechanism for the World Wide Web , 2000, Proceedings IEEE INFOCOM 2000. Conference on Computer Communications. Nineteenth Annual Joint Conference of the IEEE Computer and Communications Societies (Cat. No.00CH37064).

[50]  Pieter H. Hartel,et al.  The Performance of a Second Generation Service Discovery Protocol In Response to Message Loss , 2005 .

[51]  Norman H. Taylor,et al.  Designing for Reliability , 1957, Proceedings of the IRE.

[52]  Miron Livny,et al.  Transactional client-server cache consistency: alternatives and performance , 1997, TODS.

[53]  Holger Karl,et al.  Consistency challenges of service discovery in mobile ad hoc networks , 2004, MSWiM '04.

[54]  Theo C. Ruys.  Low-Fat Recipes for SPIN , 2000, SPIN.

[55]  Pieter H. Hartel,et al.  Service discovery at home , 2003, Fourth International Conference on Information, Communications and Signal Processing, 2003 and the Fourth Pacific Rim Conference on Multimedia. Proceedings of the 2003 Joint.

[56]  George Coulouris,et al.  Distributed systems - concepts and design , 1988 .

[57]  Michael Beigl,et al.  The MediaCup: Awareness Technology Embedded in a Everyday Object , 1999, HUC.

[58]  Antony I. T. Rowstron,et al.  Pastry: Scalable, Decentralized Object Location, and Routing for Large-Scale Peer-to-Peer Systems , 2001, Middleware.

[59]  Michael J. Carey,et al.  Query processing in main memory database management systems , 1986, SIGMOD '86.

[60]  Jerry den Hartog,et al.  Functional Principles of Registry-based Service Discovery , 2005, The IEEE Conference on Local Computer Networks 30th Anniversary (LCN'05)l.

[61]  Jennifer Bray,et al.  Bluetooth 1.1: Connect Without Cables, Second Edition , 2001 .

[62]  Kevin L. Mills,et al.  A Model-Based Analysis of First-Generation Service Discovery Systems , 2005 .

[63]  Marvin Theimer,et al.  Session guarantees for weakly consistent replicated data , 1994, Proceedings of 3rd International Conference on Parallel and Distributed Information Systems.

[64]  Farhad Arbab,et al.  Coordination Models and Languages , 1998, Adv. Comput..

[65]  Shashi K. Gadia,et al.  A query language for a homogeneous temporal database , 1985, PODS '85.

[66]  William C. Fenner.  Internet Group Management Protocol, Version 2 , 1997, RFC.

[67]  Andy Hopper,et al.  Networked Surfaces: A New Concept in Mobile Networking , 2002, Mob. Networks Appl..

[68]  Carl E. Landwehr,et al.  Basic concepts and taxonomy of dependable and secure computing , 2004, IEEE Transactions on Dependable and Secure Computing.

[69]  Li Gong,et al.  Industry Report: JXTA: A Network Programming Environment , 2001, IEEE Internet Comput..

[70]  Amitava Mukherjee,et al.  Pervasive Computing: A Paradigm for the 21st Century , 2003, Computer.

[71]  Adam Wolisz,et al.  Measuring the impact of slow user motion on packet loss and delay over IEEE 802.11b wireless links , 2003, 28th Annual IEEE International Conference on Local Computer Networks, 2003. LCN '03. Proceedings..

[72]  Charles E. Perkins,et al.  Service Location Protocol , 1997, RFC.

[73]  Hector Garcia-Molina,et al.  Publish/Subscribe in a Mobile Environment , 2004, Wirel. Networks.

[74]  Mao-Lun Chiang,et al.  Streets of consensus under unknown unreliable network , 2005, OPSR.

[75]  environmet.,et al.  JXTA : A Network Programming Environment , 2022 .

[76]  David L. Cohn,et al.  Autonomic Computing , 2003, ISADS.