E-LIB Suche - Ergebnisse für: Suñé, Agustín E. Martinez

1

A Dynamic Temporal Logic for Quality of Service in Choreogr..:

, In: Theoretical Aspects of Computing – ICTAC 2023; Lecture Notes in Computer Science,

Pombo, Carlos G. Lopez ; Suñé, Agustín E. Martinez ; Tuosto, Emilio - p. 119-138 , 2023

Link: https://doi.org/10.1007/..

2

Formalization and analysis of quantitative attributes of di..:

, In: Proceedings of the ACM/IEEE 42nd International Conference on Software Engineering: Companion Proceedings,

Suñé, Agustín E. Martinez - p. 210-213 , 2020

Link: https://dl.acm.org/doi/1..

3

Automatic Quality-of-Service Evaluation in Service-Oriented..:

, In: Lecture Notes in Computer Science; Coordination Models and Languages,

Martinez Suñé, Agustín E. ; Lopez Pombo, Carlos G. - p. 221-236 , 2019

Link: https://doi.org/10.1007/..

4

A Dynamic Temporal Logic for Quality of Service in Choreogr..:

Pombo, Carlos G. Lopez ; Suñé, Agustín E. Martinez ; Tuosto, Emilio
http://arxiv.org/abs/2311.01414. , 2023

Link: http://arxiv.org/abs/231..

5

MoCheQoS: Automated Analysis of Quality of Service Properti..:

Pombo, Carlos G. Lopez ; Suñé, Agustín E. Martinez ; Tuosto, Emilio
http://arxiv.org/abs/2311.01415. , 2023

Link: http://arxiv.org/abs/231..

6

Probabilistic Quality of Service aware Service Selection:

Suñé, Agustín E. Martinez ; Pombo, Carlos G. Lopez
http://arxiv.org/abs/2205.09877. , 2022

Link: http://arxiv.org/abs/220..

7

Automatic Quality-of-Service Evaluation in Service-Oriented..:

Martinez Suñé, Agustín, E ; Lopez Pombo, Carlos, G
info:eu-repo/semantics/altIdentifier/doi/10.1007/978-3-030-22397-7_13. , 2019

Link: https://inria.hal.scienc..

8

Automatic Quality-of-Service Evaluation in Service-Oriented..:

Martinez Suñé, Agustín, E ; Lopez Pombo, Carlos, G
info:eu-repo/semantics/altIdentifier/doi/10.1007/978-3-030-22397-7_13. , 2019

Link: https://inria.hal.scienc..

9

Detailed stratified GWAS analysis for severe COVID-19 in fo..:

Degenhardt, Frauke ; Ellinghaus, David ; Juzenas, Simona...
Reproducció del document publicat a: https://doi.org/10.1093/hmg/ddac158. , 2022

Link: http://hdl.handle.net/24..

10

Quality of Service Ranking by Quantifying Partial Complianc..:

, In: Lecture Notes in Computer Science; Coordination Models and Languages,

Martinez Suñé, Agustín Eloy ; Lopez Pombo, Carlos Gustavo - p. 181-189 , 2020

Link: https://doi.org/10.1007/..

11

Automated QoS-Aware Service Selection Based on Soft Constra..:

, In: Recent Trends in Algebraic Development Techniques; Lecture Notes in Computer Science,

Keis, Elias ; Pombo, Carlos Gustavo Lopez ; Suñé, Agustín Eloy Martinez. - p. 121-140 , 2023

Link: https://doi.org/10.1007/..

12

Formal Quality of Service Analysis in the Service Selection..:

, In: Service-Oriented Computing – ICSOC 2020 Workshops; Lecture Notes in Computer Science,

Martinez-Suñé, Agustín Eloy - p. 54-60 , 2021

Link: https://doi.org/10.1007/..

13

Descripción del proceso de certificación ISO 9001/2000 en e..:

Miana Mena, M.T. ; Fontanals Martínez, S. ; López Púa, Y....
Farmacia Hospitalaria. 31 (2007) 6 - p. 370-374 , 2007

Link: https://doi.org/10.1016/..

14

Combining fiber optic DTS, cross-hole ERT and time-lapse in..:

Folch, A. ; del Val, L. ; Luquot, L....
Journal of Hydrology. 588 (2020) - p. 125050 , 2020

Link: https://doi.org/10.1016/..

15

Prostate cancer risk stratification improvement across mult..:

Huynh-Le, Minh-Phuong ; Karunamuni, Roshan ; Fan, Chun Chieh...
Prostate Cancer and Prostatic Diseases. 25 (2022) 4 - p. 755-761 , 2022

Link: https://doi.org/10.1038/..