Sciweavers

4438 search results - page 530 / 888
» On the Distribution of Keys by Hashing
Sort
View
ISOLA
2010
Springer
15 years 5 months ago
A Formal Analysis of the Web Services Atomic Transaction Protocol with UPPAAL
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...
Anders P. Ravn, Jirí Srba, Saleem Vighio
JAT
2010
82views more  JAT 2010»
15 years 5 months ago
The Laguerre-Sobolev-type orthogonal polynomials
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...
Herbert Dueñas, Francisco Marcellán
JOT
2010
113views more  JOT 2010»
15 years 5 months ago
SOA Web Security and Applications
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 ...
Raymond Wu, Masayuki Hisada
JSS
2010
111views more  JSS 2010»
15 years 5 months ago
Promoting the development of secure mobile agent applications
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...
PCM
2010
Springer
200views Multimedia» more  PCM 2010»
15 years 5 months ago
A New Shape Descriptor for Object Recognition and Retrieval
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...
Feng Su, Tong Lu, Ruoyu Yang