Sciweavers

1893 search results - page 232 / 379
» Computational composites
Sort
View
AINA
2007
IEEE
15 years 3 months ago
Optimizing Performance of Web Service Providers
A workflow aggregates the underlying Web Services in a manner consistent with the desired functionality. Since CWS can contain atomic and other CWS they encourage the development ...
Dmytro Dyachuk, Ralph Deters
SAC
2008
ACM
15 years 2 months ago
Serpentine: adaptive middleware for complex heterogeneous distributed systems
Adaptation of system parameters is acknowledged as a requirement to scalable and dependable distributed systems. Unfortunately, adaptation cannot be effective when provided solely...
Miguel Matos, Alfrânio Correia Jr., Jos&eacu...
ATC
2010
Springer
15 years 1 months ago
Improving the Trustworthiness of Service QoS Information in Service-Based Systems
Service-oriented architecture facilitates rapid development and management of large-scale distributed servicebased systems (SBS), where new workflows are composed of available serv...
Stephen S. Yau, Jing Huang, Yin Yin
ICSOC
2010
Springer
15 years 1 months ago
A Soft Constraint-Based Approach to QoS-Aware Service Selection
Abstract. Service-based systems should be able to dynamically seek replacements for faulty or underperforming services, thus performing self-healing. It may however be the case tha...
Mohamed Anis Zemni, Salima Benbernou, Manuel Carro
SPIN
2010
Springer
15 years 1 months ago
Nevertrace Claims for Model Checking
In this paper, we propose the nevertrace claim, which is a new construct for specifying the correctness properties that either finite or infinite execution traces (i.e., sequence...
Zhe Chen, Gilles Motet