Sciweavers

2199 search results - page 67 / 440
» Adapting Privacy-Preserving Computation to the Service Provi...
Sort
View
ENTCS
2006
146views more  ENTCS 2006»
15 years 17 days ago
Formalizing WSBPEL Business Processes Using Process Algebra
Industry standards for Web Service composition, such as WSBPEL, provide the notation and additional control mechanisms for the execution of business processes in Web Service colla...
Javier Cámara, Carlos Canal, Javier Cubo, A...
FORTE
2009
14 years 10 months ago
A Model-Checking Approach for Service Component Architectures
We present a strategy for model-checking the correctness of service composition. We do so in the context of SRML, a formal modelling framework for service-oriented computing being ...
João Abreu, Franco Mazzanti, José Lu...
KDD
2001
ACM
156views Data Mining» more  KDD 2001»
16 years 29 days ago
A Customer Purchase Incidence Model Applied to Recommender Services
In this contribution we transfer a customer purchase incidence model for consumer products which is based on Ehrenberg's repeat-buying theory to Web-based information products...
Andreas Geyer-Schulz, Michael Hahsler, Maximillian...
86
Voted
APNOMS
2006
Springer
15 years 4 months ago
An Open Service Platform at Network Edge
The last few years, users want various services that fit their needs and preferences. Many services are provided at network edges and are increasing in number. The open framework i...
Dong-Hui Kim, Jae-Oh Lee
125
Voted
UML
2005
Springer
15 years 6 months ago
Simplifying Autonomic Enterprise Java Bean Applications Via Model-Driven Development: A Case Study
Autonomic computer systems aim to reduce the configuration, operational, and maintenance costs of distributed applications by enabling them to self-manage, self-heal, self-optimiz...
Jules White, Douglas C. Schmidt, Aniruddha S. Gokh...