Browsing by Author "Pasarella Sánchez, Ana Edelmira"
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 AccessStream 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 AccessRelationships 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 policyGraph 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 AccessIn 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 AccessA 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 AccessA 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 AccessIn 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 AccessLos 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 AccessTeaching 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 AccessThe 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 AccessThe 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 AccessNowadays 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 AccessIn 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 AccessIn 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 AccessIn 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 AccessNowadays, 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 AccessStreaming 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 ...