Enviaments recents

  • Mining structured Petri nets for the visualization of process behavior 

    San Pedro Martín, Javier de; Cortadella Fortuny, Jordi (Association for Computing Machinery (ACM), 2016)
    Text en actes de congrés
    Accés obert
    Visualization is essential for understanding the models obtained by process mining. Clear and efficient visual representations make the embedded information more accessible and analyzable. This work presents a novel approach ...
  • Comparing MapReduce and pipeline implementations for counting triangles 

    Pasarella Sánchez, Ana Edelmira; Vidal Serodio, Maria Esther; Zoltan, Cristina (2016)
    Text en actes de congrés
    Accés obert
    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 ...
  • A semantics of business configurations using symbolic graphs 

    Mylonakis Pascual, Nicolás; Orejas Valdés, Fernando; Fiadeiro, José Luiz (Institute of Electrical and Electronics Engineers (IEEE), 2015)
    Text en actes de congrés
    Accés obert
    In this paper we give graph-semantics to a fundamental part of the semantics of the service modeling language SRML: business configurations. To achieve this goal we use symbolic graph transformation systems. We formalize ...
  • Conditions for compatibility of components: The case of masters and slaves 

    Beek, Maurice ter; Carmona Vargas, Josep; Kleijn, Jetty (Springer, 2016)
    Text en actes de congrés
    Accés restringit per política de l'editorial
    We consider systems composed of reactive components that collaborate through synchronised execution of common actions. These multi-component systems are formally represented as team automata, a model that allows a wide ...
  • Non-homogenizable classes of finite structures 

    Atserias, Albert; Torunczyk, Szymon Abram (Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2016)
    Text en actes de congrés
    Accés obert
    Homogenization is a powerful way of taming a class of finite structures with several interesting applications in different areas, from Ramsey theory in combinatorics to constraint satisfaction problems (CSPs) in computer ...
  • A logic of graph conditions extended with paths 

    Navarro Gomez, Marisa; Orejas Valdés, Fernando; Pino Blanco, Elvira; Lambers, Leen (2016)
    Text en actes de congrés
    Accés obert
    In this paper we tackle the problem of extending the logic of nested graph conditions with paths. This means, for instance, that we may state properties about the existence of paths between some given nodes. As a main ...
  • A logic of graph conditions extended with paths 

    Navarro Gomez, Marisa; Orejas Valdés, Fernando; Pino Blanco, Elvira; Lambers, Leen (2016)
    Text en actes de congrés
    Accés obert
    In this paper we tackle the problem of extending the logic of nested graph conditions with paths. This means, for instance, that we may state properties about the existence of paths between some given nodes. As a main ...
  • Specification mining for asynchronous controllers 

    San Pedro Martín, Javier de; Bourgeat, Thomas; Cortadella Fortuny, Jordi (Institute of Electrical and Electronics Engineers (IEEE), 2016)
    Text en actes de congrés
    Accés obert
    The paper presents a first effort at exploring a novel area in the domain of asynchronous controllers: specification mining. Rather than synthesizing circuits from specifications, we aim at doing reverse engineering, i.e., ...
  • A recursive paradigm for aligning observed behavior of large structured process models 

    Taymouri, Farbod; Carmona Vargas, Josep (Springer, 2016)
    Text en actes de congrés
    Accés restringit per política de l'editorial
    The alignment of observed and modeled behavior is a crucial problem in process mining, since it opens the door for conformance checking and enhancement of process models. The state of the art techniques for the computation ...
  • A unified approach for measuring precision and generalization based on anti-alignments 

    Dongen, Boudewijn van; Carmona Vargas, Josep; Chatain, Thomas (Springer, 2016)
    Text en actes de congrés
    Accés restringit per política de l'editorial
    The holy grail in process mining is an algorithm that, given an event log, produces fitting, precise, properly generalizing and simple process models. While there is consensus on the existence of solid metrics for fitness ...

Mostra'n més