We present a formal analysis of the Web Services Atomic Transaction (WS-AT) protocol. WS-AT is a part of the WS-Coordination framework and describes an algorithm for reaching agree...
In this paper we find the second order linear differential equation satisfied by orthogonal polynomials with respect to the inner product p, q = ∞ 0 p(x)q(x)xα e−x dx + Mp...
entional vulnerability detection fails to extend its generic form to an abstract level in coping with particular type of string validation. Consequently the security bypasses key ...
In this paper we present a software architecture and a development environment for the implementation of applications based on secure mobile agents. Recent breakthroughs in mobile...
Carles Garrigues, Sergi Robles, Joan Borrell, Guil...
Abstract. We present a new shape descriptor for measuring the similarity between shapes and exploit it in graphical object recognition and retrieval. By statistically integrating t...