Sciweavers

1357 search results - page 86 / 272
» Compositionality in Graph Transformation
Sort
View
216
Voted
ICSE
2004
IEEE-ACM
16 years 3 months ago
Toward Undoing in Composite Web Services
Cancelling or reversing the effect of a former action is a necessity in most interactive systems. The simplest and most frequent form of this facility is the "undo" comma...
Marie-Claude Gaudel
134
Voted
ICIW
2009
IEEE
15 years 10 months ago
A Model-Driven Approach for Monitoring Business Performance in Web Service Compositions
— Supporting business services through Web service compositions (WSC) as part of service-oriented architectures (SOA) involves business performance monitoring requirements. Their...
Christof Momm, Michael Gebhart, Sebastian Abeck
125
Voted
CSFW
2008
IEEE
15 years 10 months ago
Composition of Password-Based Protocols
We investigate the composition of protocols that share a common secret. This situation arises when users employ the same password on different services. More precisely we study w...
Stéphanie Delaune, Steve Kremer, Mark Ryan
WOWMOM
2005
ACM
106views Multimedia» more  WOWMOM 2005»
15 years 9 months ago
A Framework for Dynamic Service Composition
To be able to utilize the generative potential of future networks for service composition, the attributes of services and networks must be appropriately formalized, stored and mad...
Paramai Supadulchai, Finn Arve Aagesen
CONCUR
1994
Springer
15 years 7 months ago
Weak Sequential Composition in Process Algebras
Abstract. In this paper we study a special operator for sequential composition, which is de ned relative to a dependency relation over the actions of a given system. The idea is th...
Arend Rensink, Heike Wehrheim