Sciweavers

330 search results - page 57 / 66
» Extending the Reach of Business Processes
Sort
View
ISSRE
2006
IEEE
14 years 1 months ago
BPEL4WS Unit Testing: Test Case Generation Using a Concurrent Path Analysis Approach
BPEL is a language that could express complex concurrent behaviors. This paper presents a novel method of BPEL test case generation, which is based on concurrent path analysis. Th...
Jun Yan, Zhong Jie Li, Yuan Yuan, Wei Sun, Jian Zh...
ATAL
2005
Springer
14 years 1 months ago
Formalizing and achieving multiparty agreements via commitments
Multiparty agreements often arise in a multiagent system where autonomous agents interact with each other to achieve a global goal. Multiparty agreements are traditionally represe...
Feng Wan, Munindar P. Singh
CAISE
2005
Springer
14 years 1 months ago
Capability Matching and Similarity Reasoning in Service Discovery
Abstract. Ontologies play a relevant role to support service matchmaking in the discovery process. In fact, the elements used for service capability description refer to concepts t...
Devis Bianchini, Valeria De Antonellis, Michele Me...
IDEAS
2003
IEEE
76views Database» more  IDEAS 2003»
14 years 29 days ago
E-Learning as a Web Service
E-learning platforms and their functionalities resemble one another to a large extend. Recent standardization efforts in e-learning concentrate on the reuse of learning material, ...
Gottfried Vossen, Peter Westerkamp
ACMICEC
2003
ACM
113views ECommerce» more  ACMICEC 2003»
14 years 28 days ago
PayCash: a secure efficient Internet payment system
This paper describes PayCash, an Internet payment system that was designed to offer strong security and privacy protection. This system is based on the concept of electronic cash,...
Jon M. Peha, Ildar M. Khamitov