( en | de | ru )

 

Disambiguierung von "Ezpeleta, Joaquin"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Symbolic Analysis of the Behavior of Semantic Business Processes.

, , und . SWWS, Seite 213-219. CSREA Press, (2009)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Joaquín Díaz

Joaquin Grillo

Joaquín Iriarte

Joaquin Santana

Joaquín Valdés

 

Weitere Publikationen von Autoren mit dem selben Namen

A Polynomial Deadlock Avoidance Method for a Class of Nonsequential Resource Allocation Systems., und . 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., , , und . Comput. J., 61 (9): 1407-1421 (2018)A Petri Net Structure- Based Deadlock Prevention Solution for Sequential Resource Allocation Systems., , , und . ICRA, Seite 271-277. IEEE, (2005)Model Checking Analysis of Semantically Annotated Business Processes., , , und . IEEE Trans. Syst. Man Cybern. Part A, 42 (4): 854-867 (2012)On the Use of Log-Based Model Checking, Clustering and Machine Learning for Process Behavior Prediction., , und . SNAMS, Seite 209-214. IEEE, (2018)DRLinda: A Distributed Message Broker for Collaborative Interactions Among Business Processes., , und . EC-Web, Volume 4655 von Lecture Notes in Computer Science, Seite 212-221. Springer, (2007)Synthesis of Live Models for a Class of FMS Systems., und . ICRA (3), Seite 557-563. IEEE Computer Society Press, (1993)Using Model Checking to Identify Customers Purchasing Behaviour in an E-Commerce., , , und . ATAED@Petri Nets/ACSD, Volume 1847 von CEUR Workshop Proceedings, Seite 158-164. CEUR-WS.org, (2017)Exposing Abstraction-Level Interactions with a Parallel Ray Tracer., , , , , , , , , und 7 andere Autor(en). WCAE@ISCA, Seite 5:1-5:8. ACM, (2019)RDF Model Checking: A Technique to Verify Behavioral Properties in Semantically Annotated Business Processes., , und . ICSC, Seite 245-252. IEEE Computer Society, (2009)