Metabuscador

Filtrado por:

Temas

Idiomas

Español (3687)
Inglés (176)
Portugués (150)
No aplica (124)
spa (112)
Más...

Recursos

Unversidad Nacional de La Plata (961)
Centro de Investigación y Docencia Económicas - México (813)
Instituto de Investigaciones Sociales - UNAM (464)
Escuela Politécnica Nacional (324)
RUA Docencia (247)

Más...

Año

2013 (485)
2012 (1480)
2011 (561)
2009 (563)
2008 (365)
2007 (718)
Más...

Aproximadamente 4414 registro(s) hasta el momento: (datos)

Mostrar 10 | 50 | 100 resultados por página

Recurso libre

Caracterización de la atención y el uso de la información de lesiones de causa externa en hospitales nacionales Benjamín Bloom, Rosales y Nueva Concepción, y propuesta de un sistema de vigilancia epidemiológica para su implementación a nivel nacional, enero-marzo 2002
Morán de García, Silvia Argentina - Rodríguez de Zúniga, Luz Estrella

Formato:	Thesis, NonPeerReviewed
Enlaces:	El presente estudio sobre “Caracterización de la atención y el uso de la información de las lesiones de causa externa en hospitales nacionales Benjamín Bloom, Rosales y Nueva Concepción, El Salvador, enero-marzo 2002”, se desarrolló con el objetivo de realizar…
Fecha:	2005-10
Recurso:	Institucional de la Universidad de El Salvador

Recurso libre

Comportamiento de los productores de orgánicos. Un análisis exploratorio
Lupín, Beatriz - Rodríguez, Elsa Mirta M. - Reeb, Pablo

Formato:	Documento de Conferencia, PeerReviewed
Enlaces:	Con respecto a la producción de orgánicos, nuestro país tiene experiencia agropecuaria, condiciones agroecológicas propicias y legislación en la materia desde el año 1992. Las ventajas anteriores y el hecho de que, actualmente, las preferencias de consumo de un importante…
Fecha:	2005-10
Recurso:	Facultad de Ciencias Económicas y Sociales - UNMdP

Recurso libre

Un método de transformacion de datos orientado al uso de explotación de información
Merlino, Hernán - Britos, Paola Verónica - Ierache, Jorge - Diez, Eduardo - García Martínez, Ramón

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	En este trabajo se propone un método de transformación de datos orientado a la explotación de información y se detallan las características necesarias que debe poseer el entorno de trabajo para la automatización del mismo., II Workshop de Ingeniería de…
Fecha:	2012-10-26
Recurso:	Unversidad Nacional de La Plata

Recurso libre

D*R-Tree: un método de acceso espacio-temporal
Gagliardi, Edilma Olinda - Dorzán, María Gisela - Gutiérrez Retamal, Gilberto A.

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	Las Bases de Datos Espacio-temporales permiten almacenar y consultar los cambios de posición, forma y/o tamaño de objetos a lo largo del tiempo. Para responder en forma eficiente las consultas que involucran predicados espacio-temporales, es fundamental contar con métodos de…
Fecha:	2012-10-26
Recurso:	Unversidad Nacional de La Plata

Recurso libre

Metodología de selección de herramientas de explotacion de datos
Britos, Paola Verónica - Fernández, Enrique - Ochoa, María A. - Merlino, Hernán - Diez, Eduardo - García Martínez, Ramón

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	En el proceso de explotación de datos existe el riesgo de detectar en forma tardía que la herramienta elegida sea inadecuada para cumplir con los objetivos de negocio establecido. Esto trae como consecuencia la perdida de tiempo y dinero a…
Fecha:	2012-10-26
Recurso:	Unversidad Nacional de La Plata

Recurso libre

