Zobrazeno 1 - 10
of 61
pro vyhledávání: '"Safina Larisa"'
Autor:
Sow, Younoussa, Safina, Larisa, Brault, Léandre, Diouf, Papa Ibou, Ducasse, Stéphane, Anquetil, Nicolas
Far from the latest innovations in software development, many organizations still rely on old code written in "obsolete" programming languages. Because this source code is old and proven it often contributes significantly to the continuing success of
Externí odkaz:
http://arxiv.org/abs/2309.02019
Publikováno v:
EPTCS 383, 2023
This volume contains the proceedings of ICE'23, the 16th Interaction and Concurrency Experience, which was held at the NOVA University in Lisbon, Portugal, as a satellite event of DisCoTec'22. The ICE workshop series features a distinguishing review
Externí odkaz:
http://arxiv.org/abs/2308.08920
Publikováno v:
MATEC Web of Conferences, Vol 251, p 02043 (2018)
We needed to determine physical and mechanical characteristics of elastomeric bearings in order to create an accurate design models for structures mounted on elastomeric bearings. Methods and results of comparative tests for horizontal stiffness of e
Externí odkaz:
https://doaj.org/article/2c6ea995c6d240499ebd96d0744daa78
Publikováno v:
EPTCS 365, 2022
This volume contains the proceedings of ICE'22, the 15th Interaction and Concurrency Experience, which was held as an hybrid event in Lucca, Italy, and as a satellite event of DisCoTec'22. The ICE workshop series features a distinguishing review and
Externí odkaz:
http://arxiv.org/abs/2208.04086
Autor:
Safina, Larisa, Bliudze, Simon
Behavioural models are a valuable tool for software verification, testing, monitoring, publishing etc. However, they are rarely provided by the software developers and have to be extracted either from the source or from the compiled code. In the cont
Externí odkaz:
http://arxiv.org/abs/2205.15270
Choreographies are global descriptions of interactions among concurrent components, most notably used in the settings of verification and synthesis of correct-by-construction software. They require a top-down approach: programmers first write choreog
Externí odkaz:
http://arxiv.org/abs/2205.02636
Publikováno v:
EPTCS 347, 2021
This volume contains the proceedings of ICE'21, the 14th Interaction and Concurrency Experience, which was held online on the 18th of June 2021, as a satellite event of DisCoTec'21. The ICE workshop series features a distinguishing review and selecti
Externí odkaz:
http://arxiv.org/abs/2109.14908
Publikováno v:
EPTCS 324, 2020
This volume contains the proceedings of ICE'20, the 13th Interaction and Concurrency Experience, which was held online on the 19th of June 2020, as a satellite event of DisCoTec'20. The ICE workshop series features a distinguishing review and selecti
Externí odkaz:
http://arxiv.org/abs/2009.07628
Choreography extraction deals with the generation of a choreography (a global description of communication behaviour) from a set of local process behaviours. In this work, we implement a previously proposed theory for extraction and show that, in spi
Externí odkaz:
http://arxiv.org/abs/1910.11741
In modern application areas for software systems --- like eHealth, the Internet-of-Things, and Edge Computing --- data is encoded in heterogeneous, tree-shaped data-formats, it must be processed in real-time, and it must be ephemeral, i.e., not persi
Externí odkaz:
http://arxiv.org/abs/1904.11327