XACML has become the de facto standard for specifying access control policies for various applications, especially web services. With the explosive growth of web applications depl...
This paper addresses the issue of type safe algorithmic skeletons. From a theoretical perspective we contribute by: formally specifying a type system for algorithmic skeletons, an...
This paper describes the design of a crawler devised to perform the periodic retrieval of Web documents for a search engine able to accept on-line updates in a concurrent manner. ...
Searching for similar objects in metric-space databases can be efficiently solved by using index data structures. A number of alternative sequential indexes have been proposed in...
The need for integration of human interaction scenarios into BPEL processes lead to the formalisation of tasks and human roles. The specifications BPEL4People and WSHumanTask int...