29 search results - page 2 / 6 » An Algorithm for the Validation of Executable Completions of... |
DBPL
2007
Springer
13 years 11 months ago
2007
Springer
BPQL is a novel query language for querying business process specifications, introduced recently in [5, 6]. It is based on an intuitive business processes as rewriting systems, an...
HICSS
2006
IEEE
13 years 11 months ago
2006
IEEE
Large enterprises in application domains such as finance, banking, travel services, and hospital management use business processes for their day-to-day business. An integral part ...
SIGMOD
2000
ACM
13 years 9 months ago
2000
ACM
Testing an SQL database system by running large sets of deterministic or stochastic SQL statements is common practice in commercial database development. However, code defects oft...
TSMC
2008
13 years 5 months ago
2008
Abstract-- A service-oriented system is a collection of independent services that interact with one another through message exchanges. Languages such as the Web Services Descriptio...
HPDC
2009
IEEE
14 years 5 hour ago
2009
IEEE
This article deals with TakTuk, a middleware that deploys efficiently parallel remote executions on large scale grids (thousands of nodes). This tool is mostly intended for intera...