348 search results - page 48 / 70 » Formalizing WSBPEL Business Processes Using Process Algebra |
102
click to vote
JAR
1998
14 years 11 months ago
1998
Mechanized reasoning systems and computer algebra systems have different objectives. Their integration is highly desirable, since formal proofs often involve both of the two differ...
107
click to vote
TIME
1994
IEEE
15 years 3 months ago
1994
IEEE
We formulate an algebra of binary temporal relations between events the number of occurrences of which is unknown, but which are known to recur in time. Ontologically, we view the...
SIGMOD
1996
ACM
15 years 3 months ago
1996
ACM
Magic sets rewriting is a well-known optimization heuristic for complex decision-support queries. There can be many variants of this rewriting even for a single query, which diffe...
100
click to vote
EUROMICRO
2007
IEEE
15 years 1 months ago
2007
IEEE
BPEL is a de-facto standard language for web service orchestration. It is a challenge to test BPEL processes automatically because of the complex features of the language. The cur...
CORR
2004
Springer
14 years 11 months ago
2004
Springer
Hybrid systems are characterized by the hybrid evolution of their state: A part of the state changes discretely, the other part changes continuously over time. Typically, modern c...