Buscar
Mostrando ítems 61-70 de 142
Ponencia
An Algorithm for Ensuring Fairness and Liveness in Non-deterministic Systems Based on Multiparty Interactions
(Springer, 2002)
Strong fairness is a notion we can use to ensure that an element that is enabled infinitely often in a non–deterministic programme, will eventually be selected for execution so that it can progress. Unfortunately, “eventually” ...
Ponencia
Enabling the Evolution of Service-Oriented Solutions Using an UML2 Profile and a Reference Petri Nets Execution Platform
(IEEE Computer Society, 2008)
The activities developed by a company (business pro cesses) have to change frequently to adapt to the environ ment. The implementation of business processes should support these changes without any recoding. In this ...
Artículo
Verifying Software Requirements with XSLT
(ACM, 2002)
In this article, we present an approach for the automatic verification of software requirements documents. This approach is based on the representation of software requirements in XML and the usage of the XSLT language not ...
Artículo
Discovering hierarchical decision rules with evolutive algorithms in supervised learning
(2000)
This paper describes a new approach, HIDER (HIerarchical DEcision Rules), for learning rules in continuous and discrete domains based on evolutive algorithms. The algorithm produces a hierarchical set of rules, that is, ...
Artículo
Model Transformation Modularization as a Many-Objective Optimization Problem
(IEEE Computer Society, 2017)
Model transformation programs are iteratively refined, restructured, and evolved due to many reasons such as fixing bugs and adapting existing transformation rules to new metamodels version. Thus, modular design is a ...
Artículo
From Wrapping to Knowledge
(IEEE Computer Society, 2007)
One the most challenging problems for Enterprise Information Integration is to deal with heterogeneous information sources on the Web. The reason is that they usually provide information that is in human-readable form ...
Ponencia
Improving the Evolutionary Coding for Machine Learning Tasks
(IOS Press, 2002)
The most influential factors in the quality of the solutions found by an evolutionary algorithm are a correct coding of the search space and an appropriate evaluation function of the potential solutions. The coding of ...
Ponencia
Improving software process maturity through dynamic modeling and simulation
(Asociación de los profesionales de la Dirección e Ingeniería de Proyectos de España (AEIPRO), 2002)
Los modelos de procesos actuales como CMM, SPICE y otros recomiendan la aplicación de control estadístico y de guías de métricas para la definición, implementación y posterior evaluación de diferentes mejoras del proceso. ...
Ponencia
BeTTy: Un Framework de Pruebas para el Análisis Automático de Modelos de Características
(Asociación de Ingeniería del Software y Tecnologías de Desarrollo de Software (SISTEDES), 2012)
El análisis automático de modelos de características es un área de investigación activo que ha llamado la atencíon de numerosos investigadores durante las dos últimas décadas. Durante este tiempo, el número de herramientas ...
Artículo
Metamorphic Testing of RESTful Web APIs
(IEEE Computer Society, 2017)
Web Application Programming Interfaces (APIs) allow systems to interact with each other over the network. Modern Web APIs often adhere to the REST architectural style, being referred to as RESTful Web APIs. RESTful Web ...