Showing papers by "Paolo Traverso published in 2007"
TL;DR: A service-oriented computing promotes the idea of assembling application components into a network of services that can be loosely coupled to create flexible, dynamic business processes and agile applications that span organizations and computing platforms.
Abstract: Service-oriented computing promotes the idea of assembling application components into a network of services that can be loosely coupled to create flexible, dynamic business processes and agile applications that span organizations and computing platforms An SOC research road map provides a context for exploring ongoing research activities
2,030 citations
01 Jan 2007
TL;DR: This paper builds a planning algorithm such that the interleaving of planning and execution is guaranteed to terminate, either because the goal is achieved, or since there is no longer chance to find a plan leading to the goal.
Abstract: Interleaving planning and execution is the practical alternative to the problem of planning off-line with large state spaces. While planning via symbolic model checking has been extensively studied for off-line planning, no framework for interleaving it with execution has been ever devised. In this paper, we extend planning via symbolic model checking with the ability of interleaving planning and execution in the case of nondeterministic domains and partial observability, one of the most challenging and complex planning problems. We build a planning algorithm such that the interleaving of planning and execution is guaranteed to terminate, either because the goal is achieved, or since there is no longer chance to find a plan leading to the goal. We experiment with the planner and show that it can solve planning problems that cannot be tackled by the off-line symbolic model checking techniques.
3 citations
Journal Article•
2 citations
Proceedings Article•
01 Jan 2007
TL;DR: The Dagstuhl Seminar 07061 ``Autonomous and Adaptive Web Services'' was held in the International Conference and Research Center (IBFI), Schloss DagStuhl, and several participants presented their current research, and ongoing work and open problems were discussed.
Abstract: From 4.2.2007 to 9.2.2007, the Dagstuhl Seminar 07061 ``Autonomous and Adaptive Web Services'' was held in the International Conference and Research Center (IBFI), Schloss Dagstuhl.
During the seminar, several participants presented their current
research, and ongoing work and open problems were discussed. Abstracts of
the presentations given during the seminar as well as abstracts of
seminar results and ideas are put together in this paper. The first section
describes the seminar topics and goals in general.
Links to extended abstracts or full papers are provided, if available.