Check papers with missing keywords

[abelgomez]

The following papers have no keywords in their metadata. It should be checked if, indeed, the attached PDF files have no keywords, or if it was a mistake when registering them in the digital library.

After all the papers have been checked, the warning message can be changed to an info message in the migrator code.

• [ ] Article 'https://biblioteca.sistedes.es/articulo/prodigen-minando-modelos-completos-precisos-y-simples-con-un-algoritmo-genetico/' has no keywords
• [ ] Article 'https://biblioteca.sistedes.es/articulo/definicion-de-mecanismos-personalizados-de-monitorizacion-de-servicios-cloud/' has no keywords
• [ ] Article 'https://biblioteca.sistedes.es/articulo/algoritmo-hibrido-de-composicion-automatica-de-servicios-con-qos/' has no keywords
• [ ] Article 'https://biblioteca.sistedes.es/articulo/towards-defining-data-based-thresholds-for-process-related-kpis/' has no keywords
• [ ] Article 'https://biblioteca.sistedes.es/articulo/towards-assessing-open-source-communities-health-using-soc-concepts/' has no keywords
• [ ] Article 'https://biblioteca.sistedes.es/articulo/reduciendo-la-complejidad-grafica-de-indicadores-de-procesos-de-negocio-usando-abstraccion/' has no keywords
• [ ] Article 'https://biblioteca.sistedes.es/articulo/towards-sla-driven-api-gateways/' has no keywords
• [ ] Article 'https://biblioteca.sistedes.es/articulo/safewalks-aplicacion-movil-de-supervision-de-pacientes-de-alzheimer/' has no keywords
• [ ] Article 'https://biblioteca.sistedes.es/articulo/complex-event-processing-modeling-by-prioritized-colored-petri-nets-summary/' has no keywords
• [ ] Article 'https://biblioteca.sistedes.es/articulo/modeling-service-level-agreements-with-linked-usdl-agreement-resumen/' has no keywords
• [ ] Article 'https://biblioteca.sistedes.es/articulo/towards-an-mde-based-approach-to-test-entity-reconciliation-applications-summary/' has no keywords
• [ ] Article 'https://biblioteca.sistedes.es/articulo/hybrid-business-process-modeling-for-the-optimization-of-outcome-data-summary/' has no keywords
• [ ] Article 'https://biblioteca.sistedes.es/articulo/devising-an-sla-aware-methodology-to-improve-process-performance/' has no keywords
• [ ] Article 'https://biblioteca.sistedes.es/articulo/early-analysis-of-resource-consumption-patterns-in-mobile-applications-summary/' has no keywords
• [ ] Article 'https://biblioteca.sistedes.es/articulo/mejorando-la-arquitectura-de-la-infraestructura-de-datos-y-metadatos-estadisticos-de-canarias-edatos/' has no keywords
• [ ] Article 'https://biblioteca.sistedes.es/articulo/continuous-space-estimation-increasing-wifi-based-indoor-localization-resolution-without-increasing-the-site-survery-effort-summary/' has no keywords
• [ ] Article 'https://biblioteca.sistedes.es/articulo/el-papel-de-los-ciudadanos-en-las-ciudades-inteligentes-un-escenario-de-movilidad-urbana/' has no keywords
• [ ] Article 'https://biblioteca.sistedes.es/articulo/modelling-citizen-letters-for-public-services-automation/' has no keywords
• [ ] Article 'https://biblioteca.sistedes.es/articulo/towards-sla-modeling-for-restful-apis/' has no keywords
• [ ] Article 'https://biblioteca.sistedes.es/articulo/narrowing-the-business-it-gap-in-process-performance-measurement-summary/' has no keywords
• [ ] Article 'https://biblioteca.sistedes.es/articulo/a-framework-for-efficiently-mining-the-organisational-perspective-of-business-processes-summary/' has no keywords
• [ ] Article 'https://biblioteca.sistedes.es/articulo/towards-a-social-end-user-composition-of-services/' has no keywords
• [ ] Article 'https://biblioteca.sistedes.es/articulo/kopernik-modeling-business-processes-for-digital-customers/' has no keywords
• [ ] Article 'https://biblioteca.sistedes.es/articulo/fostering-sla-driven-api-specifications/' has no keywords
• [ ] Article 'https://biblioteca.sistedes.es/articulo/deteccion-de-concept-drift-en-mineria-de-procesos-basado-en-agrupamiento-de-trazas/' has no keywords
• [ ] Article 'https://biblioteca.sistedes.es/articulo/analysis-of-users-behavior-in-structured-e-commerce-websites-summary/' has no keywords
• [ ] Article 'https://biblioteca.sistedes.es/articulo/discovering-infrequent-behavioral-patterns-in-process-models-summary/' has no keywords
• [ ] Article 'https://biblioteca.sistedes.es/articulo/automated-analysis-of-cloud-offerings-for-optimal-service-provisioning-summary/' has no keywords
• [ ] Article 'https://biblioteca.sistedes.es/articulo/cared-soa-a-context-aware-event-driven-service-oriented-architecture-summary/' has no keywords
• [ ] Article 'https://biblioteca.sistedes.es/articulo/linking-data-and-bpmn-processes-to-achieve-executable-models-summary/' has no keywords
• [ ] Article 'https://biblioteca.sistedes.es/articulo/visual-ppinot-a-graphical-notation-for-process-performance-indicators-summary/' has no keywords
• [ ] Article 'https://biblioteca.sistedes.es/articulo/a-template-based-approach-for-responsibility-management-in-executable-business-processes-summary/' has no keywords
• [ ] Article 'https://biblioteca.sistedes.es/articulo/analisis-y-determinacion-del-impacto-del-operador-de-mutacion-en-la-generacion-genetica-de-casos-de-prueba-para-ws-bpel/' has no keywords
• [ ] Article 'https://biblioteca.sistedes.es/articulo/lenguaje-especifico-del-dominio-para-generacion-de-aplicaciones-de-procesos-administrativos/' has no keywords
• [ ] Article 'https://biblioteca.sistedes.es/articulo/query-approximation-in-the-case-of-incompletely-aligned-datasets/' has no keywords
• [ ] Article 'https://biblioteca.sistedes.es/articulo/que-desafios-presenta-el-desarrollo-global-del-software-aprende-jugando/' has no keywords
• [ ] Article 'https://biblioteca.sistedes.es/articulo/herramienta-de-soporte-a-la-evaluacion-y-mejora-de-la-gestion-de-planes-de-emergencia/' has no keywords
• [ ] Article 'https://biblioteca.sistedes.es/articulo/smart-spaces-sistema-de-tecnoinclusion-inteligente/' has no keywords
• [ ] Article 'https://biblioteca.sistedes.es/articulo/auditorias-de-green-in-it-un-mapeo-sistematico/' has no keywords
• [ ] Article 'https://biblioteca.sistedes.es/articulo/uso-de-juegos-serios-para-la-formacion-en-los-procesos-del-ciclo-de-vida-y-mejora-del-software/' has no keywords
• [ ] Article 'https://biblioteca.sistedes.es/articulo/agileroadmap-un-modelo-y-estrategia-para-implantacion-de-practicas-agiles/' has no keywords
• [ ] Article 'https://biblioteca.sistedes.es/articulo/categorizacion-de-actividades-de-seguridad-en-el-desarrollo-de-software/' has no keywords
• [ ] Article 'https://biblioteca.sistedes.es/articulo/desarrollando-una-fachada-de-servicios-restsoa-para-aplicaciones-sofea-aplicando-una-aproximacion-mde/' has no keywords
• [ ] Article 'https://biblioteca.sistedes.es/articulo/involucrando-al-humano-en-el-bucle-de-control-de-sistemas-auto-adaptativos/' has no keywords
• [ ] Article 'https://biblioteca.sistedes.es/articulo/una-herramienta-de-programacion-para-usuarios-finales-de-aplicaciones-moviles-basadas-en-datos-abiertos/' has no keywords
• [ ] Article 'https://biblioteca.sistedes.es/articulo/providing-support-for-the-optimized-management-of-declarative-processes/' has no keywords
• [ ] Article 'https://biblioteca.sistedes.es/articulo/prueba-de-mutacion-evolutiva-aplicada-a-sistemas-orientados-a-objetos/' has no keywords
• [ ] Article 'https://biblioteca.sistedes.es/articulo/flujo-de-trabajo-para-la-experimentacion-colaborativa-en-ingenieria-del-software-guiada-por-busqueda/' has no keywords
• [ ] Article 'https://biblioteca.sistedes.es/articulo/configuracion-guiada-por-busqueda-de-aplicaciones-basadas-en-micro-servicios/' has no keywords
• [ ] Article 'https://biblioteca.sistedes.es/articulo/minimizacion-de-conjuntos-de-casos-de-prueba-en-la-prueba-de-mutaciones-de-composiciones-bpel/' has no keywords
• [ ] Article 'https://biblioteca.sistedes.es/articulo/un-algoritmo-hibrido-para-el-problema-nrp-con-interdependencias/' has no keywords
• [ ] Article 'https://biblioteca.sistedes.es/articulo/dos-estrategias-de-busqueda-anytime-basadas-en-programacion-lineal-entera-para-resolver-el-problema-de-seleccion-de-requisitos/' has no keywords
• [ ] Article 'https://biblioteca.sistedes.es/articulo/aplicando-programacion-lineal-entera-a-la-busqueda-de-conjuntos-de-productos-de-prueba-priorizados-para-lineas-de-productos-software/' has no keywords
• [ ] Article 'https://biblioteca.sistedes.es/articulo/estudio-de-mecanismos-de-hibridacion-para-el-descubrimiento-evolutivo-de-arquitecturas/' has no keywords
• [ ] Article 'https://biblioteca.sistedes.es/articulo/un-repositorio-rdf-para-la-integracion-de-flujos-de-datos-de-analitica-web-y-comercio-electronico/' has no keywords
• [ ] Article 'https://biblioteca.sistedes.es/articulo/v-rdfcsa-compresion-e-indexacion-de-colecciones-de-versiones-rdf/' has no keywords
• [ ] Article 'https://biblioteca.sistedes.es/articulo/compresion-de-big-semantic-data-basada-en-hdt-y-mapreduce/' has no keywords
• [ ] Article 'https://biblioteca.sistedes.es/articulo/arquitectura-software-basada-en-tecnologias-smart-para-agricultura-de-precision/' has no keywords
• [ ] Article 'https://biblioteca.sistedes.es/articulo/tintin-comprobacion-incremental-de-aserciones-sql/' has no keywords
• [ ] Article 'https://biblioteca.sistedes.es/articulo/recsim-hacia-la-evaluacion-de-sistemas-de-recomendacion-utilizando-un-simulador/' has no keywords
• [ ] Article 'https://biblioteca.sistedes.es/articulo/wikinfoboxer-a-tool-to-create-wikipedia-infoboxes-using-dbpedia/' has no keywords
• [ ] Article 'https://biblioteca.sistedes.es/articulo/aproximacion-a-la-busqueda-basada-en-terminos-sobre-conjuntos-de-datos-medioambientales/' has no keywords
• [ ] Article 'https://biblioteca.sistedes.es/articulo/a-federated-approach-for-array-and-entity-environmental-linked-data/' has no keywords
• [ ] Article 'https://biblioteca.sistedes.es/articulo/procesamiento-paralelo-de-datos-medioambientales-con-apache-spark/' has no keywords
• [ ] Article 'https://biblioteca.sistedes.es/articulo/distance-range-queries-in-spatialhadoop/' has no keywords
• [ ] Article 'https://biblioteca.sistedes.es/articulo/static-analysis-of-textual-models/' has no keywords
• [ ] Article 'https://biblioteca.sistedes.es/articulo/evaluating-embedded-relational-databases-for-large-model-persistence-and-query/' has no keywords
• [ ] Article 'https://biblioteca.sistedes.es/articulo/performance-analysis-of-persistence-technologies-for-cloud-repositories-of-models/' has no keywords
• [ ] Article 'https://biblioteca.sistedes.es/articulo/una-propuesta-de-editor-grafico-para-el-modelado-y-la-generacion-de-codigo-de-patrones-de-eventos-sobre-drones/' has no keywords
• [ ] Article 'https://biblioteca.sistedes.es/articulo/towards-distributed-model-transformations-with-lintra/' has no keywords
• [ ] Article 'https://biblioteca.sistedes.es/articulo/towards-the-automation-of-metamorphic-testing-in-model-transformations/' has no keywords
• [ ] Article 'https://biblioteca.sistedes.es/articulo/lenguaje-especifico-para-el-modelado-de-flujos-de-trabajo-aplicados-a-ciencia-de-datos/' has no keywords
• [ ] Article 'https://biblioteca.sistedes.es/articulo/mdde-una-concepcion-generica-para-diseno-de-entornos-de-desarrollo-de-software-basados-en-mdse/' has no keywords
• [ ] Article 'https://biblioteca.sistedes.es/articulo/desarrollo-eficiente-de-lenguajes-especificos-de-dominio-para-la-ejecucion-de-procesos-de-mineria-de-datos/' has no keywords
• [ ] Article 'https://biblioteca.sistedes.es/articulo/analisis-de-transformaciones-de-modelos-atl-con-anatlyzer/' has no keywords
• [ ] Article 'https://biblioteca.sistedes.es/articulo/bringing-together-existing-business-modeling-flavors/' has no keywords
• [ ] Article 'https://biblioteca.sistedes.es/articulo/empirical-software-engineering-as-a-science-a-manifesto/' has no keywords
• [ ] Article 'https://biblioteca.sistedes.es/articulo/abstract-diagnosis-for-tccp-using-a-linear-temporal-logic/' has no keywords
• [ ] Article 'https://biblioteca.sistedes.es/articulo/an-assertional-proof-of-the-stability-and-correctness-of-natural-mergesort/' has no keywords
• [ ] Article 'https://biblioteca.sistedes.es/articulo/a-liberal-type-system-for-functional-logic-programs/' has no keywords
• [ ] Article 'https://biblioteca.sistedes.es/articulo/inferring-specifications-in-the-k-framework/' has no keywords
• [ ] Article 'https://biblioteca.sistedes.es/articulo/satisfiability-of-constraint-specifications-on-xml-documents/' has no keywords
• [ ] Article 'https://biblioteca.sistedes.es/articulo/restricted-predicates-for-hypothetical-datalog/' has no keywords
• [ ] Article 'https://biblioteca.sistedes.es/articulo/hr-sql-an-sql-database-system-with-extended-recursion-and-hypothetical-reasoning/' has no keywords
• [ ] Article 'https://biblioteca.sistedes.es/articulo/learning-a-subclass-of-multivalued-dependencies-formulas-from-entailments/' has no keywords
• [ ] Article 'https://biblioteca.sistedes.es/articulo/constraint-programming-meets-sql/' has no keywords
• [ ] Article 'https://biblioteca.sistedes.es/articulo/analysing-the-termination-of-term-rewriting-systems-using-data-mining/' has no keywords
• [ ] Article 'https://biblioteca.sistedes.es/articulo/thresholded-debugging-of-xpath-queries/' has no keywords
• [ ] Article 'https://biblioteca.sistedes.es/articulo/proving-continuity-of-coinductive-global-bisimulation-distances-a-never-ending-story/' has no keywords
• [ ] Article 'https://biblioteca.sistedes.es/articulo/reasoning-about-policy-behavior-in-logic-based-trust-management-systems-some-complexity-results-and-an-operational-framework/' has no keywords
• [ ] Article 'https://biblioteca.sistedes.es/articulo/a-discretized-operational-semantics-for-the-implementation-of-hy-tccp/' has no keywords
• [ ] Article 'https://biblioteca.sistedes.es/articulo/a-collection-of-website-benchmarks-labelled-for-template-detection-and-content-extraction/' has no keywords
• [ ] Article 'https://biblioteca.sistedes.es/articulo/property-based-testing-of-xquery-programs/' has no keywords
• [ ] Article 'https://biblioteca.sistedes.es/articulo/using-model-checking-to-generate-test-cases-for-android-applications/' has no keywords
• [ ] Article 'https://biblioteca.sistedes.es/articulo/a-haskell-implementation-of-a-rule-based-program-transformation-for-c-programs/' has no keywords
• [ ] Article 'https://biblioteca.sistedes.es/articulo/towards-a-formal-semantics-based-technique-for-interprocedural-slicing/' has no keywords
• [ ] Article 'https://bdsdev.dsic.upv.es/articulo/defining-ppis-for-process-variants-based-on-change-patterns/' has no keywords
• [ ] Article 'https://bdsdev.dsic.upv.es/articulo/incertidumbre-de-datos-en-el-modelado-de-procesos-de-negocio/' has no keywords
• [ ] Article 'https://bdsdev.dsic.upv.es/articulo/recompilacion-de-procesos-de-educacion-a-partir-de-registros-de-eventos/' has no keywords
• [ ] Article 'https://bdsdev.dsic.upv.es/articulo/supporting-compensations-with-ws-agreement/' has no keywords
• [ ] Article 'https://bdsdev.dsic.upv.es/articulo/reparacion-de-alineamientos-en-modelos-de-proceso-similares/' has no keywords
• [ ] Article 'https://bdsdev.dsic.upv.es/articulo/ralph-a-graphical-notation-for-resource-assignments-in-business-processes-abstract/' has no keywords
• [ ] Article 'https://bdsdev.dsic.upv.es/articulo/analisis-inteligente-de-flujos-de-trabajo-sociales/' has no keywords
• [ ] Article 'https://bdsdev.dsic.upv.es/articulo/automating-correctness-verification-of-artifact-centric-business-process-models-abstract/' has no keywords
• [ ] Article 'https://bdsdev.dsic.upv.es/articulo/modelling-service-level-agreements-for-business-process-outsourcing-services-abstract/' has no keywords
• [ ] Article 'https://bdsdev.dsic.upv.es/articulo/verification-and-validation-of-uml-artifact-centric-business-process-models-abstract/' has no keywords
• [ ] Article 'https://bdsdev.dsic.upv.es/articulo/a-recommender-system-for-process-discovery-abstract/' has no keywords
• [ ] Article 'https://bdsdev.dsic.upv.es/articulo/process-mining-past-present-and-likely-future/' has no keywords
• [ ] Article 'https://bdsdev.dsic.upv.es/articulo/vivace-a-framework-for-the-systematic-evaluation-of-variability-support-in-process-aware-information-systems-summary/' has no keywords
• [ ] Article 'https://bdsdev.dsic.upv.es/articulo/monitoring-the-service-based-system-lifecycle-with-salmon-summary/' has no keywords
• [ ] Article 'https://bdsdev.dsic.upv.es/articulo/how-to-construct-a-suite-of-program-slices/' has no keywords
• [ ] Article 'https://bdsdev.dsic.upv.es/articulo/testing-of-atl-programs-from-randomly-generated-ecore-test-models/' has no keywords
• [ ] Article 'https://bdsdev.dsic.upv.es/articulo/comparing-mapreduce-and-pipeline-implementations-for-counting-triangles/' has no keywords
• [ ] Article 'https://bdsdev.dsic.upv.es/articulo/synthesizing-invariants-for-arrays-work-in-progress/' has no keywords
• [ ] Article 'https://bdsdev.dsic.upv.es/articulo/processing-an-intermediate-representation-written-in-lisp/' has no keywords
• [ ] Article 'https://bdsdev.dsic.upv.es/articulo/page-level-webpage-menu-detection/' has no keywords
• [ ] Article 'https://bdsdev.dsic.upv.es/articulo/a-tutorial-on-using-dafny-to-construct-verified-software/' has no keywords
• [ ] Article 'https://bdsdev.dsic.upv.es/articulo/an-introduction-to-liquid-haskell/' has no keywords
• [ ] Article 'https://bdsdev.dsic.upv.es/articulo/polymorphic-types-in-erlang-function-specifications/' has no keywords
• [ ] Article 'https://bdsdev.dsic.upv.es/articulo/que-ningun-termino-resoluble-de-lambda-valor-se-quede-atras-resumen/' has no keywords
• [ ] Article 'https://bdsdev.dsic.upv.es/articulo/combining-runtime-checking-and-slicing-to-improve-maude-error-diagnosis/' has no keywords
• [ ] Article 'https://bdsdev.dsic.upv.es/articulo/reversible-term-rewriting/' has no keywords
• [ ] Article 'https://bdsdev.dsic.upv.es/articulo/fuzzy-thresholded-fixpoint-semantics/' has no keywords
• [ ] Article 'https://bdsdev.dsic.upv.es/articulo/formal-relational-languages-in-a-deductive-setting/' has no keywords
• [ ] Article 'https://bdsdev.dsic.upv.es/articulo/a-logic-of-graph-conditions-extended-with-paths/' has no keywords
• [ ] Article 'https://bdsdev.dsic.upv.es/articulo/proving-termination-properties-of-conditional-rewrite-systems/' has no keywords
• [ ] Article 'https://bdsdev.dsic.upv.es/articulo/abstract-analysis-of-universal-properties-for-tccp/' has no keywords
• [ ] Article 'https://bdsdev.dsic.upv.es/articulo/river-basin-management-with-spin/' has no keywords
• [ ] Article 'https://bdsdev.dsic.upv.es/articulo/automatic-grading-of-programming-exercises-using-property-based-testing/' has no keywords
• [ ] Article 'https://bdsdev.dsic.upv.es/articulo/constraint-based-testing-an-emerging-trend-in-software-testing/' has no keywords
• [ ] Article 'https://bdsdev.dsic.upv.es/articulo/towards-a-semantics-aware-code-transformation-toolchain-for-heterogeneous-systems/' has no keywords
• [ ] Article 'https://bdsdev.dsic.upv.es/articulo/towards-automatic-learning-of-heuristics-for-mechanical-transformations-of-procedural-code/' has no keywords
• [ ] Article 'https://bdsdev.dsic.upv.es/articulo/metapredicate-optimization-for-datalog-queries-through-program-analysis/' has no keywords

[abelgomez]

A random check among the listed papers shows that, indeed, these papers have no keywords (not even in the PDF file), and it's not a mistake or a bug in the migration process. Closing as unsolvable.