3495 search results - page 48 / 699 » On the random satisfiable process |
DLOG
2009
13 years 8 months ago
2009
A crucial task in process management is the validation of process refinements. A process refinement is a process description in a more fine-grained representation. The refinement i...
SIAMCOMP
2002
13 years 10 months ago
2002
We consider several problems related to the use of resolution-based methods for determining whether a given boolean formula in conjunctive normal form is satisfiable. First, build...
QSIC
2007
IEEE
14 years 5 months ago
2007
IEEE
In this paper we propose a metric for finite processes in a probabilistic extension of CSP. The kernel of the metric corresponds to trace equivalence and most of the operators in...
BPM
2007
Springer
14 years 5 months ago
2007
Springer
Short time-to-market, easy adaptation to changes in business environment, and robustness of processes are key requirements in today’s business world. In the IT area of Business P...
EPK
2007
14 years 6 days ago
2007
: Today, architecture and business processes are modeled separately. The only integration in architectural diagrams is done with Petri nets in the Fundamental Modeling Concept. Sin...