Recent Submissions

  • 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 ...
  • A cost-benefit analysis of continuous assessment 

    Duch Brown, Amalia; Gabarró Vallès, Joaquim; Petit Silvestre, Jordi; Blesa Aguilera, Maria Josep; Serna Iglesias, María José (SciTePress, 2015)
    Conference report
    Restricted access - publisher's policy
    The first course on programming is fundamental in the Facultat d’Informàtica de Barcelona. After a major redesign of the Programming-1 course in 2006 to give it a more practical flavor, an increasing number of measures ...
  • RTL synthesis: From logic synthesis to automatic pipelining 

    Cortadella Fortuny, Jordi; Galceran Oms, Marc; Kishinevsky, Mike; Sapatnekar, Sachin S. (2015-11-01)
    Article
    Open Access
    Design automation has been one of the main propellers of the semiconductor industry with logic synthesis being one of the core technologies in this field. This article reviews the evolution of logic synthesis until the ...
  • The robustness of periodic orchestrations in uncertain evolving environments 

    Castro Rabal, Jorge; Gabarró Vallès, Joaquim; Serna Iglesias, María José; Stewart, Alan (Springer, 2015)
    Conference report
    Restricted access - publisher's policy
    A framework for assessing the robustness of long-duration repetitive orchestrations in uncertain evolving environments is proposed. The model assumes that service-based evaluation environments are stable over short ...
  • A MOOC on approaches to machine translation 

    Ruiz Costa-Jussà, Marta; Formiga, Lluís; Torrillas Tostado, Oriol; Petit Silvestre, Jordi; Rodríguez Fonollosa, José Adrián (2015-12-10)
    Article
    Open Access
    This paper describes the design, development, and analysis of a MOOC entitled “Approaches to Machine Translation: Rule-based, statistical and hybrid”, and provides lessons learned and conclusions to be taken into account ...
  • Modelling service-oriented computing with temporal symbolic graph transformation systems 

    Mylonakis Pascual, Nicolás; Orejas Valdés, Fernando; Fiadeiro, José (2015-12-21)
    External research report
    Open Access
    In this paper, we present a novel semantics for an essential aspect of service-oriented computing: the mechanism through which systems evolve through a symbiosis of state transformations and run-time service discovery and ...
  • Entailment among probabilistic implications 

    Atserias, Albert; Balcázar Navarro, José Luis (Institute of Electrical and Electronics Engineers (IEEE), 2015)
    Conference report
    Open Access
    We study a natural variant of the implicational fragment of propositional logic. Its formulas are pairs of conjunctions of positive literals, related together by an implicational-like connective, the semantics of this sort ...
  • SafeRazor: Metastability-robust adaptive clocking in resilient circuits 

    Cannizzaro, Marco; Beer, Salomon; Cortadella Fortuny, Jordi; Ginosar, Ran; Lavagno, Luciano (2015-09-01)
    Article
    Open Access
    Razor-based circuits can run faster or at a lower voltage than those designed to work at the worst case corner. However, all known implementations are prone to failures due to the non-deterministic timing behavior introduced ...
  • High evolutionary turnover of satellite families in Caenorhabditis 

    Subirana Torrent, Juan A.; Albà, M. Mar; Messeguer Peypoch, Xavier (2015-10-05)
    Article
    Open Access
    Background: The high density of tandem repeat sequences (satellites) in nematode genomes and the availability of genome sequences from several species in the group offer a unique opportunity to better understand the ...
  • FrogCOL and FrogMIS: new decentralized algorithms for finding large independent sets in graphs 

    Blum, Christian; Calvo, Borja; Blesa Aguilera, Maria Josep (2015-09-01)
    Article
    Restricted access - publisher's policy
    Finding large (and generally maximal) independent sets of vertices in a given graph is a fundamental problem in distributed computing. Applications include, for example, facility location and backbone formation in wireless ...

View more