3239 search results - page 196 / 648 » A Logical Process Calculus |
134
click to vote
VMCAI
2010
Springer
16 years 22 days ago
2010
Springer
Abstract. Logics that involve collections (sets, multisets), and cardinality constraints are useful for reasoning about unbounded data structures and concurrent processes. To make ...
107
Voted
IADIS
2008
15 years 4 months ago
2008
Very little has been done with respect to automated evaluation of quality and appropriativeness of such objects. To attain a higher level of certainty in the evaluation process we...
143
Voted
COORDINATION
2006
Springer
15 years 7 months ago
2006
Springer
Van der Aalst recently proposed a set of workflow patterns to characterize the kinds of control flow that appear frequently in workflow processes. These patterns are useful for eva...
133
Voted
BPM
2006
Springer
15 years 5 months ago
2006
Springer
Cross-organizational business processes are gaining increased attention these days, especially with the service oriented architecture (SOA) as a realization for business process ma...
140
click to vote
KDD
2002
ACM
16 years 3 months ago
2002
ACM
Rule mining is an important data mining task that has been applied to numerous real-world applications. Often a rule mining system generates a large number of rules and only a sma...