Sciweavers

1164 search results - page 49 / 233
» Type based service composition
Sort
View
CALCO
2007
Springer
110views Mathematics» more  CALCO 2007»
15 years 9 months ago
Logical Semantics of Types for Concurrency
We motivate and present a logical semantic approach to types for concurrency and to the soundness of related systems. The approach is illustrated by the development of a generic ty...
Luís Caires
ICYCS
2008
IEEE
15 years 10 months ago
A Trust-Enabling Support for Goal-Based Services
Service-Oriented Computing allows new applications to be developed by using and/or combining services offered by different providers. In several cases a service needs sensitive in...
Luiz Olavo Bonino da Silva Santos, Luís Fer...
125
Voted
ER
2003
Springer
144views Database» more  ER 2003»
15 years 8 months ago
A Framework for Business Rule Driven Web Service Composition
With web services emerging as a promising technology for supporting open and dynamic business processes, it is witnessed that standards for business process specification in the c...
Bart Orriëns, Jian Yang, Mike P. Papazoglou
119
Voted
JSW
2007
125views more  JSW 2007»
15 years 3 months ago
Description and Composition of E-Learning Services
— In this paper, we present our approach to describe and compose services for distant learning and research activities. For this purpose, we propose a metadata model for indexing...
Oussama Kassem Zein, Yvon Kermarrec
162
Voted
ECOWS
2007
Springer
15 years 9 months ago
Specifying and Monitoring Composite Events for Semantic Web Services
Execution monitoring of complex web service process models is critical for effective management and control of web services based systems. During the composite process model execu...
Roman Vaculín, Katia P. Sycara