Sciweavers

4286 search results - page 274 / 858
» Formalizing Service Interactions
Sort
View
ICWE
2007
Springer
16 years 20 days ago
Model Transformation for Service-Oriented Web Applications Development
In recent years, innovation in technologies such as web services, business process automation, etc., have motivated a new paradigm in the application development field to appear, k...
Valeria de Castro, Juan M. Vara, Esperanza Marcos
SIGECOM
2005
ACM
130views ECommerce» more  SIGECOM 2005»
16 years 2 days ago
Graceful service degradation (or, how to know your payment is late)
When distributing digital content over a broadcast channel it’s often necessary to revoke users whose access privileges have expired, thus preventing them from recovering the co...
Alexandr Andoni, Jessica Staddon
AIED
2005
Springer
16 years 2 days ago
Semantic Description of Collaboration Scripts for Service Oriented CSCL Systems
Abstract. Many CSCL systems have embraced scripting and service oriented computing to achieve effective collaboration and system flexibility, respectively. While learning standard...
Guillermo Vega-Gorgojo, Miguel L. Bote-Lorenzo, Ed...
CCS
2004
ACM
15 years 12 months ago
Verifying policy-based security for web services
WS-SecurityPolicy is a declarative configuration language for driving web services security mechanisms. We describe a formal sefor WS-SecurityPolicy, and propose a more abstract ...
Karthikeyan Bhargavan, Cédric Fournet, Andr...
ECAI
2008
Springer
15 years 8 months ago
Optimizing Causal Link Based Web Service Composition
Automation of Web service composition is one of the most interesting challenges facing the Semantic Web today. Since Web services have been enhanced with formal semantic descriptio...
Freddy Lécué, Alexandre Delteil, Ala...