Buscar
Mostrando ítems 31-40 de 253626
Computational support for the process of software requirement specification
(Ieee, 2012-01-01)
The software industry has become more and more concerned with the appropriate application of activities that composes requirement engineering as a way to improve the quality of its products. In order to support these ...
The potential of Pedagogical Lexicography in English for Specific Purposes courses
(Federal Univ Ceara, 2020-09-01)
This paper aims to discuss, from the point of view of Pedagogical Lexicography (PL), a study conducted in an English for Specific Purposes (ESP) course at a language center of a public university in the countryside of the ...
Reviewing the Service Specification of the IEEE 802.16 MAC Layer Connection Management: A Formal Approach
(Centro Latinoamericano de Estudios en Informática, 2013)
Consecuencias teóricas del concepto de parasitismo intra-específicoTheoretical consequences of the concept 'intra-specific parasitism'
(Universidad Autónoma Metropolitana-Iztapalapa, 2017-10)
When parasitism is defined, it is customary to emphasize that it is about an inter-specific relation, i.e., between individuals of two different species. Here we critically examine that assumption and we turn to the concept ...
RECEIVER OPERATING CHARACTERISTIC (ROC) CURVE
(SPRINGER, 2013)
Receiving Operating Characteristic (ROC) curves are bidimensional graphs commonly used to evaluate and compare the performance of classifiers. ROC plots nicely show the sensitivity/specificity trade-off of a classifier for ...
Commitment versus flexibility?
(UNIV CALIF, 1998)
This article unbundles the relation between commitment and flexibility by distinguishing between firm-specific and usage-specific resources. This distinction turns out to be valuable because firm-specificity does not always ...
A systematic mapping study of specification languages in cloud services development
(Springer, 2019)
Specification languages offer abstractions and notations that facilitate the systematic and analytical reasoning about important aspects in a specific domain problematic. In a software engineering process domain, the usage ...
Categorical foundations for structured specifications in Z
(Springer, 2015-11)
In this paper we present a formalization of the Z notation and its structuring mechanisms. One of the main features of our formal framework, based on category theory and the theory of institutions, is that it enables us ...
Installation art and site specific works: art as opposition
(PPGAV-UFRGS, 2017)
Saturatedness of dynamical systems under the almost specification property
(Taylor and Francis, 2016-08)
A dynamical system is saturated when for any invariant measure μ, the topological entropy of the set of the μ-generic points equals the measure-theoretic entropy of the system. This fact was confirmed by Fan, Liao and ...