Buscar
Mostrando ítems 51-60 de 79
Ponencia
A Quadratic, Complete, and Minimal Consistency Diagnosis Process for Firewall ACLs
(IEEE Computer Society, 2010)
Developing and managing firewall Access Control Lists (ACLs) are hard, time-consuming, and error-prone tasks for a variety of reasons. Complexity of networks is constantly increasing, as it is the size of firewall ...
Ponencia
Towards a Rewriting Logic Semantics for ATL
(Springer, 2010)
As the complexity of model transformation (MT) grows, the need to count on formal semantics ofMT languages also increases. Firstly, formal semantics provide precise specifications of the expected behavior of transforma ...
Artículo
Inferring gene regression networks with model trees
(BioMed Central, 2010)
Background: Novel strategies are required in order to handle the huge amount of data produced by microarray technologies. To infer gene regulatory networks, the first step is to find direct regulatory relationships ...
Ponencia
Desarrollo de la competencia 'Pensamiento Analítico' mediante tácticas de arquitecturas software
(AENUI: Asociación de Enseñantes Universitarios de Informática, 2010)
La competencia “Pensamiento Analítico” se define como el comportamiento mental que permite distinguir y separar las partes de un todo hasta llegar a conocer sus principios o elementos. La inferencia de una arquitectura ...
Artículo
Automated Diagnosis of Feature Model Configurations
(Elsevier, 2010)
Software product-lines (SPLs) are software platforms that can be readily reconfigured for different project requirements. A key part of an SPL is a model that captures the rules for reconfiguring the software. SPLs ...
Ponencia
Knowledge representation and applied decision making (KREAM)
(ScienceDirect, 2010-05)
The aim of this workshop is to provide a forum for discussion and debate on the application of knowledge representation and ontologies in computational science and the techniques used for the manipulation of such data. ...
Ponencia
QuEF: An environment for the assesment of MDWE methodologies
(Universidad de Oporto, 2010)
This paper presents QuEF (Quality Evaluation Framework), an environment for the assesment of Model-Driven Web Engineering (MDWE) methodologies. This approach is oriented to evaluate, through objectives measures, the ...
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
Mining quantitative association rules based on evolutionary computation and its application to atmospheric pollution
(IOS Press, 2010)
This research presents the mining of quantitative association rules based on evolutionary computation techniques. First, a real-coded genetic algorithm that extends the well-known binary-coded CHC algorithm has been ...
Informe
FaMa Test Suite v1.2: ISA Technical Report ISA-10-TR-01
(2010)
A Feature Model (FM) is a compact representation of all the products of a software product line. Automated analysis of FMs is rapidly gaining importance: new operations of analysis have been proposed, new tools have been ...