Buscar
Mostrando ítems 171-180 de 187
Informe
ETHOM: An Evolutionary Algorithm for Optimized Feature Models Generation (v. 1.2): Technical Report ISA-2012-TR-05
(2012)
A feature model defines the valid combinations of features in a domain. The automated extraction of information from feature models is a thriving topic involving numerous analysis operations, techniques and tools. The ...
Ponencia
Apoyo a la Toma de Decisiones en la Compra de IaaS
(Asociación de Ingeniería del Software y Tecnologías de Desarrollo de Software (SISTEDES), 2014)
La dificultad para decidir la compra de un IaaS (Infrastructure as a Service) depende de la complejidad de las opciones de compra dadas por su proveedor y de la complejidad del plan del cliente que quiere realizarla. ...
Ponencia
STATService: Herramienta de análisis estadístico como soporte para la investigación con Metaheurísticas
(2012)
Actualmente, la aplicación de técnicas estadísticas es una necesidad cuando se trabaja con metaheurísticas. A pesar de que existen multitud de paquetes software para el cálculo estadístico, estos sistemas exigen en la ...
Tesis Doctoral
On the Automated Analysis of WS-Agreement Documents Applications to the Processes of Creating and Monitoring Agreements
(2013)
A medida que los SLAs empiezan a ser necesarios en servicios y aplicaciones usadas por el gran público y en ambientes XaaS donde existen penalizaciones por su incumplimiento, aumenta la demanda y la complejidad de los ...
Tesis Doctoral
Moses: a metaheuristic optimization software ecosystem. Applications to the automated analysis of software product lines and service-based applications
(2013-10-01)
Muchas de las situaciones a las que nos enfrentamos cada día pueden expresarse como problemas de optimización. Un problema de optimización se resuelve encontrando, de entre un conjunto de soluciones candidatas, aquella que ...
Ponencia
FaMa Abductive: una herramienta para explicaciones de errores en modelos de características
(2011)
La diagnosis de errores es una asignatura pendiente de gran parte de las herramientas de an´alisis de modelos de caracter´ısticas. Realizar este proceso manualmente no es viable con modelos de tama˜no medio/grande, e incluso ...
Informe
A Lightweight Prototype Implementation of SPARQL Filters for WSMO-based Discovery (Technical Report ISA-11-TR-01)
(2011)
Semantic Web Services discovery is commonly a heavyweight task, which has scal ability issues when the number of services or the ontology complexity increase, because most approaches are based on Description Logics ...
Ponencia
On the Identification of Data-Related Compliance Problems in Business Processes
(2010)
Ensuring the compliance of business processes with regulations is becoming increasingly important to organizations. in this scenario, data play an important role. Little work has been done on data checking in ...
Ponencia
Methodology to Extend RAL
(2014)
Resource Assignment Language (RAL) is a language for the selection of organisational resources that can be used, for example, for the assignment of human resources to business process activities. Its formal semantics have ...
Ponencia
Elastic Smart Contracts across Multiple Blockchains
(University of Southern California, 2019)
In this paper, we deal with questions related to blockchains in complex Internet of Things (IoT)-based ecosystems. Such ecosystems are typically composed of IoT devices, edge devices, cloud computing software services, ...