Zobrazeno 1 - 4
of 4
pro vyhledávání: '"Ricci Nicolas"'
Publikováno v:
EPTCS 139, 2014, pp. 46-52
In this paper we present the design and implementation, as well as a use case, of a tool for workflow analysis. The tool provides an assistant for the specification of properties of a workflow model. The specification language for property descriptio
Externí odkaz:
http://arxiv.org/abs/1401.0971
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
Academy of Management Annual Meeting Proceedings. 2024, Vol. 2024 Issue 1, pN.PAG-N.PAG. 1p.
In this paper, we present an approach to automatically syn- thesize synchronization code for distributed programs assuming a multi- thread shared-variables model of computation, common in object-oriented programming languages like JAVA. Our method co
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::cb848973d605030882c6a8e58bdd3cee