: The Open Grid Services Architecture (OGSA) provides a high-level framework for service-oriented grid architecture, mostly based on web service standards. The vision of a worldwid...
In this paper, a new agent development platform, which includes built-in features for semantic web based multi agent system development, is introduced. All agents and services in ...
Model checking is a formal verification method widely accepted in the web service world because of its capability to reason about service behaviors, at their process-level. It ha...
L. Boaro, E. Glorio, Francesco Pagliarecci, Luca S...
The Service Oriented Architecture enables the development of flexible large scale-applications in open environments by dynamically combining Web services. Nevertheless, current te...
Applying meta search systems is a suitable method to support the user if there are many different services. Due to information splitting strategies of literature services existing ...