250 search results - page 30 / 50 » Towards Formal Verification of Web Service Composition |
ICDE
2007
IEEE
14 years 3 months ago
2007
IEEE
The correct implementation of security protocols is a challenging task. To achieve a high degree of confidence in an implementation, as with any software, ideally one requires bot...
CCS
2008
ACM
13 years 10 months ago
2008
ACM
Single-Sign-On (SSO) protocols enable companies to establish a federated environment in which clients sign in the system once and yet are able to access to services offered by dif...
ASWEC
2007
IEEE
14 years 3 months ago
2007
IEEE
—Service-Oriented Computing (SOC) is an emerging paradigm for developing software systems that employ services. Presently there is already much research effort in the areas of se...
BPM
2006
Springer
14 years 11 days ago
2006
Springer
Dynamic assembly of complex software is possible through automated composition of web services. Coordination scripts identify and orchestrate a number of services to fulfil a user ...
AH
2006
Springer
14 years 11 days ago
2006
Springer
Adaptive Hypermedia is utilised in several domains, such as eLearning and professional training, where there is a growing movement towards the use of cognitively richer and more `a...