OPAC

A problem has been found

A problem has ocurred in the communication with the server.

Please, try again later. If the problem persists, contact the admin

Your search

Year: 2005 Repository: 37 Document Type: Sin Especificar

Sort by Score Title Year -

1121-1130 from 1314 results (0.018 seconds)

Title: Modelización y verificación automática de un proceso software
Author: Sosa, Mabel / Ledesma, María I. / Acuña, Silvia T.
Language: Español
Repository: 37
Subject: Ciencias Informáticas / Software process models (e.g., CMM, ISO, PSP) / Temporal logic / Model checking

Acceder
Title: Evaluación de las capacidades humanas en el proceso de desarrollo de software
Author: Acuña, Silvia T. / Sosa, Mabel / Figueroa, Saritha G. / Menini, María de los Ángeles
Language: Español
Repository: 37
Subject: Ciencias Informáticas / Process models / Software process / People

Acceder
Title: CCMini: a prototype of certifying compiler based on annotated abstract syntax trees
Author: Bavera, Francisco / Nordio, Martín / Medel, Ricardo / Aguirre, Jorge / Baum, Gabriel Alfredo
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Verification / Lenguajes de Programación / Compilers / Security

Acceder
Title: Análisis de flujo de control y código móvil seguro : ¿Una alternativa prometedora?
Author: Bavera, Francisco / Nordio, Martín / Aguirre, Jorge
Language: Español
Repository: 37
Subject: Ciencias Informáticas / análisis estático / Security / verificación de código / Compilers / certificación de código

Acceder
Title: Estrategias de ruteo alternativas para redes móviles
Author: Berón, Mario / Gagliardi, Edilma Olinda / Hernández Peñalver, Gregorio
Language: Español
Repository: 37
Subject: Ciencias Informáticas / Graphs and networks / Cellular architecture (e.g., mobile) / Evaluation strategies

Acceder
Title: Una experiencia de captura de requerimientos en un ambiente jerárquico duro
Author: Acosta, Nelson / Mosca, Nicolás A.
Language: Español
Repository: 37
Subject: Ciencias Informáticas / ingeniería de requerimientos / Evolutionary prototyping / Requirements/Specifications / captura de requerimientos / casos de uso y escenarios / brainstorming

Acceder
Title: Precompilation: an alternative approach to provide native generic programming support in C++
Author: Gutson, Daniel F. / Alarcón, Román
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / C++ templates / code generation / metacompiler / generative programming / template metaprogramming

Acceder
Title: Semantic document indexing in ontology-driven organizational memories
Author: Ale, María Alejandra / Galli, María Rosa / Chiotti, Omar Juan Alfredo
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / gestión de conocimientos / Information Search and Retrieval / Semantics / domain ontology / organizational memory

Acceder
Title: Uma proposta de arquitetura para ambientes de desenvolvimento distribuído de software
Author: Wiese, Igor Scaliante / Steinmacher, Igor / Pozza, Rogério / Moriya Huzita, Elisa Hatsue / Amorim, Éderson Fernando / Pascutti, Márcia Cristina Dadalto
Language: Portugués
Repository: 37
Subject: Ciencias Informáticas / Software development / Architectures / Environments

Acceder
Title: Design of a service-oriented architecture for federated systems
Author: Calegari, Daniel / Viera, Marcos / Motz, Regina
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Base de Datos / Distributed Systems / federated systems / service-oriented architecture

Acceder

« Previous 109 110 111 112 113 114 115 116 117 Next »