Recent Submissions

  • Algebraic definition of iStar2.0 models 

    Franch Gutiérrez, Javier; López Cuesta, Lidia; Marco Gómez, Jordi (CEUR-WS.org, 2019)
    Conference report
    Open Access
    iStar2.0 was delivered in 2016 with the intention of becoming a standard de facto for the i* community. It includes a lightweight definition of the language adorned with a metamodel (in the form of a UML class diagram) ...
  • Enhanced equal frequency partition method for the identification of a water demand system 

    Escobet Canal, Antoni; Huber Garrido, Rafael M.; Nebot Castells, M. Àngela; Cellier, François E. (Sarjoughian,H.S.; Cellier, F.E.; Marefat, M.M.; Rozenblit, J.W. (eds.) Institute of Electrical and Electronics Engineers, 2000)
    Conference report
    Open Access
    This paper deals with unsupervised partitioning. A first goal of this paper is to present an enhancement to the Equal Frequency Partition (EFP) method that allows to reduce, to some extent, the main drawback of this classical ...
  • On the power of symmetric linear programs 

    Atserias, Albert; Dawar, Anuj; Ochremiak, Joanna (Institute of Electrical and Electronics Engineers (IEEE), 2019)
    Conference report
    Open Access
    We consider families of symmetric linear programs (LPs) that decide a property of graphs (or other relational structures) in the sense that, for each size of graph, there is an LP defining a polyhedral lift that separates ...
  • An automatic tool to facilitate authoring animation blending in game engines 

    Delicado Alcántara, Luis; Pelechano Gómez, Núria (Association for Computing Machinery (ACM), 2019)
    Conference report
    Open Access
    Achieving realistic virtual humans is crucial in virtual reality applications and video games. Nowadays there are software and game development tools, that are of great help to generate and simulate characters. They offer ...
  • Integrated monitoring approach for seamless service provisioning in federated clouds 

    Kertesz, Attila; Kecskemeti, Gabor; Marosi, Attila; Oriol Hilari, Marc; Franch Gutiérrez, Javier; Marco Gómez, Jordi (Institute of Electrical and Electronics Engineers (IEEE), 2012)
    Conference report
    Open Access
    Cloud Computing offers simple and cost effective outsourcing in dynamic service environments, and allows the construction of service-based applications using virtualization. By aggregating the capabilities of various IaaS ...
  • Automatic detection of at-most-one and exactly-one relations for improved SAT encodings of pseudo-boolean constraints 

    Ansótegui Gil, Carlos; Bofill Arasa, Miquel; Coll Caballero, Jordi; Dang, Nguyen; Esteban Ángeles, Juan Luis; Miguel, Ian; Nightingale, Peter; Salamon, András Z.; Suy Franch, Josep; Villaret Auselle, Mateu (Springer, 2019)
    Conference report
    Open Access
    Pseudo-Boolean (PB) constraints often have a critical role in constraint satisfaction and optimisation problems. Encoding PB constraints to SAT has proven to be an efficient approach in many applications, however care must ...
  • A quality model for the Ada standard container library 

    Franch Gutiérrez, Javier; Marco Gómez, Jordi (Springer, 2003)
    Conference report
    Open Access
    The existence of a standard container library has been largely recognized as a key feature for improving the quality and effectiveness of Ada programming. In this paper, we aim at providing a quality model for making ...
  • Reengineering the booch component library 

    Marco Gómez, Jordi; Franch Gutiérrez, Javier (Springer, 2000)
    Conference report
    Open Access
    Component-based software development heavily relies on the ability of reusing components from a library with as little effort as possible. Among others, valuable features for reusing from a component library are: adaptability ...
  • Size-degree trade-offs for Sums-of-Squares and Positivstellensatz proofs 

    Atserias, Albert; Hakoniemi, Tuomas Antero (Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019)
    Conference report
    Open Access
    We show that if a system of degree-k polynomial constraints on n Boolean variables has a Sums-of-Squares (SOS) proof of unsatisfiability with at most s many monomials, then it also has one whose degree is of the order of ...
  • Definition and uses of the i* metamodel 

    Cares Gallardo, Carlos; Franch Gutiérrez, Javier; López Cuesta, Lidia; Marco Gómez, Jordi (CEUR-WS.org, 2010)
    Conference report
    Open Access
    The clear definition of a metamodel can be considered helpful for any conceptual modeling approach, and the i* framework is not an exception. Agreeing on a metamodel for i* can be considered even more convenient than ever ...
  • Circular (yet sound) proofs 

    Atserias, Albert; Lauria, Massimo (Springer, 2019)
    Conference report
    Open Access
    We introduce a new way of composing proofs in rule-based proof systems that generalizes tree-like and dag-like proofs. In the new definition, proofs are directed graphs of derived formulas, in which cycles are allowed as ...
  • RTL-aware dataflow-driven macro placement 

    Vidal Obiols, Alexandre; Cortadella, Jordi; Petit Silvestre, Jordi; Galcerán Oms, Marc; Martorell Cid, Ferran (Institute of Electrical and Electronics Engineers (IEEE), 2019)
    Conference report
    Open Access
    When RTL designers define the hierarchy of a system, they exploit their knowledge about the conceptual abstractions devised during the design and the functional interactions between the logical components. This valuable ...

View more