2171 search results - page 114 / 435 » A Generic Process Algebra |
128
click to vote
FLAIRS
2007
15 years 5 months ago
2007
CONDORCKD is a system implementing a novel approach to discovering knowledge from data. It addresses the issue of relevance of the learned rules by algebraic means and explicitly ...
110
click to vote
BPM
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. Compatibility of behavior, i.e. the correct ordering of messages, is one of the core aspects for the interaction between services as parts of an inter-organizational busi...
123
click to vote
CORR
2006
Springer
15 years 3 months ago
2006
Springer
We present a decomposition-based approach to managing probabilistic information. We introduce world-set decompositions (WSDs), a space-efficient and complete representation system ...
152
click to vote
ACS
2011
14 years 10 months ago
2011
We describe an algebra for composing automata in which the actions have probabilities. We illustrate by showing how to calculate the probability of reaching deadlock in k steps in...
147
click to vote
AMAST
2000
Springer
15 years 7 months ago
2000
Springer
Modelling multi-tasking behaviour is an important phase of real-time system design. It is shown how task scheduling principles can be captured in a CCS-based process algebra via ex...