370 research outputs found
Domain Specific Languages for Managing Feature Models: Advances and Challenges
International audienceManaging multiple and complex feature models is a tedious and error-prone activity in software product line engineering. Despite many advances in formal methods and analysis techniques, the supporting tools and APIs are not easily usable together, nor unified. In this paper, we report on the development and evolution of the Familiar Domain-Specific Language (DSL). Its toolset is dedicated to the large scale management of feature models through a good support for separating concerns, composing feature models and scripting manipulations. We overview various applications of Familiar and discuss both advantages and identified drawbacks. We then devise salient challenges to improve such DSL support in the near future
Sensor Data Visualisation: A Composition-Based Approach to Support Domain Variability
International audienceIn the context of the Internet of Things, sensors are surrounding our environment. These small pieces of electronics are inserted in everyday life's elements (e.g., cars, doors, radiators, smartphones) and continuously collect information about their environment. One of the biggest challenges is to support the development of accurate monitoring dashboard to visualise such data. The one-size-fits-all paradigm does not apply in this context, as user's roles are variable and impact the way data should be visualised: a building manager does not need to work on the same data as classical users. This paper presents an approach based on model composition techniques to support the development of such monitoring dashboards, taking into account the domain variability. This variability is supported at both implementation and modelling levels. The results are validated on a case study named SmartCampus, involving sensors deployed in a real academic campus
A Variability-Based Testing Approach for Synthesizing Video Sequences
A key problem when developing video processing software is
the di culty to test di erent input combinations. In this
paper, we present VANE, a variability-based testing
approach to derive video sequence variants. The ideas of
VANE are i) to encode in a variability model what can vary
within a video sequence; ii) to exploit the variability model to
generate testable con gurations; iii) to synthesize variants of
video sequences corresponding to con gurations. VANE
computes T-wise covering sets while optimizing a function
over attributes. Also, we present a preliminary validation of
the scalability and practicality of VANE in the context of an
industrial project involving the test of video processing
algorithms.Ministerio de Economía y Competitividad TIN2012-32273Junta de Andalucía TIC-5906Junta de Andalucía P12-TIC-186
Multifocal Aggressive Squamous Cell Carcinomas Induced by Prolonged Voriconazole Therapy: A Case Report
Voriconazole is a treatment for severe fungal infections. Prolonged voriconazole therapy may induce skin reactions, with 1% of severe photosensitivity accidents. Recently the imputability of voriconazole in skin carcinogenesis has been suggested. This report concerns a 55-year-old man suffering from pulmonary aspergillosis who presented a phototoxic reaction a few months after introduction of voriconazole, followed by multiple squamous cell carcinomas of sun-exposed skin areas. After voriconazole discontinuation, no new carcinoma was observed. The detection of EBV and HPV in skin lesions was negative. Exploration of gene mutations involved in skin carcinogenesis showed two variants of the MICR gene. The occurrence of multiple, recurrent, aggressive squamous cell carcinomas is rare with voriconazole, but its imputability is strongly suggested. A plausible hypothesis is that several factors including voriconazole uptake, immunosuppression, and genetic background could explain the phenotype of fast-developing skin carcinomas. Voriconazole therapy should be accompanied by stringent photoprotection and skin monitoring
A generalization of Snoek's law to ferromagnetic films and composites
The present paper establishes characteristics of the relative magnetic
permeability spectrum (f) of magnetic materials at microwave frequencies.
The integral of the imaginary part of (f) multiplied with the frequency f
gives remarkable properties. A generalisation of Snoek's law consists in this
quantity being bounded by the square of the saturation magnetization multiplied
with a constant. While previous results have been obtained in the case of
non-conductive materials, this work is a generalization to ferromagnetic
materials and ferromagnetic-based composites with significant skin effect. The
influence of truncating the summation to finite upper frequencies is
investigated, and estimates associated to the finite summation are provided. It
is established that, in practice, the integral does not depend on the damping
model under consideration. Numerical experiments are performed in the exactly
solvable case of ferromagnetic thin films with uniform magnetization, and these
numerical experiments are found to confirm our theoretical results. Microwave
permeability measurements on soft amorphous films are reported. The relation
between the integral and the saturation magnetization is verified
experimentally, and some practical applications of the theoretical results are
introduced. The integral can be used to determine the average magnetization
orientation in materials with complex configurations of the magnetization, and
furthermore to demonstrate the accuracy of microwave measurement systems. For
certain applications, such as electromagnetic compatibility or radar absorbing
materials, the relations established herein provide useful indications for the
design of efficient materials, and simple figures of merit to compare the
properties measured on various materials
Evaluating the usability of a visual feature modeling notation
International audienceFeature modeling is a popular Software Product Line Engineering (SPLE) technique used to describe variability in a product family. A usable feature modeling tool environment should enable SPLE practitioners to produce good quality models, in particular, models that effectively communicate modeled information. FAMILIAR is a text-based environment for manipulating and composing Feature Models (FMs). In this paper we present extensions we made to FAMILIAR to enhance its usability. The extensions include a visualization of FMs, or more precisely , a feature diagram rendering mechanism that supports the use of a combination of text and graphics to describe FMs, their configurations, and the results of FM analyses. We also present the results of a preliminary evaluation of the environment's usability. The evaluation involves comparing the use of the extended environment with the previous text-based console-driven version. The preliminary experiment provides some evidence that use of the new environment results in increased cognitive effectiveness of novice users and improved quality of new FMs
Vitellogenin Underwent Subfunctionalization to Acquire Caste and Behavioral Specific Expression in the Harvester Ant Pogonomyrmex barbatus
PMCID: PMC3744404This is an open-access article, free of all copyright, and may be freely reproduced, distributed, transmitted, modified, built upon, or otherwise used by anyone for any lawful purpose. The work is made available under the Creative Commons CC0 public domain dedication
Multi-objective genetic algorithm applied to spectroscopic ellipsometry of organic-inorganic hybrid planar waveguides
The applicably of multi-objective optimization to ellipsometric data analysis is presented and a method to handle complex ellipsometric problems such as multi sample or multi angle analysis using multi-objective optimization is described. The performance of a multi-objective genetic algorithm (MOGA) is tested against a single objective common genetic algorithm (CGA). The procedure is applied to the characterization (refractive index and thickness) of planar waveguides intended for the production of optical components prepared sol-gel derived organic-inorganic hybrids, so-called di-ureasils, modified with zirconium tetrapropoxide, Zr(OPr(n))(4) deposited on silica on silicon substrates. The results show that for the same initial conditions, MOGA performs better than the CGA, showing a higher success rate in the task of finding the best final solution. (C) 2010 Optical Society of AmericaFCTFEDERPTDC/CTM/72093/2006SFRH/BD/41943/2007MP070
- …