5550 search results - page 737 / 1110 » Different Approaches to Proof Systems |
193
click to vote
GCC
2007
Springer
16 years 1 months ago
2007
Springer
On building a service-oriented architecture for Grid systems, more and more researches have been focused on service composition. Services, however, are not always exactly compatib...
176
click to vote
ICSOC
2007
Springer
16 years 1 months ago
2007
Springer
Workflow technology is an emerging paradigm for systematic modeling and orchestration of job flow for enterprise and scientific applications. This paper introduces BPEL4Job, a BPEL...
173
click to vote
NLDB
2007
Springer
16 years 1 months ago
2007
Springer
In this paper, we propose methods and heuristics having high accuracies and low time complexities for filtering spam e-mails. The methods are based on the n-gram approach and a heu...
145
click to vote
WER
2007
Springer
16 years 1 months ago
2007
Springer
Business modeling is an activity of the Requirements Engineering that involves a knowledge process of the organization and provides a specific business domain view. On this proces...
197
click to vote
HICSS
2006
IEEE
16 years 1 months ago
2006
IEEE
This paper describes how we manage the interaction between different heterogeneous web services through choreographies within IRS-III. IRS-III is a framework and platform for deve...