Buscar
Mostrando ítems 11-20 de 2309
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 test. Most of the research on this field focuses on making testing affordable by selecting a ...
Ponencia
How to develop secure applications with Aspect-Oriented Programming
(IEEE Computer Society, 2013)
In the last few years several new programming techniques for achieving a better separation of concerns have been defined. One of the most accepted has been Aspect-Oriented Programming (AOP). Those attending this tutorial ...
Artículo
Selective CO methanation with structured RuO2/Al2O3 catalysts
(Elsevier, 2018)
Active and selective structured RuO2/Al2O3 catalysts for CO methanation using a flow simulating CO2-rich reformate gases from WGS and PROX units (H2 excess, CO2 presence and 300 ppm CO concentration) were prepared. Both, ...
Artículo
Direct evidence for a coordination-insertion mechanism of ethylene oligomerization catalysed by neutral 2,6-bisiminopyridine iron monoalkyl complexes
(Royal Society of Chemistry, 2014)
1H NMR studies on ethylene oligomerization catalysed by the neutral monoalkyl complex [Fe(Me)(iPrBIP)] allow direct observation of alkyl iron intermediates as well as reversible ethylene coordination to the metal center, ...
Ponencia
Redefining a Process Engine as a Microservice Platform
(Springer, 2016)
In recent years, microservice architectures have emerged as an agile approach for scalable web applications on cloud environments. As each microservice is developed and deployed independently, they can be developed in ...
Artículo
Compensation of PVT Variations in ToF Imagers with In-Pixel TDC
(MDPI, 2017)
The design of a direct time-of-flight complementary metal-oxide-semiconductor (CMOS) image sensor (dToF-CIS) based on a single-photon avalanche-diode (SPAD) array with an in-pixel time-to-digital converter (TDC) must ...
Artículo
Algebraic structure of continuous, unbounded and integrable functions
(Elsevier, 2019-02)
In this paper we study the large linear and algebraic size of the family of unbounded continuous and integrable functions in [0, +∞) and of the family of sequences of these functions converging to zero uniformly on ...
Artículo
Sulfide as a signaling molecule in autophagy
(Taylor & Francis, 2013)
Hydrogen sulfide is already recognized as an important signaling molecule in mammalian systems, and emerging data suggest that H2S is a signaling molecule just as important as nitric oxide (NO) and H2O2 in plants. Although ...
Ponencia
Exploiting the Enumeration of All Feature Model Configurations
(ACM, 2016)
.Feature models are widely used to encode the configurations of a software product line in terms of mandatory, optional and exclusive features as well as propositional constraints over the features. Numerous computationally ...