Combinando clustering con aproximación espacial para búsquedas en espacios métricos
Barroso, Marcelo - Navarro, Gonzalo - Reyes, Nora Susana

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	El modelo de espacios métricos permite abstraer muchos de los problemas de búsqueda por proximidad. La búsqueda por proximidad tiene múltiples aplicaciones especialmente en el área de bases de datos multimedia. La idea es construir un índice para la base…
Fecha:	2012-10-29
Recurso:	Unversidad Nacional de La Plata

Recurso libre

Una propuesta para la selección de pivotes en indices métricos
Herrera, Norma Edith - De Battista, Anabella - Pascal, Andrés

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	Muchas aplicaciones en computación tienen por objetivo buscar objetos en una base de datos que sean similares a uno dado. Todas estas aplicaciones pueden tratarse en abstracto con el formalismo de espacio métrico. Este método encapsula las propiedades de los…
Fecha:	2012-10-29
Recurso:	Unversidad Nacional de La Plata

Recurso libre

Mejoramiento de la exploración visual de bases de datos mediante transformaciones de vistas
Alvez, Carlos E. - Castro, Silvia Mabel - Martig, Sergio R.

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	Un punto realmente crítico de las visualizaciones está dado por el hecho que la vista a generar está limitada al tamaño del dispositivo de mostrado. En ese espacio fijo de mostrado se puede representar visualmente, de manera efectiva, una cierta…
Fecha:	2012-10-26
Recurso:	Unversidad Nacional de La Plata

Recurso libre

Arquitectura conceptual para combinar los procesos de data warehousing y data mining basada en objetos simbólicos
González Císaro, Sandra - Nigro, Oscar - Xodo, Daniel

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	Este trabajo presenta una arquitectura conceptual para la combinación de los procesos de Data Warehousing con el Data Mining por medio de objetos simbólicos. En los últimos años, las empresas han recopilado una cantidad muy importante de datos, es deseable…
Fecha:	2012-10-26
Recurso:	Unversidad Nacional de La Plata

Recurso libre

10.

Perfil UML para el desarrollo de aplicaciones WAP
Soto, Ricardo - Cámara Joui, Mauricio

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	UML (Unified Modeling Language) es el lenguaje de modelado más utilizado para especificar y documentar sistemas informáticos. Sin embargo, UML es un lenguaje de propósito general, por lo cual muchas veces prescinde de elementos para modelar y representar conceptos concretos…
Fecha:	2012-10-29
Recurso:	Unversidad Nacional de La Plata

Recurso libre

11.

Análisis de la industria de los dulces típicos de la ciudad de Puebla
Domínguez Paredes, Ana Laura

Formato:	Electronic Thesis or Dissertation, Tesis
Enlaces:	La finalidad de este proyecto de tesis es dar a conocer la situación actual de la industria de los dulces típicos de la ciudad de Puebla. Para poder realizar este proyecto en primer lugar, se recurrió al tipo…
Fecha:	2005-10-20
Recurso:	CIRIA

Recurso libre

12.

Clustering dinámico con hormigas artificiales
Ingaramo, Diego Alejandro - Leguizamón, Mario Guillermo - Errecalde, Marcelo Luis

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	La tarea de clustering consiste en la clasificación no supervisada de patrones (observaciones, datos, vectores, etc.) en grupos. Este problema ha sido analizado en varios contextos y por investigadores de distintas disciplinas, reflejando su amplia utilidad. Si bien se han…
Fecha:	2012-10-25
Recurso:	Unversidad Nacional de La Plata

Recurso libre

13.

Mejoras en el control de inventarios de una empresa del ramo de autopartes
Muñoz Muñoz, Israel

Formato:	Electronic Thesis or Dissertation, Tesis
Enlaces:	En la actualidad la globalización ha generado que los mercados mundiales sean cada vez más exigentes, por esto la Industria debe sobresalir en un ambiente altamente competitivo. Desarrollando nuevos y mejores métodos de optimización de los procesos y de…
Fecha:	2005-05-10
Recurso:	CIRIA

Recurso libre

14.

