We propose a simple classification method for public-key based authentication protocols, which consists of identifying several basic properties leading to a large number of generic...
We sketch how to express typical features of agent communication protocols in a simple temporal logic and show that conformance verification at runtime reduces to a generalised f...
Applications can communicate over the WEB using a variety to tools and techniques. Both Java and PERL are common languages used in WEB communication. A Simple Object Access Protoc...
Roger Eggen, Sanjay P. Ahuja, Paul Elliott, Mauric...
In this paper, we present a theoretical protocol for autonomic distribution of services in a P2P environment, as well as the results of its simulated implementation. Our objective...
Abstract. This paper examines the issues surrounding distributed Digital Library protocols. First, it reviews three prominent digital library protocols: Z39.50, SDLIP, and Dienst, ...
David Bainbridge, George Buchanan, John R. McPhers...