Browsing Departament de Llenguatges i Sistemes Informàtics (fins juliol 2014) by Title

Now showing items 81-83 of 83

Variants of unification considering compression and context variables

Gascón Caro, Adrià (Date of defense: 2014-05-30)

Term unification is a basic operation in several areas of computer science, specially in those related to logic. Generally speaking, it consists on solving equations over expressions called terms. Depending on the kind of ...

La visió de la informàtica en la literatura de ciència ficció

Barceló Garcia, Miquel (Date of defense: 1990-09-01)

(Cat) Aquesta memòria descriu com la literatura de ciència ficció reflecteix en les seves narracions els conceptes i resultats propis de la ciència i la tecnologia informàtica. Aquesta visió cal entendre-la en un sentit ...

YAM^2: a multidimensional conceptual model

Abelló Gamazo, Alberto (Date of defense: 2002-04-26)

ABRSTRACT<br/>This thesis proposes YAM^2, a multidimensional conceptual model for OLAP(On-Line Analytical Processing). It is defined as an extension of UML (Unified Modeling Language). The aim is to benefit from Object-Oriented ...