Verification of Unstructured Workflows Via Propositional Logic
The concept of unstructured workflows is useful for both research and practical purposes. While sometimes it is preferable to transform unstructured workflows into structured ones, unstructured workflows may be more meaningful to business people. Furthermore, transformation from unstructured to stru...
محفوظ في:
المؤلفون الرئيسيون: | LIANG, Qianhui (Althea), ZHAO, L. |
---|---|
التنسيق: | text |
اللغة: | English |
منشور في: |
Institutional Knowledge at Singapore Management University
2008
|
الموضوعات: | |
الوصول للمادة أونلاين: | https://ink.library.smu.edu.sg/sis_research/408 http://dx.doi.org/10.1109/ICIS.2008.66 |
الوسوم: |
إضافة وسم
لا توجد وسوم, كن أول من يضع وسما على هذه التسجيلة!
|
المؤسسة: | Singapore Management University |
اللغة: | English |
مواد مشابهة
-
Rule Randomization for Propositional Logic-Based Workflow Verification
بواسطة: LIANG, Qianhui (Althea), وآخرون
منشور في: (2008) -
Rule randomisation and its application to logic-based workflow verification
بواسطة: LIANG, Qianhui (Althea), وآخرون
منشور في: (2009) -
Randomized Local Extrema for Heuristic Selection in TSP
بواسطة: LIANG, Qianhui (Althea), وآخرون
منشور في: (2006) -
Randomization in Searching for Composites of Software Components
بواسطة: LIANG, Qianhui (Althea), وآخرون
منشور في: (2007) -
Completeness theory for propositional logics
بواسطة: Pogorzelski, Witold ; Wojtylak, Piotr
منشور في: (2017)