Zobrazeno 1 - 8
of 8
pro vyhledávání: '"Callia D'Iddio, A"'
Process systems engineers have long recognized the importance of both logic and optimization for automated decision-making. But modern challenges in process systems engineering could strongly benefit from methodological contributions in computer scie
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::44458bfabbffe5a1b9993624173b3d58
http://hdl.handle.net/10044/1/57856
http://hdl.handle.net/10044/1/57856
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783319631202
Models, Algorithms, Logics and Tools
Models, Algorithms, Logics and Tools
We propose the formal study of blockchains that are owned and controlled by organizations and that neither create cryptocurrencies nor provide incentives to solvers of cryptographic puzzles. We view such approaches as frameworks in which system parts
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::93e23a0ce3795d3a7a490127b75a4379
http://hdl.handle.net/10044/1/51048
http://hdl.handle.net/10044/1/51048
Publikováno v:
ICCST
Conformance checking is a crucial challenge for modern inter-organizational business processes when critical security, privacy and workflow constraints must be satisfied to ensure the reliability of multi-party business procedures. Many of these cons
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::299281160ffe60ed068330196f9b2c11
https://doi.org/10.1109/ccst.2016.7815703
https://doi.org/10.1109/ccst.2016.7815703
Publikováno v:
Fundamental Approaches to Software Engineering ISBN: 9783662466742
FASE
FASE
Automatically generating assertions through static or runtime analysis is becoming an increasingly important initial phase in many software testing and verification tool chains. The analyses may generate thousands of redundant assertions often causin
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::e7136c1e25573cdab7ea6d80ae9ad15a
https://doi.org/10.1007/978-3-662-46675-9_13
https://doi.org/10.1007/978-3-662-46675-9_13
Publikováno v:
CNS
We present a framework for context-based analysis of transaction data to validate and secure inter-organizational business processes. The analysis is based on process mining techniques and uses observations taken at all relevant communication layers
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::89b9749c1b622a3dcf955af896caf00c
http://hdl.handle.net/2108/108668
http://hdl.handle.net/2108/108668