111 search results - page 14 / 23 » Synchronization Analysis for Decentralizing Composite Web Se... |
IJWET
2008
14 years 8 months ago
2008
: Building service-based architectures has become a major area of interest since the advent of web services. Modelling these architectures is a central activity. Model-driven devel...
ICWE
2010
Springer
14 years 8 months ago
2010
Springer
Abstract. While several techniques have been introduced for specifying and acquiring context and quality information associated with Web services, they consider such information re...
SIGSOFT
2008
ACM
15 years 10 months ago
2008
ACM
We propose a novel method for modular verification of web service compositions. We first use symbolic fixpoint computations to derive conditions on the incoming messages and relat...
93
Voted
IEEESCC
2010
IEEE
15 years 1 months ago
2010
IEEE
Abstract—Service modeling and composition is a fundamental method for offering advanced functionality by combining a set of primitive services provided by the system. Unlike in t...
WISE
2007
Springer
15 years 3 months ago
2007
Springer
Modeling in systems biology is concerned with using experimental information and mathematical methods to build quantitative models at different biological scales. This requires int...