Trastornos neuropsiquiátricos en pacientes con encefalitis viral
Manterola-Cornejo,SO - Soto-Hernández,JL - Campillo,C - Colín,R - López-Meza,E - Ramírez-Bermúdez,J

Formato:	journal article
Enlaces:	Las encefalitis virales son tratadas de manera insuficiente en los libros de texto de neuropsiquiatría y psiquiatría general, a pesar de ser entidades que con frecuencia provocan alteraciones del estado mental y que deben considerarse en el diagnóstico diferencial de…
Fecha:	2005-10-01
Recurso:	SCIELO

Recurso libre

15.

Isquemia cerebral transitoria: Conceptos actuales
Arauz-Góngora,Antonio - Coral-Casas,Juliana - Leyva-Rendón,Adolfo

Formato:	journal article
Enlaces:	Se calcula que en los Estados Unidos de Norteamérica ocurren alrededor de 300,000 nuevos casos de isquemia cerebral transitoria (ICT) por año¹ y alrededor de 15 a 20% de los pacientes con un infarto cerebral tienen historia de ICT². En…
Fecha:	2005-10-01
Recurso:	SCIELO

Recurso libre

16.

Probable encefalitis por virus del oeste del Nilo
Díaz-Olachea,Carlos Gabriel - de la Maza-Flores,Manuel - Dondis-Camaño,David - Lamas-Padilla,Biorica Elena

Formato:	journal article
Enlaces:	Se describe el caso de un paciente con probable encefalitis por virus del oeste de Nilo sospechada clínicamente. Se trata de masculino de 70 años con cuadro febril de 7 días que después desarrolla cuadro de confusión, dificultad en el…
Fecha:	2005-10-01
Recurso:	SCIELO

Recurso libre

17.

Efecto de un programa educativo basado en competencias sobre las capacidades clínicas de pediatras para manejar neonatos en estado crítico
Herrera-Silva,Jorge Carlos - Treviño-Moore,Aída - Moyeda-Rodríguez,Jaime

Formato:	journal article
Enlaces:	Introducción. Evaluar las capacidades clínicas desde la perspectiva de las competencias profesionales es una necesidad en el ámbito de la educación médica a cualquier nivel. Material y métodos. Mediante un censo, en un hospital de especialidades, se evaluó a 16…
Fecha:	2005-10-01
Recurso:	SCIELO

Recurso libre

18.

Interprete NEUPRO utilizando la NeuPro abstract machine
Rapallini, Ulises Mario Alberto - Nanclares, Jorge

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	El lenguaje de programación Prolog es uno de los principales lenguajes de la Inteligencia Artificial. Pertenece a la programación lógica y al desarrollo de bases de datos simbólicas. Existen varios descendientes como el Hilog, el XSB, y el NEUPRO. Todos…
Fecha:	2012-10-25
Recurso:	Unversidad Nacional de La Plata

Recurso libre

19.

Funciones de discretización para índices métricos basados en pivotes
Chávez, Edgar - Herrera, Norma Edith - Ruano, Carina - Villegas, Ana

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	El modelo de Espacios Métricos permite formalizar el concepto de búsqueda por similitud en bases de datos no tradicionales. El objetivo es construir índices que permitan reducir el tiempo necesario para resolver una búsqueda por similitud. Uno de los enfoques…
Fecha:	2012-10-29
Recurso:	Unversidad Nacional de La Plata

Recurso libre

20.

Modelo de pronósticos para el área comercial de una empresa distribuidora de cerveza
Nava Nieto, Gabriela

Formato:	Electronic Thesis or Dissertation, Tesis
Enlaces:	El tema central que se trata en este trabajo, es sobre pronósticos, específicamente para el área de ventas de una empresa distribuidora de cerveza. En el capítulo II, que contiene el marco teórico, se investigó acerca de…
Fecha:	2005-10-01
Recurso:	CIRIA

Recurso libre

21.

