2171 search results - page 190 / 435 » A Generic Process Algebra |
225
click to vote
VLDB
2002
ACM
16 years 3 months ago
2002
ACM
Abstract This paper describes the overall design and architecture of the Timber XML database system currently being implemented at the University of Michigan. The system is based u...
133
Voted
JLP
2007
15 years 3 months ago
2007
The behavioral equivalence that is typically used to relate Markovian process terms and to reduce their underlying state spaces is Markovian bisimilarity. One of the reasons is th...
105
click to vote
ENTCS
2000
15 years 3 months ago
2000
It is an open problem whether weak bisimilarity is decidable for Basic Process Algebra (BPA) and Basic Parallel Processes (BPP). A PSPACE lower bound for BPA and NP lower bound fo...
154
Voted
CSCW
2000
ACM
15 years 3 months ago
2000
ACM
This paper describes a novel knowledge-based approach for helping workflow process designers and participants better manage the exceptions (deviations from an ideal collaborative ...
135
Voted
OTM
2010
Springer
15 years 1 months ago
2010
Springer
Business process management and systems have been proven mature and highly beneficial in many domains. Recent surveys by leading market analysts say that the next challenge for BPM...