( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Symbolic Analysis of the Behavior of Semantic Business Processes.

, , и . SWWS, стр. 213-219. CSREA Press, (2009)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Joaquín Díaz

Joaquin Grillo

Joaquin Santana

Joaquín Iriarte

Joaquín Valdés

 

Другие публикации лиц с тем же именем

A Petri Net Structure- Based Deadlock Prevention Solution for Sequential Resource Allocation Systems., , , и . ICRA, стр. 271-277. IEEE, (2005)On the Use of Log-Based Model Checking, Clustering and Machine Learning for Process Behavior Prediction., , и . SNAMS, стр. 209-214. IEEE, (2018)DRLinda: A Distributed Message Broker for Collaborative Interactions Among Business Processes., , и . EC-Web, том 4655 из Lecture Notes in Computer Science, стр. 212-221. Springer, (2007)Model Checking Analysis of Semantically Annotated Business Processes., , , и . IEEE Trans. Syst. Man Cybern. Part A, 42 (4): 854-867 (2012)A Polynomial Deadlock Avoidance Method for a Class of Nonsequential Resource Allocation Systems., и . IEEE Trans. Syst. Man Cybern. Part A, 36 (6): 1234-1243 (2006)Cost-driven provisioning and execution of a computing-intensive service on the Amazon EC2., , , и . Comput. J., 61 (9): 1407-1421 (2018)Synthesis of Live Models for a Class of FMS Systems., и . ICRA (3), стр. 557-563. IEEE Computer Society Press, (1993)Unary RDF-annotated petri nets: a formalism for the modeling and validation of business processes with semantic information., , , и . SBPM@ESWC, стр. 1-4. ACM, (2009)Using Model Checking to Identify Customers Purchasing Behaviour in an E-Commerce., , , и . ATAED@Petri Nets/ACSD, том 1847 из CEUR Workshop Proceedings, стр. 158-164. CEUR-WS.org, (2017)RDF Model Checking: A Technique to Verify Behavioral Properties in Semantically Annotated Business Processes., , и . ICSC, стр. 245-252. IEEE Computer Society, (2009)