Buscar
Mostrando ítems 141-150 de 216
Artículo
Limiting Global Warming by Improving Data-Centre Software
(IEEE Computer Society, 2020)
Carbon emissions, greenhouse gases and pollution in general are usually related to traditional factories, so the most modern computing factories have gone unnoticed for the general-public opinion. We empirically show through ...
Ponencia
Contract-based test generation for data flow of business processes using constraint programming
(IEEE Computer Society, 2011)
The verification of the properties of a business process (BP) has become a significant research topic in recent years. In the early stages of development, the BP model (e.g. BPMN, EPC), the BP contract (task ...
Artículo
Modeling Variability in the Performance Perspective of Business Processes
(IEEE Computer Society, 2021)
The modeling and management of business processes often leads to the definition of several variants of the same process. This variability can be reflected in different process perspectives such as control-flow, data, ...
Artículo
Metamorphic Testing: Testing the Untestable
(IEEE Computer Society, 2020)
Ponencia
Simulating Domain Specific Visual Models by Observation
(ACM Digital Library, 2010)
Domain Specific Visual Languages (DSVLs) are essential elements in Model-Driven Engineering (MDE) for representing models and metamodels. In-place model transformations provide an intuitive way to complement metamodels ...
Artículo
A study of subgroup discovery approaches for defect prediction
(Elsevier, 2013)
Context: Although many papers have been published on software defect prediction techniques, machine learning approaches have yet to be fully explored. Objective: In this paper we suggest using a descriptive approach for ...
Capítulo de Libro
Automated Analysis of Stateful Feature Models
(Springer, 2013)
In CAiSE 2005, we interpreted the extraction of relevant information from extended feature models as an automated reasoning problem based on constraint programming. Such extraction is driven by a catalogue of basic ...
Ponencia
Towards Defining Data-Based Thresholds for Process-Related KPIs
(Sociedad de Ingeniería de Software y Tecnologías de Desarrollo de Software (SISTEDES), 2015)
The definition of process-related key performance indica tors (KPIs) is a key part of performance measurement and one of the most challenging because of the lack of one best way to define business applicable KPIs that are ...
Artículo
Online motion recognition using an accelerometer in a mobile device
(ScienceDirect, 2012-02)
This paper introduces a new method to implement a motion recognition process using a mobile phone fitted with an accelerometer. The data collected from the accelerometer are interpreted by means of astatistical study and ...
Ponencia
Automated Generation of Metamorphic Relations for Query-Based Systems
(IEEE Computer Society, 2022)
Searching and displaying data based on user queries is a pervasive feature of most software applications such as information systems, web portals, and web APIs. The large volume of data managed by these types of systems, ...