Formal analysis of executions of organizational scenarios based on process-oriented specifications (English)
Free access
- New search for: Popova, Viara
- New search for: Sharpanskykh, Alexei
- New search for: Popova, Viara
- New search for: Sharpanskykh, Alexei
In:
Applied Intelligence
;
34
, 2
;
226-244
;
2009
- Article (Journal) / Electronic Resource
-
Title:Formal analysis of executions of organizational scenarios based on process-oriented specifications
-
Contributors:Popova, Viara ( author ) / Sharpanskykh, Alexei ( author )
-
Published in:Applied Intelligence ; 34, 2 ; 226-244
-
Publisher:
- New search for: Springer US
-
Place of publication:Boston
-
Publication date:2009-09-19
-
Size:19 pages
-
ISSN:
-
DOI:
-
Type of media:Article (Journal)
-
Type of material:Electronic Resource
-
Language:English
-
Keywords:
-
Source:
Table of contents – Volume 34, Issue 2
The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.
- 155
-
Agent-based execution of personalised home care treatmentsIsern, David / Moreno, Antonio / Sánchez, David / Hajnal, Ákos / Pedone, Gianfranco / Varga, László Z. et al. | 2009
- 181
-
HUC-Prune: an efficient candidate pruning technique to mine high utility patternsAhmed, Chowdhury Farhan / Tanbeer, Syed Khairuzzaman / Jeong, Byeong-Soo / Lee, Young-Koo et al. | 2009
- 199
-
On the application of fuzzy-based flow control approach to High Altitude Platform communicationsBasicevic, Ilija / Kukolj, Dragan / Popovic, Miroslav et al. | 2009
- 211
-
Microassembly path planning using reinforcement learning for improving positioning accuracy of a 1 $ cm^{3} $ omni-directional mobile microrobotLi, Jianghao / Li, Zhenbo / Chen, Jiapin et al. | 2009
- 226
-
Formal analysis of executions of organizational scenarios based on process-oriented specificationsPopova, Viara / Sharpanskykh, Alexei et al. | 2009
- 245
-
Mining software defect data to support software testing managementHewett, Rattikorn et al. | 2009
- 258
-
Hybrid ensemble approach for classificationVerma, Brijesh / Hassan, Syed Zahid et al. | 2009
- 279
-
Boosting learning and inference in Markov logic through metaheuristicsBiba, Marenglen / Ferilli, Stefano / Esposito, Floriana et al. | 2009
- 299
-
Scatter search technique for exam timetablingMansour, Nashat / Isahakian, Vatche / Ghalayini, Iman et al. | 2009
- 311
-
Automatic extraction of acronym definitions from the WebSánchez, David / Isern, David et al. | 2009