Zobrazeno 1 - 10
of 159
pro vyhledávání: '"acm: d.: software"'
Autor:
Olmedo, Agustín, Arévalo, Gabriela, Cassol, Ignacio, Perez, Quentin, Urtado, Christelle, Vauttier, Sylvain
Publikováno v:
Evaluation of Novel Approaches to Software Engineering
Hermann Kaindl, Mike Mannion and Leszek A. Maciaszek. Evaluation of Novel Approaches to Software Engineering, 1829, Springer, pp.155-178, 2023, Communications in Computer and Information Science, 978-3-031-36596-6. ⟨10.1007/978-3-031-36597-3_8⟩
Hermann Kaindl, Mike Mannion and Leszek A. Maciaszek. Evaluation of Novel Approaches to Software Engineering, 1829, Springer, pp.155-178, 2023, Communications in Computer and Information Science, 978-3-031-36596-6. ⟨10.1007/978-3-031-36597-3_8⟩
International audience; Pull-based Development (PbD) is widely used in collaborative development to integrate changes into a project codebase. In this model, contributions are notified through Pull Request (PR) submissions. Project administrators are
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::a5680e472549b4ecdfd843058805c222
https://imt-mines-ales.hal.science/hal-04157804/document
https://imt-mines-ales.hal.science/hal-04157804/document
Autor:
Cheng, Zheng, Méry, Dominique
We propose a static checker, based on the Laplace transform, for checking reference tracking system designs against their performance and safety requirements. It aims to filter out designs that have obvious requirement violations. This is to prevent
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od_______165::94d25bd76295dfe2bd1d43919ed35d89
https://hal.science/hal-04152829
https://hal.science/hal-04152829
Publikováno v:
Journal of Data Mining and Digital Humanities, Vol Atelier Digit\_Hum, Iss Digital libraries and virtual... (2019)
The Foucault Fiches de Lecture (FFL) project aims both to explore and to make available online a large set of Michel Foucault’s reading notes (organized citations, references and comments) held at the BnF since 2013. Therefore, the team is digitizi
Externí odkaz:
https://doaj.org/article/10c5f49afe004208a1460b063bc6bd4b
Autor:
Delaplace, Franck
The detection of community structure is probably one of the hottest trends in complex network research as it reveals the internal organization of people, molecules or processes behind social, biological or computer networks\dots The issue is to provi
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::59407350d05aa4281e4e6094c4dc6c94
In many fields of science and technology we are confronted with complex networks. Making sense of these networks often require the ability to visualize and explore their intermingled structure consisting of nodes and links. To facilitate the identifi
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od_______165::e2d1e32183c9c78f98df546d02995e42
https://hal.science/hal-03837671
https://hal.science/hal-03837671
Autor:
Zawilski, Bartosz
Publikováno v:
Atelier d'Expérimentation et d'instrumentation 2022 AEI
Atelier d'Expérimentation et d'instrumentation 2022 AEI, Jun 2022, Montpellier, France.
Atelier d'Expérimentation et d'instrumentation 2022 AEI, Jun 2022, Montpellier, France.
International audience; In the context of global climate warming, several monitoring scientific stations networks were developed around the world. In Europe, we have an Integrated Carbon Observation System (ICOS) network to which belongs our two crop
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______2191::9193a9740922c443bf6b0de2c4bfd927
https://hal.science/hal-03846456
https://hal.science/hal-03846456
Publikováno v:
IEEE Access
IEEE Access, IEEE, 2020, 8, pp.212194-212208. ⟨10.1109/ACCESS.2020.3039879⟩
IEEE Access, Vol 8, Pp 212194-212208 (2020)
IEEE Access, IEEE, 2020, 8, pp.212194-212208. ⟨10.1109/ACCESS.2020.3039879⟩
IEEE Access, Vol 8, Pp 212194-212208 (2020)
International audience; We present a control-theoretic approach to achieve Cyber-Physical Systems (CPS) resilient designs. We assume situations in which the CPS must maintain the correct operation of a set of crucial functionalities despite ongoing a
Publikováno v:
Journal of Logical and Algebraic Methods in Programming
Journal of Logical and Algebraic Methods in Programming, 2023, 131, pp.26. ⟨10.1016/j.jlamp.2022.100845⟩
Journal of Logical and Algebraic Methods in Programming, 2023, 131, pp.26. ⟨10.1016/j.jlamp.2022.100845⟩
Drags are a recent, natural generalization of terms which admit arbitrary cycles. A key aspect of drags is that they can be equipped with a composition operator so that rewriting amounts to replace a drag by another in a composition. In this paper, w
Publikováno v:
Bioinformatics
Bioinformatics, 2021, 37 (24), pp.4889-4891. ⟨10.1093/bioinformatics/btab441⟩
Bioinformatics, Oxford University Press (OUP), 2021, 37 (24), pp.4889-4891. ⟨10.1093/bioinformatics/btab441⟩
Bioinformatics, 2021, 37 (24), pp.4889-4891. ⟨10.1093/bioinformatics/btab441⟩
Bioinformatics, Oxford University Press (OUP), 2021, 37 (24), pp.4889-4891. ⟨10.1093/bioinformatics/btab441⟩
International audience; PAX2GRAPHML is an open source Python library that allows to easily manipulate BioPAX source files as regulated reaction graphs described in .graphml format. The concept of regulated reactions, which allows connecting regulator
Publikováno v:
Brief presentation at the 42nd IEEE Real-Time Systems Symposium (RTSS)
Brief presentation at the 42nd IEEE Real-Time Systems Symposium (RTSS), Dec 2021, Dortmund, Germany
Brief presentation at the 42nd IEEE Real-Time Systems Symposium (RTSS), Dec 2021, Dortmund, Germany
International audience; This paper deals with scheduling anomalies in real-time systems. Scheduling anomalies jeopardize schedulability analysis made prior to execution. In this paper, we propose a model to specify conditions leading to scheduling an
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::e1cb21833ced297c06df6004135e9715
https://hal.univ-brest.fr/hal-03361920
https://hal.univ-brest.fr/hal-03361920