Now showing items 1-13 of 13

  • 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 ...
  • 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)
    External 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 (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 ...
  • 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á ...
  • 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 ...
  • 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 ...