Now showing items 42-44 of 44

  • Towards a modular Nano-Satellite Software Platform: Prolog Constraint-based Scheduling and System Architecture 

    Araguz López, Carles (Universitat Politècnica de Catalunya, 2014-09-10)
    Master thesis (pre-Bologna period)
    Open Access
    [ANGLÈS] During the last decade, many universities, research centers and private companies have started developing their miniature satellites. These small spacecraft, advantageous in terms of development-costs and -times, ...
  • Towards Specifying with Inclusions 

    Agustí Cullell, Jaume; Puigsegur i Figueras, Jordi; Schorlemmer, Wernher Marco (Universitat Politècnica de Catalunya. Secció de Matemàtiques i Informàtica, 1997)
    Article
    Open Access
    In this article we present a functional specification language based on inclusions between set expressions. Instead of computing with data individuals we deal with their classification into sets. The specification ...
  • Un método de representación del conocimiento 

    García Camarero, Ernesto (Universitat Politècnica de Barcelona. Centre de Càlcul, 1980-03)
    Article
    Open Access
    Históricamente aparecen las bases de datos cuando se ve la necesidad de que un mismo conjunto de datos utilizado por varios programas distintos, y por tanto ese conjunto de datos debe organizarse con independencia de los ...