Sciweavers

27 search results - page 5 / 6
» Pattern-Based Specification and Validation of Web Services I...
Sort
View
108
Voted
JSW
2006
71views more  JSW 2006»
15 years 1 months ago
Semantics and Extensions of WS-Agreement
When having repeated interactions with a service provider, a service consumer might desire guarantees on the delivery of the service. These guarantees involve both functional and n...
Ganna Frankova, Daniela Malfatti, Marco Aiello
116
Voted
KESAMSTA
2010
Springer
14 years 11 months ago
Modeling and Verifying Business Interactions via Commitments and Dialogue Actions
A variety of business interactions in open environments can be captured in terms of creation and manipulation of social commitments among the agents. Such interactions include B2B ...
Mohamed El-Menshawy, Jamal Bentahar, Rachida Dssou...
112
Voted
ECOWS
2006
Springer
15 years 4 months ago
The NExT Process Workbench: Towards the Support of Dynamic Semantic Web Processes
Traditional process support systems offer the promise of software assembled from service elements. The typical approach is a static composition of atomic processes to more powerfu...
Abraham Bernstein, Michael Dänzer
98
Voted
WIIW
2001
104views more  WIIW 2001»
15 years 2 months ago
Modeling Web Site Personalization Strategies
- Abstract Modeling web site personalization strategies. Personalization is a key factor for differentiating services and retaining customers in World Wide Web sites. On the other ...
Fabiana Ruas, Wagner Meira Jr., Paulo Araúj...
99
Voted
PODS
2008
ACM
110views Database» more  PODS 2008»
16 years 1 months ago
Static analysis of active XML systems
Active XML is a high-level specification language tailored to dataintensive, distributed, dynamic Web services. Active XML is based on XML documents with embedded function calls. ...
Serge Abiteboul, Luc Segoufin, Victor Vianu