Zobrazeno 1 - 10
of 294
pro vyhledávání: '"Guard (computer science)"'
Publikováno v:
Empirical Software Engineering. 25:4759-4804
Program understanding is a time-consuming and tedious activity for software developers. Manually building abstractions from source code requires in-depth analysis of the code. Automatic extraction of such models is possible, but cannot derive meaning
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::2fec6d73d86bda010a218c1e7a83fb09
https://doi.org/10.1007/s10664-020-09865-0
https://doi.org/10.1007/s10664-020-09865-0
Autor:
Renan Pereira de Figueiredo, Philip Weber, João Bosco Ferreira Filho, Flávio R. C. Sousa, Ian Litchfield
Publikováno v:
IEEE Journal of Biomedical and Health Informatics. 24:2718-2725
Bad construction of modeled care pathways can lead to satisfiability problems during the pathway execution. These problems can ultimately result in medical errors and need to be checked as formally as possible. Therefore, this study proposes a set of
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::eb679c4786c669c4a6fa8bfac2172b77
https://doi.org/10.1109/jbhi.2020.2977032
https://doi.org/10.1109/jbhi.2020.2977032
Autor:
Dongming Xiang, Guanjun Liu
Publikováno v:
COMPUTING AND INFORMATICS; Vol. 39 No. 1-2 (2020): Computing and Informatics; 193-212
In order to guarantee the correctness of workflow systems, it is necessary to check their data-flow errors, e.g., missing data, inconsistent data, lost data and redundant data. The traditional Petri-net-based methods are usually based on the reachabi
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::3c2ada34b3ba352ca40745466bec4f15
https://doi.org/10.31577/cai_2020_1-2_193
https://doi.org/10.31577/cai_2020_1-2_193
Publikováno v:
Proceedings of the ACM on Programming Languages. 3:1-28
We introduce Carol, a refinement-typed programming language for replicated data stores. The salient feature of Carol is that it allows programming and verifying replicated store operations modularly , without consideration of other operations that mi
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::a039f4225f6ca7d702aa8332aed53724
https://doi.org/10.1145/3341710
https://doi.org/10.1145/3341710
Publikováno v:
Studies About Languages. :74-90
Translation in cognitive linguistics is a point of intersection and a means of communication and interpretation between cultures. Currently, the studies which are carried out in the sphere of cognitive linguistics acquire significance due to their in
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::0cf481883f9c6f70205e5ebb4fc89d30
https://doi.org/10.5755/j01.sal.0.34.21104
https://doi.org/10.5755/j01.sal.0.34.21104
Publikováno v:
SAC
We present Branchboozle, a side-channel that can be configured on top of a hidden Pattern History Table (PHT) now found in modern Branch Prediction Units (BPUs). In a similar fashion to known BranchScope attacks, Branchboozle works by closely monitor
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::698a73a26ea5de59d775d45e98641774
https://doi.org/10.1145/3412841.3442035
https://doi.org/10.1145/3412841.3442035
Publikováno v:
Algorithms and Discrete Applied Mathematics ISBN: 9783030678982
CALDAM
CALDAM
The Terrain Guarding problem, a variant of the famous Art Gallery problem, has garnered significant attention over the last two decades in Computational Geometry from the viewpoint of complexity and approximability. Both the continuous and discrete v
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::14ae636bcd3f02418fdbc96697c95fc4
https://doi.org/10.1007/978-3-030-67899-9_10
https://doi.org/10.1007/978-3-030-67899-9_10
Autor:
Daniel Thornton
Publikováno v:
Meaning-Making in the Contemporary Congregational Song Genre ISBN: 9783030556082
Continuing from Chap. 4, the focus of the interviews with the six key contemporary congregational song (CCS) composers shifts to consider a variety of factors affecting their writing. These include the way many CCS composers have integrated tradition
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::06a496c83b20974b1824201ad1d15046
https://doi.org/10.1007/978-3-030-55609-9_5
https://doi.org/10.1007/978-3-030-55609-9_5
Publikováno v:
IISWC
Intel's newer processors come equipped with Software Guard Extensions (SGX) technology, allowing developers to write sections of code that run in a protected area of memory known as an enclave. In this work, we compare performance of two scenarios fo
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::e04c92219041d84ee84e70a09a216b3f
https://doi.org/10.1109/iiswc50251.2020.00021
https://doi.org/10.1109/iiswc50251.2020.00021
Publikováno v:
International Conference on Frontiers of Handwriting Recognition (ICFHR)
International Conference on Frontiers of Handwriting Recognition (ICFHR), Sep 2020, Dortmund, Germany
ICFHR
HAL
International Conference on Frontiers of Handwriting Recognition (ICFHR), Sep 2020, Dortmund, Germany
ICFHR
HAL
Historical handwritten documents guard an important part of human knowledge only at the reach of a few scholars and experts. Recent developments in machine learning have the potential of rendering this information accessible to a larger audience. Dat
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::3cc9de48ab36777f385fe34c3f646341
https://hal.science/hal-02877520
https://hal.science/hal-02877520