Recent Submissions

  • 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 ...
  • A methodological approach to provide effective web-based training by using collaborative learning and social networks 

    Caballe, Santiago; Britch, David; Barolli, Leonard; Xhafa Xhafa, Fatos (2014)
    Conference report
    Restricted access - publisher's policy
    This paper presents an approach to rebuild the benefits lost from moving from traditional Instructor-led Training to Web-based Training by using Computer-Supported Collaborative Learning and Social Networks. The innovative ...
  • Simulation, modeling, and performance evaluation tools for cloud applications 

    Goga, Klodiana; Terzo, Olivier; Ruiu, Pietro; Xhafa Xhafa, Fatos (2014)
    Conference report
    Restricted access - publisher's policy
    As cloud computing adoption and deployment increase, the performance evaluation of the cloud environments is becoming very important. Cloud applications have different composition, configuration, and deployment requirements. ...
  • Event-based real-time decomposed conformance analysis 

    vanden Broucke, Seppe; Muñoz Gama, Jorge; Carmona Vargas, Josep; Baesens, Bart; Vanthienen, Jan (Springer, 2014)
    Conference report
    Restricted access - publisher's policy
    Process mining deals with the extraction of knowledge from event logs. One important task within this research field is denoted as conformance checking, which aims to diagnose deviations and discrepancies between modeled ...
  • Decomposing alignment-based conformance checking of data-aware process models 

    Leoni, Massimiliano de; Muñoz Gama, Jorge; Carmona Vargas, Josep; van der Aalst, Wil M. P. (Springer, 2014)
    Conference report
    Restricted access - publisher's policy
    Process mining techniques relate observed behavior to modeled behavior, e.g., the automatic discovery of a Petri net based on an event log. Process mining is not limited to process discovery and also includes conformance ...
  • A recommender system for process discovery 

    Ribeiro, Joel; Carmona Vargas, Josep; Misir, Mustafa; Sebag, Michele (Springer, 2014)
    Conference report
    Restricted access - publisher's policy
    Over the last decade, several algorithms for process discovery and process conformance have been proposed. Still, it is well-accepted that there is no dominant algorithm in any of these two disciplines, and then it is often ...
  • Narrow proofs may be maximally long 

    Atserias Peri, Albert; Lauria, Massimo; Nordström, Jakob (Institute of Electrical and Electronics Engineers (IEEE), 2014)
    Conference report
    Open Access
    We prove that there are 3-CNF formulas over n variables that can be refuted in resolution in width w but require resolution proofs of size n¿(w). This shows that the simple counting argument that any formula refutable in ...

View more