Implementação de aspectos temporais em SGBDs livres
Simonetto, Eugênio de Oliveira

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	O trabalho apresenta um estudo sobre a viabilidade de implementação de aspectos temporais, nos SGBD open-source PostgreSQL, Ingres, Firebird e MySql, tratando três modalidades diferentes: (1) tabela instantânea para BD de tempo de transação, (2) visão para BD de tempo…
Fecha:	2012-10-26
Recurso:	Unversidad Nacional de La Plata

Recurso libre

22.

Gestión asistida de documentos en una metodología de explotación de información
Fernández, Enrique - Merlino, Hernán - Ochoa, María A. - Diez, Eduardo - Britos, Paola Verónica - García Martínez, Ramón

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	El abordaje metodológico de un proyecto de ingeniería del software se apoya en un conjunto de actividades que generan documentación y que exige el uso de herramientas software que permitan realizar una gestión de documentos completa, ordenada y con capacidad…
Fecha:	2012-10-26
Recurso:	Unversidad Nacional de La Plata

Recurso libre

23.

Design of a service-oriented architecture for federated systems
Calegari, Daniel - Viera, Marcos - Motz, Regina

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	A Federated System is a collection of independent, cooperative, possibly heterogeneous and autonomous computer systems (usually database systems) which allows sharing all or some of its data. A Service-oriented Architecture is an application architecture whose functionalities are defined as independent…
Fecha:	2012-10-29
Recurso:	Unversidad Nacional de La Plata

Recurso libre

24.

Valoración global de la aptitud clínica de médicos familiares en el manejo de la diabetes mellitus con nefropatía inicial
Cabrera-Pivaral,Carlos Enrique - Chávez,Sandra Angélica - González-Reyes,Héctor Fernando - Cortés-Sanabria,Laura

Formato:	journal article
Enlaces:	La nefropatía diabética en etapa inicial requiere de una oportuna identificación por parte de los médicos familiares. De hecho, ellos deberían estar capacitados para interpretar los datos que sugieren que el paciente está cursando esa etapa de la enfermedad, con…
Fecha:	2005-10-01
Recurso:	SCIELO

Recurso libre

25.

Validación de la escala NOSEP-1 para el diagnóstico de sepsis nosocomial en recién nacidos prematuros menores de 1 500 g
Reyna-Figueroa,Jesús - Briseño-Vázquez,Rafael - Ortiz-Ibarra,Federico Javier

Formato:	journal article
Enlaces:	Introducción. Mahieu y colaboradores desarrollaron una escala denominada NOSEP-1, basada en datos clínicos y de laboratorio, con el objetivo de encontrar parámetros para el diagnóstico de sepsis nosocomial neonatal. En este estudio se evaluó la eficacia de la escala en…
Fecha:	2005-10-01
Recurso:	SCIELO

Recurso libre

26.

Síndrome de Klippel-Feil: una enfermedad musculoesquelética, con malformaciones cardiovasculares asociadas
de Rubens-Figueroa,Jesús - Zepeda-Orozco,Gabriela - González-Rosas,Alma

Formato:	journal article
Enlaces:	Introducción. El síndrome de Klippel-Feil (SKF) es un padecimiento de herencia autosómica dominante con penetrancia reducida y expresión variable, en el cual la tríada clínica inicial es de cuello corto, disminución en la movilidad del cuello e implantación baja del…
Fecha:	2005-10-01
Recurso:	SCIELO

Recurso libre

27.

La Dinámica Competitiva de Big Cola, en su Entrada a México
Beyrute Bretón, Roberto

Formato:	Electronic Thesis or Dissertation, Tesis
Enlaces:	La estrategia competitiva es uno de los puntos más importantes dentro de la administración de empresas, ya que con ésta se pueden conjugar todas las áreas y herramientas de la administración para poder guiar exitosamente una organización. Dentro de…
Fecha:	2005-11-10
Recurso:	CIRIA

Recurso libre

28.

