Search results for "computer.programming_language"
showing 10 items of 986 documents
Reduction of UML Class Diagrams
2002
One and the same “real world” can be modeled by different UML class diagrams, which in such a case can be considered “intuitively equivalent”. A formalization of this “intuitive equivalence” of class diagrams is proposed. An algorithm is constructed that for two class diagrams determines if they model the same “real world”. This algorithm can be used in CASE tools to compare alternative models of a system, and for diagram “compression” to facilitate understanding of large diagrams.
Oltre il canone nazionale. Le voci che parlano in catalano
2020
Riassunto: Nella nuova Europa della generazione, o delle generazioni, Erasmus, in questa Europa che vogliamo cosmopolita, ci aspetta il racconto di una letteratura meno parziale, meno sottomessa al principio egemonico degli stati-nazione, una letteratura che ci permetta di recuperare, soprattutto, le voci forti ed emozionanti di autori che il fiume del processo storico ha lasciato in un’ansa laterale, dove piccole comunita hanno potuto continuare a coltivarne e proteggerne la memoria, non senza il rischio di partecipare, con la loro cura identitaria, al processo di esclusione dal canone internazionale. Potremo, anche, guardare per la prima volta, o per la prima volta con adeguata consapevol…
Arredor do Rexurdimento. Apuntamentos xerais
2020
Resumo: Este é un estudo do actual estado da investigación sobre o Rexurdimento. A partir dunha bibliografía actualizada, analizamos a renacenza galega e facemos a nosa achega en canto á definición, cronoloxía, características centrais, contribución ao imaxinaio nacional colectivo e o valor da lingua como elemento central na construción da identidade e criterio filolóxico na literatura. Ademais, o estudo parte da relación entre o campo político e o cultural. Para isto tomamos de base, e de xeito principal, os estudos de Xoán González Millán, Antón Figueroa e Alejandro Alonso Nogueira. 
 
 
 Paraules clau: Rexurdimento, criterio filolóxico, lingua galega, imaxinario nacional c…
Pervasive access to MRI bias artifact suppression service on a grid.
2009
Bias artifact corrupts magnetic resonance images in such a way that the image is afflicted by illumination variations. Some of the authors proposed the Exponential Entropy Driven - Homomorphic Unsharp Masking (E2D-HUM) algorithm that corrects this artifact without any a priori hypothesis about the tissues or the Magnetic Resonance image modality. Moreover, E2D-HUM does not care about the body part under examination and does not require any particular training task. People who want to use this algorithm, which is Matlab-based, have to set their own computers in order to execute it. Furthermore, they have to be Matlab-skilled to exploit all the features of the algorithm. In our work we propos…
High sensitivity of northern pike larvae to UV-B but no UV-photoinduced toxicity of retene
2003
In order to investigate whether increased UV-B radiation is a risk factor, a series of acute laboratory experiments was conducted with larval stages of the northern pike (Esox lucius L.), hatching in Nordic waters in May. Further, a comparative investigation on the acute phototoxicity of retene (7-isopropyl-1-methylphenanthrene), a PAH compound recently revealed to posses UV-B-induced phototoxicity in larval coregonids, was conducted with pike larvae. In semi-static experiment, larvae were pre-exposed to retene (3, 9, 30 and 82 microg/g), with relevant controls, for 24 h and then irradiated for 3 h once a day (two consecutive days) with three UV-B doses (CIE-weighted 1.0, 1.8 or 2.7 kJ/m2 p…
PRINCIPIO ANTIDISCRIMINATORIO Y DETERMINACIÓN DE LA DESVENTAJA
2013
El artículo examina algunos de los límites del derecho antidiscriminatorio en su actual configuración, a partir de las grandes tendencias que le dan soporte desde el punto de vista legislativo y jurisprudencial. El texto plantea una reflexión sobre los principios interpretativos tradicionales y los problemas de incorporación en el juicio de igualdad de estándares de orden explicativo y justificatorio que permitan captar los patrones o estructuras sociales de discriminación e identificar de forma más precisa a los sujetos. A tal efecto propone la ampliación del espectro argumental de la discriminación indirecta y la igualdad material, a través de criterios interpretativos adicionales derivad…
Unified Modeling Language
2005
Mature engineering disciplines are generally characterized by accepted methodical standards for describing all relevant artifacts of their subject matter. Such standards not only enable practitioners to collaborate, but they also contribute to the development of the whole discipline. In 1994, Grady Booch, Jim Rumbaugh, and Ivar Jacobson joined together to unify the plethora of existing object-oriented systems engineering approaches at semantic and notation level (Booch, 2002; Fowler, 2004; Rumbaugh, Jacobson, & Booch, 1998). Their effort led to the Unified Modeling Language (UML), a well-known, general-purpose, tool-supported, process-independent, and industry-standardized modeling lang…
Automatic Reengineering in MDA Using Rewriting Logic as Transformation Engine
2005
Legacy systems are information systems that have been developed by means of methods, tools and database management systems that have become obsolete, but they are still being used due to their reliability. As time goes on, the maintenance of this software becomes more complex, expensive and painful. The MOMENT framework supports automatic formal model transformations in MDA. This model transformation approach is based on the algebraic specification of models and benefits from mature term rewriting system technology to perform model transformation using rewriting logic. In this paper, we present how we apply this formal transformation mechanism to recover a legacy relational database, obtain…
The Orchestra of Multiple Model Repositories
2013
This paper motivates and encourages the simultaneous use of multiple model repositories in model-driven software. A multi-repository mechanism is proposed for that. With this mechanism, multiple model repositories residing in the same or different technical spaces can be mounted into a single repository (in the same sense as file systems are mounted in UNIX) and accessed in a uniform way. Relations (including generalizations) between elements from the mounted repositories are supported. Some of the repositories may be “computable” (virtual), which leads to the on-the-fly model transformation concept.
Secure Group Communication Using Fractional Public Keys
2010
Published version of a paper presented at the ARES '10 International Conference on Availability, Reliability, and Security (c) 2010 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other users, including reprinting/ republishing this material for advertising or promotional purposes, creating new collective works for resale or redistribution to servers or lists, or reuse of any copyrighted components of this work in other works. Paper also available from the publisher:http://dx.doi.org/10.1109/ARES.2010.13 In this paper, we present the novel concept of fractional public keys and an efficient zero-round multi-party Diffie-Hellman key agreement sc…