E-LIB Suche - Ergebnisse für: Durán, Francisco

1

Forecast-Based Energy Management for Optimal Energy Dispatc..:

Durán, Francisco ; Pavón, Wilson ; Minchala, Luis Ismael
Energies. 17 (2024) 2 - p. 486 , 2024

Link: https://doi.org/10.3390/..

2

Identifying Architectural Design Decisions for Achieving Gr..:

, In: Proceedings of the IEEE/ACM 3rd International Conference on AI Engineering - Software Engineering for AI,

Durán, Francisco ; Martinez-Fernandez, Silverio ; Martinez, Matias. - p. 18-23 , 2024

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

3

Business processes resource management using rewriting logi..:

Durán, Francisco ; Pozas, Nicolás ; Rocha, Camilo
Journal of Logical and Algebraic Methods in Programming. 136 (2024) - p. 100928 , 2024

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

4

Composition of multilevel domain-specific modelling languag..:

Rodríguez, Alejandro ; Macías, Fernando ; Durán, Francisco..
Journal of Logical and Algebraic Methods in Programming. 130 (2023) - p. 100831 , 2023

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

5

Statistical Model Checking for $$\textsf {P}$$:

, In: Formal Methods for Industrial Critical Systems; Lecture Notes in Computer Science,

Durán, Francisco ; Pozas, Nicolás ; Ramírez, Carlos. - p. 40-56 , 2023

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

6

Guiding the retraining of convolutional neural networks aga..:

Durán, Francisco ; Martínez-Fernández, Silverio ; Felderer, Michael.
PeerJ Computer Science. 9 (2023) - p. e1454 , 2023

Link: https://doi.org/10.7717/..

7

Location‐aware scalable service composition:

Pozas García, Nicolás ; Durán, Francisco ; Moreno Berrocal, Katia.
Software: Practice and Experience. 53 (2023) 12 - p. 2408-2429 , 2023

Link: https://doi.org/10.1002/..

8

Towards green AI-based software systems: an architecture-ce..:

, In: 2023 49th Euromicro Conference on Software Engineering and Advanced Applications (SEAA),

Martinez-Fernandez, Silverio ; Franch, Xavier ; Duran, Francisco - p. 432-439 , 2023

Link: https://doi.org/10.1109/..

9

Business Processes Analysis with Resource-Aware Machine Lea..:

, In: Rewriting Logic and Its Applications; Lecture Notes in Computer Science,

Durán, Francisco ; Martínez, Daniela ; Rocha, Camilo - p. 113-129 , 2022

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

10

Optimization of BPMN Processes via Automated Refactoring:

, In: Service-Oriented Computing; Lecture Notes in Computer Science,

Durán, Francisco ; Salaün, Gwen - p. 3-18 , 2022

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

11

From Static to Dynamic Analysis and Allocation of Resources..:

, In: Rewriting Logic and Its Applications; Lecture Notes in Computer Science,

Durán, Francisco ; Falcone, Yliès ; Rocha, Camilo.. - p. 3-21 , 2022

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

12

High natural bromine concentrations in organic Brazil Nuts ..:

Benzing, Albrecht ; van der Ent, Antony ; Casey, Lachlan W....
Journal of Food Composition and Analysis. 110 (2022) - p. 104533 , 2022

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

13

Equational Unification and Matching, and Symbolic Reachabil..:

, In: Automated Reasoning; Lecture Notes in Computer Science,

Durán, Francisco ; Eker, Steven ; Escobar, Santiago... - p. 529-540 , 2022

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

14

Models and analysis for user-driven reconfiguration of rule..:

Durán, Francisco ; Krishna, Ajay ; Le Pallec, Michel..
Internet of Things. 19 (2022) - p. 100515 , 2022

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

15

On the Scalability of Compositions of Service-Oriented Appl..:

, In: Service-Oriented Computing; Lecture Notes in Computer Science,

Pozas, Nicolás ; Durán, Francisco - p. 449-463 , 2021

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