Ara es mostren els items 16-35 de 35

    • Machine learning-based query augmentation for SPARQL endpoints 

      Rico Almodóvar, Mariano; Touma, Rizkallah; Queralt Calafat, Anna; Pérez Hernandez, María S. (2018)
      Comunicació de congrés
      Accés obert
      Linked Data repositories have become a popular source of publicly-available data. Users accessing this data through SPARQL endpoints usually launch several restrictive yet similar consecutive queries, either to find the ...
    • Managing the cloud continuum: lessons learnt from a real fog-to-cloud deployment 

      Masip Bruin, Xavier; Marín Tordera, Eva; Sánchez López, Sergio; García Almiñana, Jordi; Jukan, Admela; Juan Ferrer, Ana; Queralt Calafat, Anna; Salis, Antonio; Bartoli, Andrea; Cankar, Matija; Cordeiro, Cristovao; Jensen, Jens; Kennedy, John D. (2021-05-01)
      Article
      Accés obert
      The wide adoption of the recently coined fog and edge computing paradigms alongsideconventional cloud computing creates a novel scenario, known as the cloud continuum, whereservices may benefit from the overall set of ...
    • mF2C: Towards a coordinated management of the IoT-fof-cloud continuum 

      Masip Bruin, Xavier; Marín Tordera, Eva; Juan Ferrer, Ana; Queralt Calafat, Anna; Jukan, Admela; García Almiñana, Jordi; Lezzi, Daniele; Jensen, Jens; Cordeiro, Cristovao; Leckey, Alexander; Salis, Antonio; Guilhot, Denis; Cankar, Matic (ACM, 2018)
      Text en actes de congrés
      Accés obert
      Fog computing enables location dependent resource allocation and low latency services, while fostering novel market and business opportunities in the cloud sector. Aligned to this trend, we refer to Fog-tocloud (F2C) ...
    • OCL-Lite: a decidable (yet expressive) fragment of OCL 

      Queralt Calafat, Anna; Artale, Alessandro; Calvanese, Diego; Teniente López, Ernest (2012)
      Text en actes de congrés
      Accés obert
      UML has become a de facto standard in conceptual modeling. Class diagrams in UML allow one to model the data in the domain of interest by specifying a set of graphical constraints. However, in most cases one needs to provide ...
    • On the semantics of operation contracts in conceptual modeling 

      Queralt Calafat, Anna; Teniente López, Ernest (2004-04)
      Report de recerca
      Accés obert
      This paper describes two different ways of understanding operation contracts in the context of conceptual modeling. These two points of view are based in the total and partial correctness approaches from axiomatic programming, ...
    • Predicting access to persistent objects through static code analysis 

      Touma, Rizkallah; Queralt Calafat, Anna; Cortés, Toni; Pérez Hernandez, María S. (Springer, 2017)
      Text en actes de congrés
      Accés obert
      In this paper, we present a fully-automatic, high-accuracy approach to predict access to persistent objects through static code analysis of object-oriented applications. The most widely-used previous technique uses a simple ...
    • PyCOMPSs: Parallel computational workflows in Python 

      Tejedor, Enric; Becerra Fontal, Yolanda; Alomar, Guillem; Queralt Calafat, Anna; Badia Sala, Rosa Maria; Torres Viñals, Jordi; Cortés, Toni; Labarta Mancho, Jesús José (2017-01-01)
      Article
      Accés obert
      The use of the Python programming language for scientific computing has been gaining momentum in the last years. The fact that it is compact and readable and its complete set of scientific libraries are two important ...
    • Reasoning on UML class diagrams with OCL constraints 

      Queralt Calafat, Anna; Teniente López, Ernest (2006-04)
      Report de recerca
      Accés obert
      We propose a new approach to check whether a given UML class diagram with its OCL integrity constraints satisfies a set of desirable properties such as schema satisfiability, class liveliness, redundancy of integrity ...
    • Revisiting active object stores: Bringing data locality to the limit with NVM 

      Barceló Cuerda, Alex; Queralt Calafat, Anna; Cortés, Toni (Elsevier, 2022-04)
      Article
      Accés obert
      Object stores are widely used software stacks that achieve excellent scale-out with a well-defined interface and robust performance. However, their traditional get/put interface is unable to exploit data locality at its ...
    • RosneT: A block tensor algebra library for out-of-core quantum computing simulation 

      Sánchez Ramírez, Sergio; Conejero Bañón, Francisco Javier; Lordan Gomis, Francesc; Queralt Calafat, Anna; Cortés, Toni; Badia Sala, Rosa Maria; García Sáez, Artur (Institute of Electrical and Electronics Engineers (IEEE), 2021)
      Text en actes de congrés
      Accés obert
      With the advent of more powerful Quantum Computers, the need for larger Quantum Simulations has boosted. As the amount of resources grows exponentially with size of the target system Tensor Networks emerge as an optimal ...
    • Specifying artifact-centric business process models in UML 

      Estañol Lamarca, Montserrat; Queralt Calafat, Anna; Sancho Samsó, María Ribera; Teniente López, Ernest (Springer, 2015-04-01)
      Capítol de llibre
      Accés obert
      In recent years, the artifact-centric approach to process mod- eling has attracted a lot of attention. One of the research lines in this area is finding a suitable way to represent the dimensions in this approach. Bearing ...
    • Specifying artifact-centric business process models in UML: technical report 

      Estañol Lamarca, Montserrat; Queralt Calafat, Anna; Sancho Samsó, María Ribera; Teniente López, Ernest (2015-05-19)
      Report de recerca
      Accés obert
      In recent years, the artifact-centric approach to process modeling has attracted a lot of attention. One of the research lines in this area is finding a suitable way to represent the dimensions in this approach. Bearing ...
    • Strict and extended interpretations of operation contracts in conceptual modeling 

      Queralt Calafat, Anna; Teniente López, Ernest (2005-05)
      Report de recerca
      Accés obert
      This paper describes two different ways of understanding operation contracts in conceptual modeling. The main difference between them lies in the way operation postconditions and integrity constraints are guaranteed, which ...
    • Towards DaaS 2.0: enriching data models 

      Marti Fraiz, Jonathan; Gasull, Daniel; Queralt Calafat, Anna; Cortés, Toni (Institute of Electrical and Electronics Engineers (IEEE), 2013)
      Text en actes de congrés
      Accés obert
      Current Data as a Service solutions present a lack of flexibility in terms of allowing users to customize the underlying data models by including new concepts or functionalities. Data providers either publish global APIs ...
    • Using UML to specify artifact-centric business process models 

      Estañol Lamarca, Montserrat; Queralt Calafat, Anna; Sancho Samsó, María Ribera; Teniente López, Ernest (SciTePress, 2014)
      Text en actes de congrés
      Accés restringit per política de l'editorial
      Business process modeling using an artifact-centric approach has raised a significant interest over the last few years. One of the research challenges in this area is looking for different approaches to represent all the ...
    • Validating UML schemas with OCL constraints and operations 

      Queralt Calafat, Anna; Teniente López, Ernest (2008-07)
      Report de recerca
      Accés obert
      A conceptual schema specifies the relevant information about the domain, and how this information changes as a result of the execution of operations. The purpose of validating a conceptual schema is to check whether it ...
    • Validation of UML conceptual schemas with OCL constraints and operations 

      Queralt Calafat, Anna (Universitat Politècnica de Catalunya, 2009-03-02)
      Tesi
      Accés obert
      Per tal de garantir la qualitat final d'un sistema d'informació, és imprescindible que l'esquema conceptual que representa el coneixement sobre el seu domini i les funcions que ha de realitzar sigui semànticament ...
    • Validation of UML conceptual schemas with operations 

      Queralt Calafat, Anna; Teniente López, Ernest (2007-04)
      Report de recerca
      Accés obert
      The purpose of validating a conceptual schema is to guarantee that it properly reflects what the user needs from an application. This task is not fully formalizable, so it is desirable to provide the designer with a set ...
    • Verification and validation of UML conceptual schemas with OCL constraints 

      Queralt Calafat, Anna; Teniente López, Ernest (2012)
      Article
      Accés restringit per política de l'editorial
      To ensure the quality of an information system, it is essential that the conceptual schema that represents the knowledge about its domain is semantically correct. The semantic correctness of a conceptual schema can be seen ...
    • Workflow environments for advanced cyberinfrastructure platforms 

      Badia Sala, Rosa Maria; Ejarque Artigas, Jorge; Lordan Gomis, Francesc; Lezzi, Daniele; Conejero Bañón, Javier; Álvarez Cid-Fuentes, Javier; Becerra Fontal, Yolanda; Queralt Calafat, Anna (Institute of Electrical and Electronics Engineers (IEEE), 2019)
      Text en actes de congrés
      Accés obert
      Progress in science is deeply bound to the effective use of high-performance computing infrastructures and to the efficient extraction of knowledge from vast amounts of data. Such data comes from different sources that ...