Sciweavers

1164 search results - page 5 / 233
» Type based service composition
Sort
View
IRI
2008
IEEE
15 years 3 months ago
Modeling and synthesis of service composition using tree automata
— We revisit the problem of synthesis of service composition in the context of service oriented architecture from a tree automata perspective. Comparing to existing finite state...
Ken Q. Pu, Ying Zhu
INFOCOM
2006
IEEE
15 years 3 months ago
Minimum User-Perceived Interference Routing in Service Composition
— Service Composition is a promising technology for providing on-demand services in dynamic and loosely coupled peerto-peer (P2P) networks. Because of system dynamics, such as th...
Li Xiao, Klara Nahrstedt
WECWIS
2009
IEEE
159views ECommerce» more  WECWIS 2009»
15 years 4 months ago
Semantic Web Service Composition Framework Based on Parallel Processing
The process of semantic web service composition arranges several web services into one composite service to realize complex workflows with an exploitation of semantics. This pape...
Peter Bartalos, Mária Bieliková
WECWIS
2008
IEEE
103views ECommerce» more  WECWIS 2008»
15 years 3 months ago
Type-Aware Web Service Composition Using Boolean Satisfiability Solver
Wonhong Nam, Hyunyoung Kil, Dongwon Lee
ISAS
2005
Springer
15 years 2 months ago
Contract-Based Web Service Composition Framework with Correctness Guarantees
Abstract. We present formal and practical foundations for Web service composition framework with composition correctness guarantees. We introduce contractual composition model base...
Nikola Milanovic