Consistencia de las categorías de transmisión sexual del VIH/SIDA informadas por el sistema de vigilancia epidemiológica del estado de Chiapas, México.: Un problema metodológico
Uribe-Salas,Felipe - Conde-González,Carlos J - Magis-Rodríguez,Carlos - Juárez- Figueroa,Luis

Formato:	journal article
Enlaces:	Objetivo: Contrastar los mecanismos de transmisión del VIH comunicados por las fuentes de información del sistema de vigilancia epidemiológica en el estado de Chiapas con los referidos por individuos positivos a la presencia al VIH en la región del Soconusco…
Fecha:	2005-10-01
Recurso:	SCIELO

Recurso libre

29.

Improving use case definition using enterprise communication networks
Luzuriaga, Juan Manuel

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	Although researchers noted the importance of effective communication among stakeholders, it continues to be a challenge for requirements engineering. Communication can be considered as a management tool since communication allows organisation’s personnel to produce a cohesive enterprise view. In this…
Fecha:	2012-10-26
Recurso:	Unversidad Nacional de La Plata

Recurso libre

30.

Verificando diseños BON mediante Alloy
Castro, Pablo Francisco - Ponzio, Pablo Daniel - Demasi, Ramiro Adrián - Baum, Gabriel Alfredo

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	En este artículo presentamos una técnica para traducir diseños estructurales expresados en el lenguaje BON, al lenguaje formal Alloy. En donde, la principal ventaja de la traducción es que puede realizarse automáticamente mediante herramientas de software. Adicionalmente, esta metodología puede…
Fecha:	2012-10-26
Recurso:	Unversidad Nacional de La Plata

Recurso libre

31.

Clasificación y ejemplos del uso de ontologías en Ingeniería del Software
Aranda, Gabriela N. - Ruíz, Francisco

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	Las ontologías se han convertido en herramientas que pueden asistir eficientemente en las actividades de desarrollo y mantenimiento de software ya que, al reducir la ambigüedad y proveer un marco de unificación, ayudan a compartir conocimiento, facilitan la comunicación y…
Fecha:	2012-10-26
Recurso:	Unversidad Nacional de La Plata

Recurso libre

32.

Balance de carga para factorización LU de matrices en clusters heterogéneos
Tinetti, Fernando Gustavo - Denham, Mónica Malén

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	En este trabajo se intenta resolver de forma correcta el balance de carga para la factorización LU de matrices en clusters heterogéneos. Se utiliza una solución paralela a la factorización LU especialmente desarrollada para obtener buen rendimiento en clusters heterogéneos.…
Fecha:	2012-10-30
Recurso:	Unversidad Nacional de La Plata

Recurso libre

33.

Visualización del balance de carga en un sistema distribuido
Larrea, Martín Leonardo - Martig, Sergio R. - Castro, Silvia Mabel - Echaiz, Javier

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	Balancear la carga de un sistema distribuido involucra equilibrar la distribución de tareas en el mismo con el objetivo de lograr un aumento de rendimiento. La principal herramienta utilizada para esto es la migración de procesos o de datos; ésta…
Fecha:	2012-10-26
Recurso:	Unversidad Nacional de La Plata

Recurso libre

34.

Preprocesamiento alternativo de imágenes 3D de MRA
Braidot, Ariel A. - Flecha, Antonio M. - Galiano, Leonardo - Alfaro, Marta - Romagnoli O., Javier - Sattler, Aníbal J. - Volpi, Gustavo

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	En los últimos años el avance de los sistemas de cómputo han permitido un sustancial progreso en las aplicaciones del procesamiento digital de imágenes. Este avance se refleja especialmente en el grado de mejoramiento de las imágenes de tomografía axial…
Fecha:	2012-10-26
Recurso:	Unversidad Nacional de La Plata

Recurso libre

35.

