Buscar
Mostrando ítems 31-40 de 98
Artículo
Automated inference of likely metamorphic relations for model transformations
(Elsevier, 2018)
Model transformations play a cornerstone role in Model-Driven Engineering (MDE) as they provide the essential mechanisms for manipulating and transforming models. Checking whether the output of a model transformation is ...
Artículo
Improving Semantic Web Services Discovery Using SPARQL-Based Repository Filtering
(Elsevier, 2012)
Semantic Web Services discovery is commonly a heavyweight task, which has scalability issues when the number of services or the ontology complexity increase, because most approaches are based on Description Logics reasoning. ...
Informe
ETHOM: An Evolutionary Algorithm for Optimized Feature Models Generation - TECHNICAL REPORT ISA-2012-TR-01 (v. 1.1)
(2012)
A feature model defines the valid combinations of features in a domain. The automated extraction of information from feature models is a thriv ing topic involving numerous analysis operations, techniques and tools. The ...
Artículo
Building and Implementing Policies in Autonomous and Autonomic Systems Using Macmas. A Case Study Based on a NASA Concept Mission
(Springer, 2007)
Autonomic Computing, self-management based on high level guidance from humans, is increasingly being accepted as a means forward in designing reliable systems that both hide complexity from the user and control IT ...
Artículo
Automating the Procurement of Web Services
(Springer Verlag, 2003)
As government agencies and business become more dependent on web services, software solutions to automate their procurement gain importance. Current approaches for automating the procurement of web services suffer from an ...
Artículo
Specification and Automated Design-Time Analysis of the Business Process Human Resource Perspective
(Elsevier, 2015)
The human resource perspective of a business process is concerned with the relation between the activities of a process and the actors who take part in them. Unlike other process perspectives, such as control flow, for ...
Artículo
Artículo
Multi-objective test case prioritization in highly configurable systems: A case study
(Elsevier, 2016)
Test case prioritization schedules test cases for execution in an order that attempts to accelerate the detection of faults. The order of test cases is determined by prioritization objectives such as covering code or ...
Artículo
Early Evaluation of Mobile Applications’ Resource Consumption and Operating Costs
(IEEE Computer Society, 2020)
The explosive growth of the mobile application market in recent years has led to a large concomitant mobile software industry whose components are, in many cases, startups and small-size software providers. The success ...
Artículo
Automated Analysis of Conflicts in WS-Agreement Documents
(IEEE, 2013)
WS–Agreement is one of the most widely used SLA specifications. An advantage of WS–Agreement over other agreement metamodels is that it allows one to define con4 ditional and optional term sets inside an agreement ...