Sciweavers

2139 search results - page 48 / 428
» Modeling Aspect-Oriented Compositions
Sort
View
ADC
2004
Springer
113views Database» more  ADC 2004»
15 years 7 months ago
Web Service Composition Transaction Management
The development of new web services by composition of existing services is becoming an extensive approach. This has resulted in transactions that span in multiple web services. Th...
Benchaphon Limthanmaphon, Yanchun Zhang
JWSR
2008
98views more  JWSR 2008»
15 years 1 months ago
Mining and Improving Composite Web Services Recovery Mechanisms
: Ensuring composite services reliability is a challenging problem. Indeed, due to the inherent autonomy and heterogeneity of Web services it is difficult to predict and reason abo...
Sami Bhiri, Walid Gaaloul, Claude Godart
ICNP
1998
IEEE
15 years 5 months ago
A Proof Technique for Liveness Properties of Multifunction Composite Protocols
In protocol composition techniques, component protocols are combined in various ways to obtain a complex protocol whose execution sequences consist of interleaved execution sequen...
J. Park, R. Miller
CRYPTO
2005
Springer
164views Cryptology» more  CRYPTO 2005»
15 years 7 months ago
Composition Does Not Imply Adaptive Security
We study the question whether the sequential or parallel composition of two functions, each indistinguishable from a random function by non-adaptive distinguishers is secure agains...
Krzysztof Pietrzak
ICMT
2009
Springer
15 years 8 months ago
Model Superimposition in Software Product Lines
In software product line engineering, feature composition generates software tailored to specific requirements from a common set of artifacts. Superimposition is a technique to me...
Sven Apel, Florian Janda, Salvador Trujillo, Chris...