29 search results - page 1 / 6 » An Algorithm for the Validation of Executable Completions of... |
65
Voted
MKWI
2008
15 years 4 months ago
2008
142
click to vote
WWW
2005
ACM
15 years 8 months ago
2005
ACM
We propose a technique for the automated synthesis of new comeb services. Given a set of abstract BPEL4WS descriptions of component services, and a composition requirement, we aut...
116
Voted
KBSE
2008
IEEE
15 years 9 months ago
2008
IEEE
Abstract—We describe BPELCheck, a tool for statically analyzing interactions of composite web services implemented in BPEL. Our algorithm is compositional, and checks each proces...
124
Voted
AGENTS
1997
Springer
15 years 7 months ago
1997
Springer
We have been developing Rogue, an architecture that integrates high-level planning with a low-level executing robotic agent. Rogue is designed as the oce gofer task planner for X...
176
Voted
CASCON
2010
14 years 9 months ago
2010
ion and giving them a medium to express and implement change. One of the keys to achieve agility for creating business processes depends on close interaction between IT department ...