2393 search results - page 189 / 479 » Cloud Service Engineering |
179
click to vote
KBSE
2003
IEEE
15 years 11 months ago
2003
IEEE
In this paper we discuss a model-based approach to verifying web service compositions for web service implementations. This approach provides verification of properties created fr...
226
click to vote
COMPSAC
2004
IEEE
15 years 10 months ago
2004
IEEE
Web services (WS) received significant attention recently because services can be searched, bound, and executed at runtime over the Internet. This paper proposes a dynamic reconfi...
191
click to vote
SOCO
2008
Springer
15 years 6 months ago
2008
Springer
Self-adaptive component-based architectures provide methods and mechanisms to support the dynamic adaptation of their structure under evolving execution context. Dynamic adaptation...
196
click to vote
JSW
2007
15 years 6 months ago
2007
— BPEL (Business Process Execution Language) as a de-facto standard for web service orchestration has drawn particularly attention from researchers and industries. BPEL is a semi...
229
click to vote
ISSRE
2008
IEEE
16 years 26 days ago
2008
IEEE
Reliability is a key issue of the Service-Oriented Architecture (SOA) which is widely employed in critical domains such as e-commerce and e-government. Redundancy-based fault tole...