1039 search results - page 162 / 208 » Using GXL for exchanging business process models |
127
click to vote
KBSE
2008
IEEE
15 years 10 months ago
2008
IEEE
Abstract—We describe BPELCheck, a tool for statically analyzing interactions of composite web services implemented in BPEL. Our algorithm is compositional, and checks each proces...
201
click to vote
LBM
2007
15 years 5 months ago
2007
Background: Clinical protocols and guidelines have been considered as a major means to ensure that cost-effective services are provided at the point of care. Recently, the comput...
149
click to vote
EPIA
2009
Springer
15 years 10 months ago
2009
Springer
Computational Trust and Reputation (CTR) systems are platforms capable of collecting trust information about candidate partners and of computing confidence scores for each one of t...
130
click to vote
ER
2009
Springer
15 years 10 months ago
2009
Springer
New laws, such as HIPAA and SOX, are increasingly impacting the design of software systems, as business organisations strive to comply. This paper studies the problem of generating...
130
click to vote
CORR
2007
Springer
15 years 3 months ago
2007
Springer
The primary objective of document annotation in whatever form, manual or electronic is to allow those who may not have control to original document to provide personal view on inf...