Artikler med mandater om offentlig tilgang - Manuel CarroLes mer
Tilgjengelige et eller annet sted: 30
Comparing and combining predictive business process monitoring techniques
A Metzger, P Leitner, D Ivanović, E Schmieders, R Franklin, M Carro, ...
IEEE Transactions on Systems, Man, and Cybernetics: Systems 45 (2), 276-290, 2014
Mandater: Austrian Science Fund, German Research Foundation, Government of Spain
Constraint answer set programming without grounding
J Arias, M Carro, E Salazar, K Marple, G Gupta
Theory and Practice of Logic Programming 18 (3-4), 337-354, 2018
Mandater: US National Science Foundation, Government of Spain
Constraint-based runtime prediction of SLA violations in service orchestrations
D Ivanović, M Carro, M Hermenegildo
International Conference on Service-Oriented Computing, 62-76, 2011
Mandater: Government of Spain
Modeling and reasoning in event calculus using goal-directed constraint answer set programming
J Arias, M Carro, Z Chen, G Gupta
Theory and Practice of Logic Programming 22 (1), 51-80, 2022
Mandater: US National Science Foundation, Government of Spain
A model-driven approach to teaching concurrency
M Carro, Á Herranz, J Marino
ACM Transactions on Computing Education (TOCE) 13 (1), 1-19, 2013
Mandater: Government of Spain
Description and optimization of abstract machines in a dialect of Prolog
JF Morales, M Carro, M Hermenegildo
Theory and Practice of Logic Programming 16 (1), 1-58, 2016
Mandater: European Commission, Government of Spain
A sharing-based approach to supporting adaptation in service compositions
D Ivanović, M Carro, MV Hermenegildo
Computing 95, 453-492, 2013
Mandater: Government of Spain
Description, implementation, and evaluation of a generic design for tabled CLP
J Arias, M Carro
Theory and Practice of Logic Programming 19 (3), 412-448, 2019
Mandater: Government of Spain
A general implementation framework for tabled CLP
P Chico de Guzmán, M Carro, MV Hermenegildo, P Stuckey
International Symposium on Functional and Logic Programming, 104-119, 2012
Mandater: Government of Spain
Lightweight compilation of (C) LP to JavaScript
JF Morales, R Haemmerlé, M Carro, MV Hermenegildo
Theory and Practice of Logic Programming 12 (4-5), 755-773, 2012
Mandater: Government of Spain
Building information modeling using constraint logic programming
J Arias, S Törmä, M Carro, G Gupta
Theory and Practice of Logic Programming 22 (5), 723-738, 2022
Mandater: US National Science Foundation, US Department of Defense, European …
A constraint-based approach to quality assurance in service choreographies
D Ivanović, M Carro, MV Hermenegildo
International Conference on Service-Oriented Computing, 252-267, 2012
Mandater: Government of Spain
Towards QoS prediction based on composition structure analysis and probabilistic models
D Ivanović, M Carro, P Kaowichakorn
International Conference on Service-Oriented Computing, 394-402, 2014
Mandater: Government of Spain
An s (CASP) In-Browser Playground based on Ciao Prolog.
G García-Pradales, JF Morales, MV Hermenegildo, J Arias, M Carro
ICLP Workshops, 2022
Mandater: Government of Spain
Constraint answer set programming without grounding and its applications
J Arias Herrero, M Carro Liñares, Z Chen, G Gupta
ETSI_Informatica 2368, 22-26, 2019
Mandater: US National Science Foundation, Government of Spain
Transforming service compositions into cloud-friendly actor networks
D Ivanović, M Carro
International Conference on Service-Oriented Computing, 291-305, 2014
Mandater: Government of Spain
Types, modes and so much more–the Prolog way
MV Hermenegildo, JF Morales, P Lopez-Garcia, M Carro
Prolog: The Next 50 Years, 23-37, 2023
Mandater: Government of Spain
Deriving Specifications for Composite Web Services
G Baryannis, M Carro, D Plexousakis
2012 IEEE 36th Annual Computer Software and Applications Conference, 432-437, 2012
Mandater: Government of Spain
Prolog: past, present, and future
G Gupta, E Salazar, F Shakerin, J Arias, SC Varanasi, K Basu, H Wang, ...
Prolog: The Next 50 Years, 48-61, 2023
Mandater: US National Science Foundation, US Department of Defense
Exploring the impact of inaccuracy and imprecision of qos assumptions on proactive constraint-based QoS prediction for service orchestrations
D Ivanović, M Carro, M Hermenegildo
2012 4th International Workshop on Principles of Engineering Service …, 2012
Mandater: Government of Spain
Informasjon om publisering og finansiering fastsettes automatisk av et datamaskinprogram