250 search results - page 41 / 50 » Towards Formal Verification of Web Service Composition |
ICWS
2009
IEEE
15 years 8 months ago
2009
IEEE
Negotiation of Service Level Agreements (SLAs) is very important for maintaining Quality of Service (QoS) of composite Web services-based business processes. The process of negoti...
195
click to vote
ICDT
2009
ACM
16 years 11 days ago
2009
ACM
We formalize and study business process systems that are centered around "business artifacts", or simply "artifacts". This approach focuses on data records, kn...
101
click to vote
ESWS
2005
Springer
15 years 5 months ago
2005
Springer
The automatic location of services that fulfill a given need is seen as a key step towards dynamic and scalable integration. In this paper we present a model for the automatic loc...
101
click to vote
WIDM
2003
ACM
15 years 4 months ago
2003
ACM
Ontologies play an important role in the Semantic Web. Currently, several Web ontology languages have been proposed and there has been a substantial effort towards the formalizat...
DBSEC
2006
15 years 1 months ago
2006
The need for enterprise application integration projects leads to complex composite applications. For the sake of security and efficiency, consolidated access control policies for ...