249 search results - page 6 / 50 » Validating a Web Service Security Abstraction by Typing |
IJNSEC
2008
13 years 7 months ago
2008
As online businesses keep growing and Web services become pervasive, there is an increasing demand for micropayment protocols that facilitate microcommerce, namely selling content...
KBS
2008
13 years 7 months ago
2008
As the number of available Web services increases there is a growing demand to realise complex business processes by combining and reusing available Web services. In this context,...
TES
2004
Springer
14 years 29 days ago
2004
Springer
Abstract. With the emergence of Web service technologies, it has become possible to use high level megaprogramming models and visual tools to easily build distributed systems using...
COLCOM
2008
IEEE
13 years 9 months ago
2008
IEEE
Abstract. Mashups are defined to be lightweight Web applications aggregating data from different Web services, built using ad-hoc composition and being not concerned with long term...
ENTCS
2007
13 years 7 months ago
2007
Abstract. Increasing attention is being paid to the development of socalled behavioural types as a means to formally address the problem of ensuring the correct interoperation of s...