Buscar
Mostrando ítems 11-20 de 204
Artículo
Effect of dislocations on electrical and electron transport properties of InN thin films. II. Density and mobility of the carriers
(American Institute of Physics, 2006-11)
The influence of dislocations on electron transport properties of undoped InN thin films grown by molecular-beam epitaxy on AlN 0001 pseudosubstrates is reported. The microstructure and the electron transport in InN ...
Ponencia
Applying XML technologies in Requirements Verification
(2002)
In this paper, we present an approach for the automatic verification of software requirements specifications. This approach is based on the representation of software requirements in XML and the usage of the XSLT language ...
Artículo
A new species of Caprellinoides (Crustacea : Amphipoda : Phtisicidae) from the Antarctic
(BMC, 2001)
A new caprellid species, Caprellinoides singularis, is described and illustrated based on the material collected on the Polarstern Cruise ANT XVII/3 from the Branfield Strait. The most striking characteristic of this species ...
Artículo
Generating non-conspiratorial executions
(Elsevier, 2007)
Avoiding conspiratorial executions is useful for debugging, model checking or refinement, and helps implement several wellknown problems in faulty environments; furthermore, avoiding non-equivalence robust executions ...
Artículo
On the singular times of fluids with nonlinear viscosity
(Elsevier, 2001-11-15)
Ponencia
Best Agglomerative Ranked Subset for Feature Selection
(2008-09)
The enormous increase of the size in databases makes finding an optimal subset of features extremely difficult. In this paper, a new feature selection method is proposed that will allow any subset evaluator -including the ...
Ponencia
FAMA: hacia el análisis automático de modelos de características
(Asociación de Ingeniería del Software y Tecnologías de Desarrollo de Software (SISTEDES), 2007)
Ponencia
Towards Automated Refactoring of Feature Models Using Graph Transformations
(2007)
Software Produ t Line (SPL) development is an approa h to develop families of software systems in a systemati way. A Feature Model (FM) represent all the produ ts in a SPL in terms of features. Applying refa toring to an ...
Ponencia
Towards a Theory on the Role of Ontologies in Software Engineering Problem Solving: Conclusions from a Theoretical Model of Methodological Works
(Springer, 2005)
We present and validate a theoretical model of methodological works in Software Engineering that, without claiming for completeness, allows us to investigate the role of ontologies in the problem solving process related ...
Ponencia
Sincronización multiproceso en programas concurrentes: selección completamente k-justa de interacciones
(Universidad de Castilla-La Mancha, 2001-11)
La selección complemente justa surge en el contexto de los programas no deterministas y sirve para garantizar que todos los elementos que se habilitan infinitamente a menudo se seleccionan infinitamente a menudo. Esta ...