Listar Artículos (Lenguajes y Sistemas Informáticos) por título
Mostrando ítems 414-433 de 780
-
Artículo
Facilitating the design of HL7 domain models through a model-driven solution
(BMC, 2020)Background and goal: Health information systems are increasingly sophisticated and developing them is a challenge for ...
-
Artículo
Fairness in systems based on multiparty interactions
(John Wiley and Sons, 2003)In the context of the Multiparty Interaction Model, fairness is used to insure that an interaction that is enabled ...
-
Artículo
Fast feature selection aimed at high-dimensional data via hybrid-sequential-ranked searches
(Elsevier, 2012)We address the feature subset selection problem for classification tasks. We examine the performance of two hybrid strategies ...
-
Artículo
Fault Tolerance Framework using Model-Based Diagnosis: Towards Dependable Business Processes
(International Academy, Research, and Industry Association (IARIA), 2011)Several reports indicate that one of the most important business priorities is the improvement of business and IT ...
-
Artículo
Feature models to boost the vulnerability management process
(Elsevier Inc., 2023-01)Vulnerability management is a critical and very challenging process that allows organisations to design a procedure to ...
-
Artículo
Feature models to boost the vulnerability management process
(Elsevier, 2022)Vulnerability management is a critical and very challenging process that allows organisations to design a procedure to ...
-
Artículo
Feature selection to enhance a two-stage evolutionary algorithm in product unit neural networks for complex classification problems
(Elsevier, 2013)This paper combines feature selection methods with a two-stage evolutionary classifier based on product unit neural networks. ...
-
Artículo
Filter‑based feature selection in the context of evolutionary neural networks in supervised machine learning
(Springer, 2020)This paper presents a workbench to get simple neural classifcation models based on product evolutionary networks via a ...
-
Artículo
Finding Defective Software Modules by Means of Data Mining Techniques
(IEEE, 2009-07)The characterization of defective modules in software engineering remains a challenge. In this work, we use data mining ...
-
Artículo
Finding representative patterns withordered projections
(Elsevier, 2003)This paper presents a new approach to 2nding representative patterns for dataset editing. The algorithm patterns by ...
-
Artículo
FLAME: a Formal Framework for the Automated Analysis of Software Product Lines Validated by Automated Specification Testing
(2015)In a literature review on the last 20 years of automated analysis of feature models, the formalization of analysis operations ...
-
Artículo
Flexible runtime support of business processes under rolling planning horizons
(Elsevier, 2021)This work has been motivated by the needs we discovered when analyzing real-world processes from the healthcare domain ...
-
Artículo
Flipping Laboratory Sessions in a Computer Science Course: An Experience Report
(IEEE Computer Society, 2020)Contribution: This article presents an experience report on the application of flipped classroom (FC) to the laboratory ...
-
Artículo
Flipping Laboratory Sessions: An Experience in Computer Science
(IEEE Computer Society, 2020)This paper reports our experience in flipping a second- year undergraduate course on software architecture and integration, ...
-
Artículo
Forecasting solar energy production in Spain: A comparison of univariate and multivariate models at the national level
(Elsevier, 2023-08-10)Renewable energies, such as solar power, offer a clean and cost-effective energy source. However, their integration into ...
- Artículo
-
Artículo
Formal techniques improve connectivity in supervisory systems
(IEEE Computer Society, 1994)The need to provide communication among the various computers that make up supervisory control and data acquisition (SCADA) ...
-
Artículo
Formalization of security patterns as a means to infer security controls in business processes
(Oxford University Press, 2015)The growing trend towards the automation and externalization of business processes by means of Technology Infrastructure (TI), ...
-
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 ...
-
Artículo
Full contract verification for ATL using symbolic execution
(Springer, 2016)The Atlas Transformation Language (ATL) is currently one of the most used model transformation languages and has become a ...