Zobrazeno 1 - 10
of 64
pro vyhledávání: '"Hein Meling"'
Publikováno v:
Distributed Applications and Interoperable Systems ISBN: 9783031160912
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::09b46a1100e7232c7fb8fbd427d3bac3
https://doi.org/10.1007/978-3-031-16092-9_4
https://doi.org/10.1007/978-3-031-16092-9_4
Publikováno v:
DAPPS
Still to this day, academic credentials are primarily paper-based, and the process to verify the authenticity of such documents is costly, time-consuming, and prone to human error and fraud. Digitally signed documents facilitate a cost-effective veri
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::ba285cabd5803f087e8c4e7505439f67
https://doi.org/10.1109/dapps52256.2021.00017
https://doi.org/10.1109/dapps52256.2021.00017
Automated test case generation for the Paxos single-decree protocol using a Coloured Petri Net model
Publikováno v:
Journal of Logical and Algebraic Methods in Programming
Implementing test suites for distributed software systems is a complex and time-consuming task due to the number of test cases that need to be considered in order to obtain high coverage. We show how a formal Coloured Petri Net model can be used to a
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::a2a012d5f25991b9c34661bdd19bc7b5
https://doi.org/10.1016/j.jlamp.2019.02.004
https://doi.org/10.1016/j.jlamp.2019.02.004
Publikováno v:
IEEE Transactions on Dependable and Secure Computing. 14:172-184
Emerging cloud-based network services must deliver both good performance and high availability. Achieving both of these goals requires content replication across multiple sites. Many cloud-based services either require or would benefit from the seman
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::64a490ef89fd580ce0b0a75b0b756671
https://doi.org/10.1109/tdsc.2015.2443781
https://doi.org/10.1109/tdsc.2015.2443781
Publikováno v:
SAC
Readily available blockchain technologies allow to improve reliability and availability of existing cloud applications. This paper presents a blockchain based distributed storage system for permissioned settings. We use a blockchain to form verifiabl
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::5cefa270e8f7cac58ae18cd41c150bf3
https://doi.org/10.1145/3297280.3297544
https://doi.org/10.1145/3297280.3297544
Publikováno v:
ApPLIED@PODC
Gorums is a novel RPC framework aimed at simplifying development of fault tolerant distributed systems. In this paper, we want to assess whether Gorums can simplify the implementation of a practical fault tolerant service that supports reconfiguratio
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::bf5174eee6cb78b297e5ea310798e192
https://doi.org/10.1145/3231104.3231957
https://doi.org/10.1145/3231104.3231957
Publikováno v:
Transactions on Petri Nets and Other Models of Concurrency XIII ISBN: 9783662583807
Data replication is a central mechanism for the engineering of fault-tolerant distributed systems, and is used in the realization of most cloud computing services. This paper explores the use of Coloured Petri Nets (CPNs) for model-based testing of q
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::ea11c451e7da97a48e8e2be539a2d8a0
https://doi.org/10.1007/978-3-662-58381-4_8
https://doi.org/10.1007/978-3-662-58381-4_8
Publikováno v:
Information and Software Technology. 57:169-185
Context Testing complex industrial robots (CIRs) requires testing several interacting control systems. This is challenging, especially for robots performing process-intensive tasks such as painting or gluing, since their dedicated process control sys
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::324aaba4e114f94987c0f002053e2038
https://doi.org/10.1016/j.infsof.2014.09.009
https://doi.org/10.1016/j.infsof.2014.09.009
Publikováno v:
AI Magazine; Vol 38, No 2: Summer 2017; 94-96
This report explores the use of constraint programming for the validation of ABB Robotics' painting robots.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::8710f9c5cb29f64d6cf7251d20f80978
http://aaai.org/ojs/index.php/aimagazine/article/view/2723
http://aaai.org/ojs/index.php/aimagazine/article/view/2723
Publikováno v:
ICDCS
This paper introduces Gorums, a novel RPC framework for building fault tolerant distributed systems. Gorums offers a flexible and simple quorum call abstraction, used to communicate with a set of processes, and to collect and process their responses.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::667b6948057ad921a7eae457e3ae2e8b
https://doi.org/10.1109/icdcs.2017.166
https://doi.org/10.1109/icdcs.2017.166