- University of Zaragoza, Spain
According to our database1, Pedro Álvarez authored at least 57 papers between 1999 and 2022.
Legend:Book In proceedings Article PhD thesis Other
Multim. Tools Appl., 2022
Defense and Attack Techniques Against File-Based TOCTOU Vulnerabilities: A Systematic Review.
IEEE Access, 2022
A learning experience toward the understanding of abstraction-level interactions in parallel applications.
J. Parallel Distributed Comput., 2021
Mobile music recommendations for runners based on location and emotions: The DJ-Running system.
Pervasive Mob. Comput., 2020
IEEE Access, 2020
Estimation of Customer Activity Patterns in Open Malls by Means of Combining Localization and Process Mining Techniques.
Proceedings of the Advances in Physical Agents II, 2020
Reducing the price of resource provisioning using EC2 spot instances with prediction models.
Future Gener. Comput. Syst., 2019
Proceedings of the Workshop on Computer Architecture Education, 2019
Proceedings of the On the Move to Meaningful Internet Systems: OTM 2019 Conferences, 2019
Proceedings of the Short Paper Proceedings of the Tenth International Conference on Indoor Positioning and Indoor Navigation - Work-in-Progress Papers (IPIN-WiP 2019) co-located with the Tenth International Conference on Indoor Positioning and Indoor Navigation (IPIN 2019), Pisa, Italy, September 30th, 2019
Proceedings of the 7th International Conference on Sport Sciences Research and Technology Support, 2019
Analysis of Innovative Approaches in the Class Using Conceptual Maps and Considering the Learning Styles of Students.
Rev. Iberoam. de Tecnol. del Aprendiz., 2018
Cost-driven provisioning and execution of a computing-intensive service on the Amazon EC2.
Comput. J., 2018
IEEE Access, 2018
On the Use of Log-Based Model Checking, Clustering and Machine Learning for Process Behavior Prediction.
Proceedings of the Fifth International Conference on Social Networks Analysis, 2018
Proceedings of the Human Systems Engineering and Design, 2018
Proceedings of the 2018 IEEE Global Engineering Education Conference, 2018
Parallel computation of the reachability graph of petri net models with semantic information.
Softw. Pract. Exp., 2017
Proceedings of the International Workshop on Algorithms & Theories for the Analysis of Event Data 2017 Satellite event of the conferences: 38th International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets 2017 and 17th International Conference on Application of Concurrency to System Design ACSD 2017, 2017
Alignment of teacher's plan and students' use of LMS resources. Analysis of Moodle logs.
Proceedings of the 15th International Conference on Information Technology Based Higher Education and Training, 2016
Proceedings of the Economics of Grids, Clouds, Systems, and Services, 2016
Integration of grid, cluster and cloud resources to semantically annotate a large-sized repository of learning objects.
Concurr. Comput. Pract. Exp., 2015
Cost Estimation for the Provisioning of Computing Resources to Execute Bag-of-Tasks Applications in the Amazon Cloud.
Proceedings of the Economics of Grids, Clouds, Systems, and Services, 2015
Solving the Interoperability Problem by Means of a Bus - An Experience on the Integration of Grid, Cluster and Cloud Infrastructures.
J. Grid Comput., 2014
A practical experience concerning the parallel semantic annotation of a large-scale data collection.
Proceedings of the I-SEMANTICS 2013 - 9th International Conference on Semantic Systems, 2013
Proceedings of the Economics of Grids, Clouds, Systems, and Services, 2013
Proceedings of the Service-Oriented and Cloud Computing - Second European Conference, 2013
IEEE Trans. Syst. Man Cybern. Part A, 2012
Automatic execution of business process models: Exploiting the benefits of Model-driven Engineering approaches.
J. Syst. Softw., 2012
Simulation and Realistic Workloads to Support the Meta-scheduling of Scientific Workflows.
Proceedings of the Simulation and Modeling Methodologies, Technologies and Applications, 2012
A Simulation-based Scheduling Strategy for Scientific Workflows.
Proceedings of the SIMULTECH 2012 - Proceedings of the 2nd International Conference on Simulation and Modeling Methodologies, Technologies and Applications, Rome, Italy, 28, 2012
Concurr. Comput. Pract. Exp., 2011
Control and data flow compatibility in the interaction between dynamic business processes.
Concurr. Comput. Pract. Exp., 2011
DENEB: a platform for the development and execution of interoperable dynamic Web processes.
Concurr. Comput. Pract. Exp., 2011
An uncoordinated asynchronous checkpointing model for hierarchical scientific workflows.
J. Comput. Syst. Sci., 2010
Concurr. Comput. Pract. Exp., 2010
Symbolic Analysis of the Behavior of Semantic Business Processes.
Proceedings of the 2009 International Conference on Semantic Web & Web Services, 2009
RDF Model Checking: A Technique to Verify Behavioral Properties in Semantically Annotated Business Processes.
Proceedings of the 3rd IEEE International Conference on Semantic Computing (ICSC 2009), 2009
Proceedings of the 6th International Workshop on Middleware for Grid Computing (MGC 2008), 2008
On Interlinking of Grids: A Proposal for Improving the Flexibility of Grid Service Interactions.
Proceedings of the Third International Conference on Internet and Web Applications and Services, 2008
Checking Necessary Conditions for Control and Data Flow Compatibility between Business and Interaction Logics in Web Processes.
Proceedings of the ECOWS 2008, 2008
Proceedings of the 2008 International Conferences on Computational Intelligence for Modelling, 2008
Runtime Protocol Binding: Flexible Service Integration by Means of Flexible Service Interactions.
Proceedings of the 2008 IEEE International Conference on Services Computing (SCC 2008), 2008
Proceedings of the On the Move to Meaningful Internet Systems 2007: CoopIS, 2007
Proceedings of the Computer Aided Systems Theory, 2007
DRLinda: A Distributed Message Broker for Collaborative Interactions Among Business Processes.
Proceedings of the E-Commerce and Web Technologies, 8th International Conference, 2007
Proceedings of the Engineering Societies in the Agents World VII, 2006
RLinda: A Petri Net Based Implementation of the Linda Coordination Paradigm for Web Services Interactions.
Proceedings of the E-Commerce and Web Technologies, 7th International Conference, 2006
A Framework for the Development and Execution of Horizontal Protocols in Open BPM Systems.
Proceedings of the Business Process Management, 4th International Conference, 2006
OGC Catalog Services: a key element for the development of Spatial Data Infrastructures.
Comput. Geosci., 2005
Approaching Web Service Coordination and Composition by Means of Petri Nets. The Case of the Nets-Within-Nets Paradigm.
Proceedings of the Service-Oriented Computing, 2005
Proceedings of the Advances in Artificial Intelligence, 2004
An Architectural Pattern to Extend the Interaction Model between Web-Services: The Location-Based Service Context.
Proceedings of the Service-Oriented Computing, 2003
Generative Communication with Semantic Matching in Distributed Heterogeneous Environments.
Proceedings of the Computer Aided Systems Theory, 2003
A Java Coordination Tool for Web-Service Architectures: The Location-Based Service Context.
Proceedings of the Scientific Engineering for Distributed Java Applications, 2002
Desarrollo de una Arquitectura Distribuida Orientada a Objeto para la Monitorización Automática de Vehículos.
Proceedings of the IV Jornadas de Ingeniería del Software y Bases de Datos (JISBD'99), 1999