10072 search results - page 163 / 2015 » Composition of Model Programs |
186
click to vote
AICT
2006
IEEE
16 years 10 days ago
2006
IEEE
In this paper we discuss a model-based approach to the analysis of service interactions for coordinated web service compositions using obligation policies specified in the form of...
151
click to vote
ICC
2007
IEEE
16 years 18 days ago
2007
IEEE
—Ubiquitous service composition provides new services and applications seamlessly by establishing cooperation among any devices in home networks and any services in service provi...
148
click to vote
ICSOC
2007
Springer
16 years 13 days ago
2007
Springer
Web services are rapidly emerging as a popular standard for sharing data and functionality among heterogeneous systems. We propose a general purpose Web Service Management System (...
191
click to vote
CCS
2003
ACM
15 years 11 months ago
2003
ACM
This paper continues the program initiated in [5], towards a derivation system for security protocols. The general idea is that complex protocols can be formally derived, starting...
146
click to vote
ICASSP
2008
IEEE
16 years 22 days ago
2008
IEEE
Relying on optimally distinguishable distributions (ODD), it was defined very recently a new framework for the composite hypothesis testing. We resort to the linear model to inve...