Zobrazeno 1 - 10
of 12 213
pro vyhledávání: '"A Mahé"'
Autor:
Boitier, William, Del Pozzo, Antonella, García-Pérez, Álvaro, Gazut, Stephane, Jobic, Pierre, Lemaire, Alexis, Mahe, Erwan, Mayoue, Aurelien, Perion, Maxence, Rezende, Tuanir Franca, Singh, Deepika, Tucci-Piergiovanni, Sara
Federated Learning is a decentralized framework that enables multiple clients to collaboratively train a machine learning model under the orchestration of a central server without sharing their local data. The centrality of this framework represents
Externí odkaz:
http://arxiv.org/abs/2406.03608
This paper presents a novel adversary model specifically tailored to distributed systems, aiming to assess the security of blockchain networks. Building upon concepts such as adversarial assumptions, goals, and capabilities, our proposed adversary mo
Externí odkaz:
http://arxiv.org/abs/2403.14342
Offline runtime verification involves the static analysis of executions of a system against a specification. For distributed systems, it is generally not possible to characterize executions in the form of global traces, given the absence of a global
Externí odkaz:
http://arxiv.org/abs/2403.03083
Runtime Verification (RV) refers to a family of techniques in which system executions are observed and confronted to formal specifications, with the aim of identifying faults. In Offline RV, observation is done in a first step and verification in a s
Externí odkaz:
http://arxiv.org/abs/2403.03057
Non-deterministic Finite Automata (NFA) represent regular languages concisely, increasing their appeal for applications such as word recognition. This paper proposes a new approach to generate NFA from an interaction language such as UML Sequence Dia
Externí odkaz:
http://arxiv.org/abs/2306.02983
Autor:
Adarraga, MD, Alberich-Conesa, A, Aibar, J, Alda-Lozano, A, Alfonso, J, Amado, C, Angelina-García, M, Arcelus, JI, Ballaz, A, Barba, R, Barbagelata, C, Barrón, M, Barrón-Andrés, B, Beddar-Chaib, F, Blanco-Molina, A, Caballero, JC, Castellanos, G, Criado, J, De Ancos, C, Del Toro, J, Demelo-Rodríguez, P, De Juana-Izquierdo, C, Díaz-Peromingo, JA, Dubois-Silva, A, Escribano, JC, Falgá, C, Farfán-Sedano, AI, Fernández-Aracil, C, Fernández-Capitán, C, Fernández-Jiménez, B, Fernández-Reyes, JL, Fidalgo, MA, Francisco, I, Gabara, C, Galeano-Valle, F, García-Bragado, F, García-Ortega, A, Gavín-Sebastián, O, Gil-Díaz, A, Gómez-Cuervo, C, González-García, C, González-Munera, A, Grau, E, Guirado, L, Gutiérrez-Guisado, J, Hernández-Blasco, L, Herreros, M, Jara-Palomares, L, Jaras, MJ, Jiménez, D, Jou, I, Joya, MD, Lecumberri, R, Llamas, P, Lobo, JL, López-Jiménez, L, López-Miguel, P, López-Brull, H, López-Núñez, JJ, López-Ruiz, A, López-Sáez, JB, Lorenzo, A, Lumbierres, M, Madridano, O, Maestre, A, Marchena, PJ, Marcos, M, Martín del Pozo, M, Martín-Martos, F, Martínez-Prado, R, Maza, JM, Mena, E, Mercado, MI, Moisés, J, Molino, A, Monreal, M, Morales, MV, Navas, MS, Nieto, JA, Núñez-Fernández, MJ, Olid, M, Ordieres-Ortega, L, Ortiz, M, Osorio, J, Otálora, S, Otero, R, Pacheco-Gómez, N, Pagán, J, Palomeque, AC, Paredes, E, Parra-Caballero, P, Pedrajas, JM, Pérez-Ductor, C, Pérez-Pinar, M, Peris, ML, Pesce, ML, Porras, JA, Puchades, R, Rivera-Cívico, F, Rodríguez-Cobo, A, Romero-Brugera, M, Ruiz-Artacho, P, Ruiz-Giménez, N, Ruiz-Ruiz, J, Salgueiro, G, Sancho, T, Sendín, V, Sigüenza, P, Soler, S, Steinherr, A, Suárez-Fernández, S, Tirado, R, Torrents-Vilar, A, Torres, MI, Trujillo-Santos, J, Uresandi, F, Valle, R, Varona, JF, Villalobos, A, Villares, P, Ay, C, Nopp, S, Pabinger, I, Vanassche, T, Verhamme, P, Verstraete, A, Yoo, HHB, Montenegro, AC, Morales, SN, Roa, J, Hirmerova, J, Malý, R, Bertoletti, L, Bura-Riviere, A, Catella, J, Chopard, R, Couturaud, F, Espitia, O, Grange, C, Le Mao, R, Leclercq, B, Mahé, I, Morange, P, Moustafa, F, Plaisance, L, Sarlon-Bartoli, G, Suchon, P, Versini, E, Schellong, S, Brenner, B, Dally, N, Kenet, G, Tzoran, I, Sadeghipour, P, Rashidi, F, Abenante, A, Barillari, G, Basaglia, M, Bertoni, M, Bilora, F, Brandolin, B, Ciammaichella, M, Colaizzo, D, Dentali, F, Di Micco, P, Grandone, E, Imbalzano, E, Negro, F, Pesavento, R, Poz, A, Prandoni, P, Siniscalchi, C, Taflaj, B, Tufano, A, Visonà, A, Zalunardo, B, Skride, A, Kigitovica, D, Zicans, M, Fonseca, S, Marques, R, Meireles, J, Pinto, S, Bosevski, M, Trajkova, M, Zdraveska, M, Bounameaux, H, Mazzolai, L, Aujayeb, A, Caprini, JA, Weinberg, I, Bui, HM, Cohen, Omri, Waldman Radinsky, Liat, Kenet, Gili, Mahé, Isabelle, Barillari, Giovanni, Soler, Silvia, Sigüenza, Patricia, Del Valle Morales, María, Villares, Paula, Monreal, Manuel
Publikováno v:
In Blood Advances 24 September 2024 8(18):4950-4959
Autor:
Rukh, Mahe, Rahman, Md Shahriar, Sakib, K M Nazmus, Pantha, Shawon Chowdhury, Hasan, Sadia, Jabeen, Mahe, Islam, Md Shaninoor
Publikováno v:
In Carbon Capture Science & Technology September 2024 12
Autor:
Leducq, S., Poizeau, F., Chaby, G., Tannous, J., Ballanger-Desolneux, F., Baubion, E., Bertolotti, A., Cogrel, O., Droitcourt, C., Garnier, V., Gautier, S., Hefez, L., Hotz, C., Jonville-Béra, A.-P., Jouan, N., Mahé, A., Mahé, E., Martinho, G., Micallef, J., Puszkarek, T., Dupin, N., Ly, S., Beylot-Barry, M., Corgibet, F., Guillot, B., Chosidow, O.
Publikováno v:
In Annales de Dermatologie et de Vénéréologie September 2024 151(3)
Interactions are formal models describing asynchronous communications within a Distributed System (DS). They can be drawn in the fashion of sequence diagrams and executed thanks to an operational semantics akin to that of process algebras. Executions
Externí odkaz:
http://arxiv.org/abs/2212.09324
Publikováno v:
In Mechanism and Machine Theory July 2024 197