L'objectiu del grup és la producció de contribucions rellevants en les àrees d'expertesa dels components del grup i la seva disseminació en revistes i conferències internacionals de prestigi reconegut. És voluntat del grup que les contribucions tinguin un impacte significatiu a llarg termini. La transferència de tecnologia és considerada com una conseqüència de l'excel·lència en la recerca i s'ha de portar a terme com un mitjà per incrementar l'impacte dels resultats, obtenir recursos per al grup i explorar nous temes per a la recerca en el futur.

http://futur.upc.edu/ALBCOM

The primary goal is to produce relevant contributions in the areas of expertise of the group and to disseminate them in renowned international journals and conferences. It is the group's aim that these contributions have a tangible and long-term impact on the scientific community. Technology transfer is considered a byproduct of research excellence and should be sought as a means of increasing the impact of the results, obtaining resources for the group and envisioning new directions for future research.

http://futur.upc.edu/ALBCOM

The primary goal is to produce relevant contributions in the areas of expertise of the group and to disseminate them in renowned international journals and conferences. It is the group's aim that these contributions have a tangible and long-term impact on the scientific community. Technology transfer is considered a byproduct of research excellence and should be sought as a means of increasing the impact of the results, obtaining resources for the group and envisioning new directions for future research.

http://futur.upc.edu/ALBCOM

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 ...
  • Amalgamation of domain specific languages with behaviour 

    Duran, Francisco; Moreno Delgado, Antonio; Orejas Valdés, Fernando; Zschaler, Steffen (2017-01-01)
    Article
    Accés restringit per política de l'editorial
    Domain-specific languages (DSLs) become more useful the more specific they are to a particular domain. The resulting need for developing a substantial number of DSLs can only be satisfied if DSL development can be made as ...
  • 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 ...
  • Comparing MapReduce and pipeline implementations for counting triangles 

    Pasarella Sánchez, Ana Edelmira; Vidal, Maria-Esther; Zoltan Torres, Ana Cristina (2017-01-11)
    Article
    Accés obert
    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 ...
  • 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., ...

Mostra'n més