Now showing items 1-17 of 17

    • A computational framework based on the dynamic pipeline approach 

      Pasarella Sánchez, Ana Edelmira; Vidal Serodio, Maria Esther; Zoltán, Cristina; Royo Sales, Juan Pablo (Elsevier, 2024-04-23)
      Article
      Open Access
      Stream processing has inspired new computational approaches to facilitate effectiveness and efficiency. One such approach is the dynamic pipeline, which serves as a powerful computational model for stream processing. It ...
    • A datalog framework for modeling relationship-based access control policies 

      Pasarella Sánchez, Ana Edelmira; Lobo, Jorge (Association for Computing Machinery (ACM), 2017)
      Conference report
      Open Access
      Relationships like friendship to limit access to resources have been part of social network applications since their beginnings. Describing access control policies in terms of relationships is not particular to social ...
    • A logical approach to graph databases 

      Pino Blanco, Elvira; Orejas Valdés, Fernando; Mylonakis Pascual, Nicolás; Pasarella Sánchez, Ana Edelmira (Elsevier, 2024-10-01)
      Article
      Restricted access - publisher's policy
      Graph databases are now playing an important role because they allow us to overcome some limitations of relational databases. In particular, in graph databases we are interested not only on the data contained but also on ...
    • An operational framework to reason about policy behavior in trust management systems 

      Pasarella Sánchez, Ana Edelmira; Lobo, Jorge (2014)
      Conference report
      Open Access
      In this paper we show that the logical framework proposed by Becker et al. to reason about security policy behavior in a trust management context can be captured by an operational framework that is based on the language ...
    • Comparing MapReduce and pipeline implementations for counting triangles 

      Pasarella Sánchez, Ana Edelmira; Vidal Serodio, Maria Esther; Zoltan, Cristina (2016)
      Conference report
      Open Access
      A generalized method to define the Divide & Conquer paradigm in order to have processors acting on its own data and scheduled in a parallel fashion. MapReduce is a programming model that follows this paradigm, and allows ...
    • Comparing MapReduce and pipeline implementations for counting triangles 

      Pasarella Sánchez, Ana Edelmira; Vidal, Maria-Esther; Zoltan Torres, Ana Cristina (2017-01-11)
      Article
      Open Access
      A common method to define a parallel solution for a computational problem consists in finding a way to use the Divide and Conquer paradigm in order to have processors acting on its own data and scheduled in a parallel ...
    • Constructive negation without subsidiary trees 

      Pasarella Sánchez, Ana Edelmira; Pino Blanco, Elvira; Orejas Valdés, Fernando (2000-07)
      Research report
      Open Access
      In this paper we propose a new operational semantics, called BCN, which is sound and complete with respect to Clark-Kunen's completion for the unrestricted class of Normal Logic Programs. BCN is based on constructive ...
    • De menos a distinto: estudio de la implantación de R en las asignaturas del grado de estadística 

      Baixeries i Juvillà, Jaume; Fairén González, Marta; Gabarró Vallès, Joaquim; Pasarella Sánchez, Ana Edelmira (Universidad de Almería, 2016-07-05)
      Conference lecture
      Open Access
      Los cursos de informática en las titulaciones que no son informáticas siempre pecan de falta de motivación y buenos resultados de los estudiantes. El argumento del estudiante acostumbra a ser: ¿A mí para que me servirá ...
    • De Menos a Distinto: Estudio de la Implantación de R en las asignaturas del grado de estadística 

      Baixeries i Juvillà, Jaume; Fairén González, Marta; Gabarró Vallès, Joaquim; Pasarella Sánchez, Ana Edelmira (2016)
      Conference report
      Open Access
      Teaching computer science in degrees that are not computer science related presents an important challenge: to motivate the students and to achieve good average grades. The student’s complaint is always based ...
    • Dynamic Pipeline: an adaptive solution for big data 

      Aráoz, Julián; Pasarella Sánchez, Ana Edelmira; Vidal, Maria-Esther; Zoltan, Cristina (2017)
      Conference lecture
      Open Access
      The Dynamic Pipelineis a concurrent programming pattern amenable to be parallelized. Furthermore, the number of processing units used in the parallelization is adjusted to the size of the problem, and each processing unit ...
    • Dynamic pipelining of multidimensional range queries 

      Duch Brown, Amalia; Lugosi, Daniel; Pasarella Sánchez, Ana Edelmira; Zoltan Torres, Ana Cristina (2019-06-07)
      Article
      Open Access
      The problem of evaluating orthogonal range queries efficiently has been studied widely in the data structures community. It has been common wisdom for several years that for queries containing more than 20% of the ...
    • How can graph databases and reasoning be combined and integrated? 

      Pasarella Sánchez, Ana Edelmira (Sociedad de Ingeniería de Software y Tecnologías de Desarrollo de Software (SISTEDES), 2022)
      Conference report
      Open Access
      Nowadays the graph data model has been accepted as one of the most suitable data models to formalize relationships among entities of many domains. Deductive databases based on the Datalog language have been used to deduce ...
    • MapReduce vs. pipelining counting triangles 

      Pasarella Sánchez, Ana Edelmira; Vidal Serodio, Maria Esther; Zoltan Torres, Ana Cristina (CEUR-WS.org, 2016)
      Conference report
      Open Access
      In this paper we follow an alternative approach named pipeline, to implement a parallel implementation of the well-known problem of counting triangles in a graph. This problem is especially interesting either when the input ...
    • Reasoning about policy behavior in logic-based trust management systems: Some complexity results and an operational framework 

      Pasarella Sánchez, Ana Edelmira; Lobo, Jorge (Institute of Electrical and Electronics Engineers (IEEE), 2015)
      Conference report
      Open Access
      In this paper we show that the logical framework proposed by Becker et al. [1] to reason about security policy behavior in a trust management context can be captured by an operational framework that is based on the language ...
    • Semantics of structured normal logic programs 

      Pasarella Sánchez, Ana Edelmira; Orejas Valdés, Fernando; Pino Blanco, Elvira; Navarro, Marisa (2012)
      Conference report
      Open Access
      In this paper we provide semantics for normal logic programs enriched with structuring mechanisms and scoping rules. Specifically, we consider constructive negation and expressions of the form Q G Q in goals, where Q is ...
    • The dynamic pipeline paradigm 

      Zoltán, Cristina; Pasarella Sánchez, Ana Edelmira; Aráoz Durand, Julián Arturo; Vidal, Maria-Esther (Sociedad de Ingeniería de Software y Tecnologías de Desarrollo de Software (SISTEDES), 2019)
      Conference report
      Open Access
      Nowadays, in the era of Big Data and Internet of Things, large volumes of data in motion are produced in heterogeneous formats, frequencies, densities, and quantities. In general, data is continuously produced by diverse ...
    • Towards a dynamic pipeline framework implemented in (parallel) Haskell 

      Royo Sales, Juan Pablo; Pasarella Sánchez, Ana Edelmira; Zoltán, Cristina; Vidal Serodio, Maria Esther (Sociedad de Ingeniería de Software y Tecnologías de Desarrollo de Software (SISTEDES), 2021)
      Conference report
      Open Access
      Streaming processing has given rise to new computation paradigms to provide effective and efficient data stream processing. The most important features of these new paradigms are the exploitation of parallelism, the capacity ...