Listar Artículos (Lenguajes y Sistemas Informáticos) por título
Mostrando ítems 667-686 de 761
-
Artículo
Software reference architecture for smart environments: Perception
(Elsevier, 2014)With the increase of intelligent devices, ubiquitous computing is spreading to all scopes of people life. Smart home (or ...
-
Artículo
Specification and Automated Analysis of Inter-Parameter Dependencies in Web APIs
(IEEE Computer Society, 2021)Web services often impose inter-parameter dependencies that restrict the way in which two or more input parameters can be ...
-
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 ...
-
Artículo
Specification and simulation of queuing network models using Domain-Specific Languages
(Elsevier, 2014)Queuing Network Models (QNMs) provide powerful notations and tools for modeling and analyzing the performance of many ...
-
Artículo
Specifying business services: learning from software engineering
(Emerald, 2012)Purpose – The specification of business services (BS) is one of the key factors for success in service provision. Researchers ...
-
Artículo
Specifying Compensations with WS-Agreement
(IEEE Computer Society, 2017)During the last years the use of service level agreements (SLA) is rising uncontrollably to describe the rights and ...
- Artículo
-
Artículo
Spectrum-Based Fault Localization in Model Transformations
(ACM, 2018)Model transformations play a cornerstone role in Model-Driven Engineering (MDE), as they provide the essential mechanisms ...
-
Artículo
Spectrum-based fault localization in software product lines
(Elsevier, 2018)Context: Software Product Line (SPL) testing is challenging mainly due to the potentially huge number of products under ...
-
Artículo
Sphere: Simulator of edge infrastructures for the optimization of performance and resources energy consumption
(Elsevier, 2020)Edge computing constitutes a key paradigm to address the new requirements of areas such as smart cars, industry 4.0, and ...
-
Artículo
Static Fault Localization in Model Transformations
(IEEE Computer Society, 2015)As the complexity of model transformations grows, there is an increasing need to count on methods, mechanisms, and tools for ...
-
Artículo
Statistical validation of synthetic data for lung cancer patients generated by using generative adversarial networks
(MDPI, 2022)The development of healthcare patient digital twins in combination with machine learning technologies helps doctors in ...
-
Artículo
Statistically Representative Metrology of Nanoparticles via Unsupervised Machine Learning of TEM Images
(MDPI, 2021)The morphology of nanoparticles governs their properties for a range of important applica tions. Thus, the ability to ...
-
Artículo
Summary of the 14th edition of the IEEE/ACM Workshop on Automation of Software Test (AST): Testing and Continuous Deployment
(ACM Digital Library, 2019-07) -
Artículo
Supervised learning by means of accuracy-aware evolutionary algorithms
(Elsevier, 2003)This paper describes a new approach, HIerarchical DEcision Rules (HIDER), for learning generalizable rules in continuous ...
-
Artículo
Support vector machines for classification of input vectors with different metrics
(ScienceDirect, 2011-05)In this paper, a generalization of support vector machines is explored where it is considered that input vectors have ...
-
Artículo
Support vector machines for interval discriminant analysis
(ScienceDirect, 2008-03)The use of data represented by intervals can be caused by imprecision in the input information, incompleteness in patterns, ...
-
Artículo
Supporting distributed product configuration by integrating heterogeneous variability modeling approaches
(Elsevier, 2015)Context In industrial settings products are developed by more than one organization. Software vendors and suppliers ...
-
Artículo
Surveying navigation modelling approaches
(Inderscience, 2008)Recently, a number of authors who work on web application modelling have paid attention to the ideas regarding separation ...
-
Artículo
Synthesis of positive logic programs for checking a class of definitions with infinite quantification
(Elsevier, 2016)We describe a method based on unfold/fold transformations that synthesizes positive logicprograms P(r)with the purpose of ...