Simulación y análisis del algoritmo de codificación turbo en sistemas de comunicaciones móviles: un estudio comparativo
Corteggiano, Fernando - Gioda, Marcelo - Carranza, Esteban - Medina, M. Luciana - Bazán, Diego - Di Claudio, Gerardo

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	El objetivo de un sistema de comunicación es transmitir información a la mayor velocidad con el menor consumo de energía y con la mínima cantidad de errores; aún cuando el medio o canal de comunicación empleado sea muy ruidoso. La…
Fecha:	2012-10-30
Recurso:	Unversidad Nacional de La Plata

Recurso libre

36.

Desde Logo y StarLogo a Micromundos Híbridos
Ramírez, Sebastián Pablo - Ierache, Jorge Salvador

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	En la década del 80 Seymour Papert crea un programa para reforzar la creatividad y el aprendizaje de las matemáticas. Dicho programa consistía en una tortuga gráfica que era comandada por el usuario y podía asignarle varias funcionalidades como avanzar,…
Fecha:	2012-10-30
Recurso:	Unversidad Nacional de La Plata

Recurso libre

37.

Necesidad del empleo de herramientas estándares en XP
Pinciroli, Fernando

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	Más allá de todo lo que se discutió y se seguirá discutiendo entre los seguidores de las metodologías de desarrollo ágiles y los que sostienen propuestas con el empleo de más herramientas y de más documentación, hay un aspecto que…
Fecha:	2012-10-26
Recurso:	Unversidad Nacional de La Plata

Recurso libre

38.

