DSpace/Dipòsit Manakin

Consulteu per matèria "Informàtica"

Consulteu per matèria "Informàtica"

Ordena per: Ordre: Resultats:

  • Browsing a component library using Non-functional Information
    Franch, Xavier; Pinyol, Josep; Vancells, Joan (Springer, 1999)
    This paper highlights the role of non-functional information when reusing from a component library. We describe a method for selecting appropriate implementations of Ada packages taking non-functional constraints into ...
  • Ciències de la computació: guies per a una docència universitària amb perspectiva de gènere
    Moreda Pozo, Paloma (Xarxa Vives d'Universitats, 2018)
    Obstacles de tipus socioeconòmic, absència de models femenins i presència de representacions socials estereotipades fan difícil incrementar la presència de les dones en l’ensenyament de la tecnologia i l’enginyeria. La ...
  • Monotonic AC-Compatible Semantic Path Orderings
    Borralleras Andreu, Cristina; Rubio, Albert (Springer, 2003)
    Abstract. Polynomial interpretations and RPO-like orderings allow one to prove termination of Associative and Commutative (AC-)rewriting by only checkingthe rules of the given rewrite system. However, these methods have ...

Buscar al RIUVic

Llistar per