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 ...
  • 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 ...
  • 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 ...
  • A retargetable and accurate methodology for logic-IP-internal electromigration assessment 

    Jain, Palkesh; Sapatnekar, Sachin S.; Cortadella Fortuny, Jordi (2015)
    Conference report
    Open Access
    A new methodology for SoC-level logic-IP-internal EM verification is presented, which provides an on-the-fly retargeting capability for reliability constraints. This flexibility is available at the design verification ...
  • On the stability of generalized second price auctions with budgets 

    Díaz Cort, Josep; Giotis, Ioannis; Kirousis, Lefteris; Markakis, Evangelos; Serna Iglesias, María José (Springer, 2014)
    Conference report
    Open Access
    The Generalized Second Price (GSP) auction used typically to model sponsored search auctions does not include the notion of budget constraints, which is present in practice. Motivated by this, we introduce the different ...
  • Better feedback for educational online judges 

    Mani, Anaga; Venkataramani, Divya; Petit Silvestre, Jordi; Roura Ferret, Salvador (SciTePress, 2014)
    Conference report
    Open Access
    The verdicts of most online programming judges are, essentially, binary: the submitted codes are either “good enough” or not. Whilst this policy is appropriate for competitive or recruitment platforms, it can hinder the ...
  • Tableau-based reasoning for graph properties 

    Lambers, Leen; Orejas Valdés, Fernando (Springer, 2014)
    Conference report
    Restricted access - publisher's policy
    Graphs are ubiquitous in Computer Science. For this reason, in many areas, it is very important to have the means to express and reason about graph properties. A simple way is based on defining an appropriate encoding of ...
  • WMN-SA system for node placement in WMNs: evaluation for different realistic distributions of mesh clients 

    Sakamoto, Shinji; Oda, Tetsuya; Bravo, Albert; Barolli, Leonard; Ikeda, Makoto; Xhafa Xhafa, Fatos (2014)
    Conference report
    Restricted access - publisher's policy
    One of the key advantages of Wireless Mesh Networks (WMNs) is their importance for providing cost-efficient broadband connectivity. There are issues for achieving the network connectivity and user coverage, which are related ...
  • PMLAB: An scripting environment for process mining 

    Carmona Vargas, Josep; Solé, Marc (CEUR-WS.org, 2014)
    Conference report
    Open Access
    In a decade of process mining research, several algorithms have been proposed to solve particular process mining tasks. At the same pace, tools have appeared both in the academic and the commercial domains. These tools ...

View more