Buscar
Mostrando ítems 21-30 de 220
Generating complete and finite test suite for ioco: is it possible?
(University Joseph FourierOpen Publishing AssociationGrenoble, 2014-04-06)
Testing from Input/Output Transition Systems has been intensely investigated. The conformance
between the implementation and the specification is often determined by the so-called ioco-relation.
However, generating tests ...
A Methodological Approach to Use Technological Support on Teaching and Learning Data Structures
(Ieee, 2014-01-01)
The Data Structure discipline consists on studying data organization in computer memory, primary and secondary ones. Data structures are organized using conceptual and behavioral issues that require high degree of abstract ...
A methodological approach to use technological support on teaching and learning data structures
(2015-02-17)
The Data Structure discipline consists on studying data organization in computer memory, primary and secondary ones. Data structures are organized using conceptual and behavioral issues that require high degree of abstract ...
Fast Instruction Set Customization
(, 2004)
Towards security mechanisms for an industrial microservice-oriented architecture
(2021-08-15)
Service and Microservice-oriented architectures (MOA) are being applied in different areas including Industry 4.0 and Industrial Internet of Things. Even though there are many advantages of using MOA in industrial applications, ...
Interactions of Marine Hydrokinetic Devices in Complex Bathymetries: Numerical Simulations in the Chacao Channel in Southern Chile
(2015)
Many coastal areas in the South Pacific Ocean can provide significant marine energy resources in
the near future. The installation of marine hydrokinetic (MHK) devices in these regions will require
new approaches to ...
Space systems design for research on the interaction of osteoblast-like cells and biomaterials (hydroxyapatite particles and titanium) in microgravity environment
(2014-01-01)
The space environment is characterized by special conditions such as the microgravity and ionizing radiations. These conditions cause major changes in human bodies, or in biomedical samples. Particularly, the bone tissue ...
Stochastic optimization of GeantV code by use of genetic algorithms
(2017-11-23)
GeantV is a complex system based on the interaction of different modules needed for detector simulation, which include transport of particles in fields, physics models simulating their interactions with matter and a ...
Improving Usability of a Mobile Application for Children with Autism Spectrum Disorder Using Heuristic Evaluation
(2019-01-01)
Autism Spectrum Disorder (ASD) is a complex clinical condition that includes social, behavioral, and communication deficits. As numbers in ASD prevalence rise significantly, the tools for computer-assisted interventions ...
Quality Assurance in the ERP5 development process
(2008-01-01)
The design and implementation of an ERP involves capturing the information necessary for implementing a system that supports integrated enterprise management, starting at the enterprise modeling level and finishing at the ...