554 search results - page 37 / 111 » Modeling and Reasoning about Service Behaviors and Their Com... |
122
click to vote
WWW
2004
ACM
16 years 2 months ago
2004
ACM
This paper presents a set of tools and techniques for analyzing interactions of composite web services which are specified in BPEL and communicate through asynchronous XML message...
127
click to vote
PDPTA
2008
15 years 3 months ago
2008
Web caches play an important role in improving the surfing experience of Web clients and reducing the network traffic seen by Web servers. Accurate analytical models of Web caches ...
129
click to vote
SLE
2009
Springer
15 years 6 months ago
2009
Springer
Composition of requirements models in Software Product Line (SPL) development enables stakeholders to derive the requirements of target software products and, very important, to re...
110
click to vote
CSFW
2005
IEEE
15 years 7 months ago
2005
IEEE
To reason about information flow based on beliefs, a new model is developed that describes how attacker beliefs change due to the attacker’s observation of the execution of a p...
134
click to vote
NOSSDAV
2005
Springer
15 years 7 months ago
2005
Springer
Service overlay networks have recently attracted tremendous interests. In this paper, we propose a new integrated framework for specifying services composed of service components ...