Sciweavers

469 search results - page 3 / 94
» Quantitative Analysis of Web Services Using SRMC
Sort
View
TGC
2007
Springer
14 years 11 days ago
Replicating Web Services for Scalability
Web service instances are often replicated to allow service provision to scale to support larger population sizes of users. However, such systems are difficult to analyse because t...
Mario Bravetti, Stephen Gilmore, Claudio Guidi, Mi...
ICWS
2003
IEEE
13 years 7 months ago
Application of Linear Logic to Web Service Composition
In this paper, we propose a method for automated web service composition by applying Linear Logic (LL) theorem proving. We distinguish value-added web services and core service by ...
Jinghai Rao, Peep Küngas, Mihhail Matskin
APSCC
2008
IEEE
14 years 22 days ago
A Service-Oriented Framework for Quantitative Security Analysis of Software Architectures
Software systems today often run in malicious environments in which attacks or intrusions are quite common. This situation has brought security concerns into the development of so...
Yanguo Liu, Issa Traoré, Alexander M. Hoole
SEMWEB
2007
Springer
14 years 11 days ago
Towards Fine-grained Service Matchmaking by Using Concept Similarity
Several description frameworks to semantically describe and match services on the one hand and service requests on the other have been presented in the literature. Many of the curr...
Alberto Fernández, Axel Polleres, Sascha Os...
ENTCS
2006
146views more  ENTCS 2006»
13 years 6 months ago
Formalizing WSBPEL Business Processes Using Process Algebra
Industry standards for Web Service composition, such as WSBPEL, provide the notation and additional control mechanisms for the execution of business processes in Web Service colla...
Javier Cámara, Carlos Canal, Javier Cubo, A...