Classifying software requirement prioritization approaches
Martínez Carod, Nadina - Cechich, Alejandra

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	Defining software requirements is a complex and difficult process, which often leads to costly project failures. Requirements emerge from a collaborative and interactive negotiation process that involves heterogeneous stakeholders (people involved in an elicitation process such as users, analysts, developers,…
Fecha:	2012-10-26
Recurso:	Unversidad Nacional de La Plata

Recurso libre

39.

Elaboración de planes de la calidad en proyectos de software
Álvarez, Amalia I. - López, Matilde

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	La adecuada definición de un proceso de software aumenta la posibilidad de que un proyecto obtenga un producto de calidad aceptable. En el presente trabajo se presentan los planes de la calidad como instrumento para documentar el proceso de software…
Fecha:	2012-10-26
Recurso:	Unversidad Nacional de La Plata

Recurso libre

40.

Experimentos con métodos de extracción de la idea principal de un texto sobre una colección de noticias periodísticas en español
Tolosa, Gabriel Hernán - Peri, Jorge Alberto - Bordignon, Fernando

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	Este trabajo tiene por objetivo evaluar distintas técnicas de selección de la oración que mejor representa la idea principal (gist) de un texto corto (noticia de prensa) en español. Se utilizaron dos métodos clásicos de la literatura y dos propuestas…
Fecha:	2012-10-26
Recurso:	Unversidad Nacional de La Plata

Recurso libre

41.

Modelado de aplicaciones con procesos concurrentes y distribuidos
Giulianelli, Daniel Alberto - Rodríguez, Rocío Andrea - Vera, Pablo M.

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	En este paper se muestra la posibilidad de modelar una aplicación para redes de alta velocidad a través de UML (Lenguaje de Modelado Unificado). Tomando como punto de partida la consideración que toda aplicación de este tipo tendrá procesos remotos…
Fecha:	2012-10-26
Recurso:	Unversidad Nacional de La Plata

Recurso libre

42.

CIMTool: una herramienta para la definición de un diagrama de clases UML
Leonardi, María Carmen - Mauco, Virginia - Leoni, Hernán

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	Model Driven Architecture es un framework de desarrollo de software cuyo concepto clave es la transformación automática de modelos. Uno de estos modelos, el Computer Independent Model (CIM), se usa para definir el modelo del negocio. En este trabajo se…
Fecha:	2012-10-26
Recurso:	Unversidad Nacional de La Plata

Recurso libre

43.

Usando el ambiente Maude para la demostración semi-automática de teoremas en lógica temporal lineal de primer orden
Mac Donnell, Patricio - Aguirre, Nazareno Matías

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	En este artículo, presentamos una implementación modular de un demostrador semi-automático de teoremas para la lógica temporal lineal de primer orden, realizada en el ambiente Maude. Maude es un ambiente de programación y especificación, basado en la lógica de reescritura,…
Fecha:	2012-10-26
Recurso:	Unversidad Nacional de La Plata

Recurso libre

44.

Programación extrema y calidad
Bertone, Rodolfo Alfredo - Pasini, Ariel C. - Ramón, Hugo Dionisio

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	La Programación Extrema (XP) es una práctica de Ingeniería de Software que permite el desarrollo de aplicaciones desde una perspectiva diferente a lo que plantean la mayoría de las metodologías clásicas respecto de la construcción del software. Por su concepción…
Fecha:	2012-10-26
Recurso:	Unversidad Nacional de La Plata

Recurso libre

45.

Open Arithmetics Fortran 90
Regis, Germán - Arroyo, Marcelo - Aguirre, Jorge

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	Los errores de redondeo introducidos por las diferentes representaciones finitas de los números reales en los lenguajes de programación y su propagación a través de la operaciones aritméticas constituye el problema central del cálculo numérico. Cada aritmética particular de punto…
Fecha:	2012-10-26
Recurso:	Unversidad Nacional de La Plata

Recurso libre

46.

CCMini: a prototype of certifying compiler based on annotated abstract syntax trees
Bavera, Francisco - Nordio, Martín - Medel, Ricardo - Aguirre, Jorge - Baum, Gabriel Alfredo

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	Certifying compilers use static information of a program to verify that it complies with certain security properties and to generate certified code. To do so, those compilers translate the source program into an annotated program written in some intermediate language.…
Fecha:	2012-10-26
Recurso:	Unversidad Nacional de La Plata

Recurso libre

47.

Estrategias de ruteo alternativas para redes móviles
Berón, Mario - Gagliardi, Edilma Olinda - Hernández Peñalver, Gregorio

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	El ruteo de paquetes en una red de computadoras móviles presenta un desafío de investigación. Esto se debe a que este tipo de redes carece de una infraestructura física debido a la movilidad constante de las máquinas que la componen.…
Fecha:	2012-10-29
Recurso:	Unversidad Nacional de La Plata

Recurso libre

48.

Semantic document indexing in ontology-driven organizational memories
Ale, María Alejandra - Galli, María Rosa - Chiotti, Omar Juan Alfredo

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	Effective document retrieval using domain knowledge and semantics is one of the major challenges in Information Retrieval. Over the last years, there has been a growing interest in ontologies as an artifact for human knowledge representation and a critical component…
Fecha:	2012-10-29
Recurso:	Unversidad Nacional de La Plata

Recurso libre

49.

Uma proposta de arquitetura para ambientes de desenvolvimento distribuído de software
Wiese, Igor Scaliante - Steinmacher, Igor - Pozza, Rogério - Huzita, Elisa Hatsue Moriya - Amorim, Éderson Fernando - Pascutti, Márcia Cristina Dadalto

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	O número de empresas que estão distribuindo seus processos de desenvolvimento de software ao redor do mundo é cada vez mais significativo, visando ganho de produtividade, redução de custos e melhorias na qualidade. Neste sentido são propostos ambientes de desenvolvimento…
Fecha:	2012-10-29
Recurso:	Unversidad Nacional de La Plata

Recurso libre

50.

A UML profile to model classifier refinements
Correa, Natalia - Giandini, Roxana Silvia - Pons, Claudia

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	The refinement technique allows us to capture the relationship between specification and implementation in software developments. The precise documentation of the refinement relations hip makes it possible the traceability of the requirements through the refinement steps. Unfortunately, the standard modelling…
Fecha:	2012-10-29
Recurso:	Unversidad Nacional de La Plata