- -

Añadidos recientemente

RiuNet: Repositorio Institucional de la Universidad Politécnica de Valencia

Departamento Sistemas Informáticos y Computación (DSIC): Enviados recientemente

  • thumb
    mWater Analysis 
    Botti Navarro, Vicente Juan; Garrido Tejero, Antonio; Giret Boggino, Adriana Susana; Igual, Francesc; Noriega, Pablo; Igual (Universitat Politècnica de València, 2013-09-17)
    The mWater scenario requires the expression and use of regulations of different sorts: from actual laws and regulations issued by governments, to policies and local regulations issued by basin managers, to social norms ...
  • thumb
    mWater prototype #3 review 
    Garrido Tejero, Antonio; Botti Navarro, Vicente Juan; Giret Boggino, Adriana Susana; Alfonso Espinosa, Bexy; Noriega, Pablo (Universitat Politècnica de València, 2013-09-06)
    mWater is a software demonstrator developed in the Agreement Technologies Project. It is a Multi-Agent System (MAS) application that implements a market for water rights, including the model and simulation of the water-right ...
  • thumb
    Robustness, Stability, Recoverability and Reliability in CSP 
    Barber Sanchís, Federico; Salido Gregorio, Miguel Angel (Universitat Politècnica de València, 2013-05-17)
    Many real-world problems in Artificial Intelligence (AI) as well as in other areas of computer science and engineering can be efficiently modeled and solved using constraint programming techniques. In many real-world ...
  • thumb
    A Condensed Goal-Independent Bottom-Up Fixpoint Semantics Modeling the Behavior of tccp 
    Comini, Marco; Titolo, Laura; Villanueva García, Alicia (Universitat Politècnica de València, 2013-04-13)
    In this paper, we present a new compositional bottom-up semantics for the Timed Concurrent Constraint Language (tccp in short). Such semantics is defined for the full language. In particular, is able to deal with the ...
  • thumb
    DFA minimization: from Brzozowski to Hopcroft 
    García Gómez, Pedro; López Rodríguez, Damián; Vázquez-De-Parga Andrade, Manuel (Universitat Politècnica de València, 2013-03-14)
    Minimization of automata is a classic problem in Computer Sci- ence which is still studied nowadays. In this paper, we first propose a polynomial minimization method directly derived from Brzozowski¿s algorithm, and second, ...