Buscar recursos académicos

The following research proposes a first approximation to the Dynamic Hypermedial Device modeling based on the analysis of interactions. In addition, the DEVS (Discrete EVents dynamic Systems) formalism is employed, which...

Resveratrol exhibits wide pharmacological activities, such as, anti-oxidant, anti-inflammatory, analgesic, cardio-protective, neuro-protective, chemo-preventive, chemo-therapeutic, and anti-aging. However, its aqueous so...

UML (Unified Modeling Language) is one of the most used languages to specify and document informatics applications. However, UML is a generalpurpose language, so it often lacks of elements to model and represent concrete...

The objective of this research is to develop a tool for the generation of 3D objects modeled with flexible materials, with visco-elastic or inelastic characteristics, similar to the plasticine. It is desirable to priorit...

In this paper we define an evolution mechanism with formal semantics using the metamodeling methodology [Geisler et al.98] based on dynamic logic. A remarkable feature of the metamodeling methodology is the ability to de...

I have been teaching, in reality, preaching, the importance of a clear understanding for the word “analysis”. It is my conclusion, after years of exposure to the term “system analysis”, that it has mislead lots o...