loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
The IEEE Conference on Local Computer Networks 30th Anniversary (LCN'05)l
Functional Principles of Registry-based Service Discovery
Sydney, Australia
November 15-November 17
ISBN: 0-7695-2421-4
ASCII Text
x 
 
V. Sundramoorthy, P.H. Hartel, J.I.den Hartog, J. Scholten, C. Tan, "Functional Principles of Registry-based Service Discovery," Local Computer Networks, Annual IEEE Conference on, pp. 209-217, The IEEE Conference on Local Computer Networks 30th Anniversary (LCN'05)l, 2005.
 
 
BibTex
x
 
@article{ 10.1109/LCN.2005.71,
author = {V. Sundramoorthy and P.H. Hartel and J.I.den Hartog and J. Scholten and C. Tan},
title = {Functional Principles of Registry-based Service Discovery},
journal ={Local Computer Networks, Annual IEEE Conference on},
volume = {0},
year = {2005},
issn = {0742-1303},
pages = {209-217},
doi = {http://doi.ieeecomputersociety.org/10.1109/LCN.2005.71},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Local Computer Networks, Annual IEEE Conference on
TI - Functional Principles of Registry-based Service Discovery
SN - 0742-1303
SP209
EP217
A1 - V. Sundramoorthy,
A1 - P.H. Hartel,
A1 - J.I.den Hartog,
A1 - J. Scholten,
A1 - C. Tan,
PY - 2005
KW - null
VL - 0
JA - Local Computer Networks, Annual IEEE Conference on
ER -
 
V. Sundramoorthy, University of Twente, Enschede, The Netherlands
P.H. Hartel, University of Twente, Enschede, The Netherlands
J.I.den Hartog, University of Twente, Enschede, The Netherlands
J. Scholten, University of Twente, Enschede, The Netherlands
C. Tan, MIT

As Service Discovery Protocols (SDP) are becoming increasingly important for ubiquitous computing, they must behave according to predefined principles. We present the functional Principles of Service Discovery for robust, registry-based service discovery. A methodology to guarantee adherence to these principles is provided and illustrated by formal verification of the principles against FRODO, an SDP built for the home environment. We show that, to make behavioral guarantees, an SDP has to be robust against network disturbances, and cannot rely only on the network layer.

Citation:
V. Sundramoorthy, P.H. Hartel, J.I.den Hartog, J. Scholten, C. Tan, "Functional Principles of Registry-based Service Discovery," lcn, pp.209-217, The IEEE Conference on Local Computer Networks 30th Anniversary (LCN'05)l, 2005
Usage of this product signifies your acceptance of the Terms of Use.