Functional Principles of Registry-based Service Discovery
暂无分享,去创建一个
Jerry den Hartog | Pieter H. Hartel | Hans Scholten | Vasughi Sundramoorthy | C. Tan | P. Hartel | J. D. Hartog | H. Scholten | V. Sundramoorthy | C. Tan
[1] Gerard J. Holzmann,et al. An Analysis of Bitstate Hashing , 1995, Formal Methods Syst. Des..
[2] Charles E. Perkins,et al. Service Location Protocol , 1997, RFC.
[3] Jennifer Bray,et al. Bluetooth 1.1: Connect Without Cables, Second Edition , 2001 .
[4] Jim Waldo,et al. The Jini Specification , 1999 .
[5] Kevin L. Mills,et al. A Model-Based Analysis of First-Generation Service Discovery Systems , 2005 .
[6] Christian Bettstetter,et al. A COMPARISON OF SERVICE DISCOVERY PROTOCOLS AND IMPLEMENTATION OF THE SERVICE LOCATION PROTOCOL , 2000 .
[7] Valentin Goranko,et al. Logic in Computer Science: Modelling and Reasoning About Systems , 2007, J. Log. Lang. Inf..
[8] Romanus Langerak,et al. Validation of Bosch' Mobile Communication NetworkArchitecture with SPIN , 1997 .
[9] Gerard J. Holzmann,et al. The SPIN Model Checker - primer and reference manual , 2003 .
[10] 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.