Departament de Ciències de la Computació

Envíos recientes

  • Algebraic definition of iStar2.0 models 

    Franch Gutiérrez, Javier; López Cuesta, Lidia; Marco Gómez, Jordi (CEUR-WS.org, 2019)
    Texto en actas de congreso
    Acceso abierto
    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)
    Texto en actas de congreso
    Acceso abierto
    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)
    Texto en actas de congreso
    Acceso abierto
    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)
    Texto en actas de congreso
    Acceso abierto
    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 ...

  • Control de calidad de las especificaciones de software escritas en lenguaje natural 

    Castell Ariño, Núria; Slavkova Hernández, Ólga; Tuells, Antoni; Toussaint, Yannick (Asociación de Técnicos de Informática, 1994-06)
    Artículo
    Acceso abierto
    La complejidad creciente de los sistemas informáti­cos. ligada a una evolución muy rápida del hardware, ha originado en la Ingeniería del Software dos problemas importantes: la calidad del software desarrollado y la ...

  • Uso de técnicas de aprendizaje para la validación de especificaciones 

    Álvarez Canal, Jordi; Castell Ariño, Núria; Torrents Mazzei, Ma. Clara (Asociación de Técnicos de Informática, 1995-11)
    Artículo
    Acceso abierto
    En este artículo abordamos el proceso de validación de especificaciones preliminares escritas en el lenguaje natural desde una nueva perspectiva: el uso de técnicas de aprendizaje automático. Describimos un sistema que a ...

  • Analysis of crater formation in buried NG pipelines: A survey based on past accidents and evaluation of domino effect 

    Ramírez Camacho, Jaime Giovanni; Pastor Ferrer, Elsa; Amaya Gómez, Rafael; Mata Miquel, Cristian; Muñoz Giraldo, Felipe; Casal Fàbrega, Joaquim (2019-03-01)
    Artículo
    Acceso restringido por política de la editorial
    The formation of a crater by the abrupt and catastrophic rupture of a high-pressure pipeline can be highly relevant, especially when the crater uncovers other pipelines, which could undergo a domino effect with a significant ...

  • Specialization in the iStar2.0 language 

    López Cuesta, Lidia; Franch Gutiérrez, Javier; Marco Gómez, Jordi (Institute of Electrical and Electronics Engineers (IEEE), 2019-09-09)
    Artículo
    Acceso abierto
    iStar2.0 has been proposed as a standard language for building goal- and agent-oriented models. It is an evolution of the former i* language, with the purpose of homogenising existing syntactical and semantic variations ...

  • A mechanism design framework for hiring experts in e-healthcare 

    Kumar Singh, Vikash; Mukhopadhyay, Sajal; Xhafa Xhafa, Fatos (2018-05-26)
    Artículo
    Acceso restringido por política de la editorial
    We investigate the problem of hiring experts (motivated socially and monetarily) from outside of the hospital(s) in e-healthcare through the lens of mechanism design with and without money. This paper presents the mechanisms ...

  • Controlled secure social cloud data sharing based on a novel identity based proxy re-encryption plus scheme 

    Wang, Xu An; Xhafa Xhafa, Fatos; Ma, Jianfeng; Zheng, Zhiheng (Elsevier, 2019-08)
    Artículo
    Acceso restringido por política de la editorial
    Currently we are witnessing a rapid integration of social networks and cloud computing, especially on storing social media contents on cloud storage due to its cheap management and easy accessing at any time and from any ...

  • 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)
    Texto en actas de congreso
    Acceso abierto
    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)
    Texto en actas de congreso
    Acceso abierto
    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 ...

Muestra más