Enviaments recents

  • Especificación de restricciones de integridad en el sistema ROSES 

    Pacheco Silva, María Amelia; Sancho Samsó, María Ribera (1997-04)
    Report de recerca
    Accés obert
    This work studies the integrity constraints specification in the conceptual modeling language of the ROSES system. ROSES is basically a declarative and rule-based system but it incorporates the object-oriented concepts ...
  • On the realization of reactive systems 

    Carmona Vargas, Josep; Cortadella Fortuny, Jordi (2001-05)
    Report de recerca
    Accés obert
    A new notion of realization of reactive systems is defined. Realization is defined as a relation between the states of two transition systems, the specification and the implementation, in which events are classified as ...
  • (H,C,K)-colorings: fast, easy, and hard cases 

    Díaz Cort, Josep; Serna Iglesias, María José; Thilikos Touloupas, Dimitrios (2001-05)
    Report de recerca
    Accés obert
    We define a variant of the H-coloring problem by fixing the number of preimages of a subset C of the vertices of H, thus allowing parameterization. We provide sufficient conditions to guarantee that the problem can be ...
  • Parallel skeletons for tabu search method based on search strategies and neighborhood partition 

    Blesa Aguilera, Maria Josep; Hernàndez, Lluís; Xhafa Xhafa, Fatos (2001-05)
    Report de recerca
    Accés obert
    In this paper we present two parallel skeletons for Tabu Search method -- a well known meta-heuristic for approximately solving combinatorial optimization problems. Our parallel skeletons are designed and implemented using ...
  • Counting list h-colorings and variants 

    Díaz Cort, Josep; Serna Iglesias, María José; Thilikos Touloupas, Dimitrios (2001-05)
    Report de recerca
    Accés obert
    We study the counting versions of several variants of the H-coloring problem. The complexity of the H-coloring problem is described by a dichotomy theorem that classifies the problem according to the the topology of H ...
  • Consistency preserving updates in deductive databases 

    Mayol Sarroca, Enric; Teniente López, Ernest (2001-06)
    Report de recerca
    Accés obert
    Several problems may arise when a deductive database is updated. The problems that are addressed in this paper are those of integrity constraint maintenance and view updating. In this sense, we define a method that tackles ...
  • Study on behavioral impedance for route planning techniques from the pedestrian's perspective: Part I - Theoretical contextualization and taxonomy 

    Nogueira, Durval Lordelo; Pereira, Hernane Borges de Barros; Pérez Vidal, Lluís (2001-06)
    Report de recerca
    Accés obert
    The interest of researchers for analyzing of best routes and shortest paths allows a continuous technological advance in topological analysis techniques used in the geographic information systems for transportation. One ...
  • MALLBA: towards a combinatorial optimization library for geographically distributed systems 

    Alba, E.; Almeida, F.; Blesa Aguilera, Maria Josep; Cotta, C.; Díaz, M.; Dorta, I.; Gabarró Vallès, Joaquim; González, J.; León, C.; Moreno de Antonio, Luz Marina; Petit Silvestre, Jordi; Roda, J.; Rojas, A.; Xhafa Xhafa, Fatos (2001-06)
    Report de recerca
    Accés obert
    Problems arising in different areas such as numerical methods, simulation or optimization can be efficiently solved by parallel super-computing. However, it is not always possible to buy and maintain parallel super-computers. ...
  • Logic decomposition of incompletely specified functions 

    Cortadella Fortuny, Jordi (2001-06)
    Report de recerca
    Accés obert
    The logic decomposition of incompletely specified functions (ISFs) is studied. A theoretical support based on ternary algebras is provided. This support aims at the logic decomposition of ISFs. A partial order is defined ...
  • Analysis of the ERP project champion role and criticality 

    Esteves, José; Pastor Collado, Juan Antonio (2001-06)
    Report de recerca
    Accés obert
    Existance of an adequate project champion role has been identified as a critical success factor in ERP implementation projects. However, the figure of project champion is not yet quite well understood. Some authors relate ...

Mostra'n més