Metabuscador

Filtrado por:

Temas

Ciencias Informáticas (65)
Evaluación e imagen del presidente y su gobierno (65)
Electoral federal (61)
Evaluación del Presidente Fox y de su gestión (57)
Asuntos políticos (46)
Más...

Idiomas

Español (360)
Inglés (15)
es (8)
spa (3)
No aplica (2)
Más...

Recursos

Más...

Año

2013 (21)
2012 (87)
2011 (47)
2010 (36)
2009 (163)
2008 (17)
Más...

Aproximadamente 390 registro(s) hasta el momento: (base de datos)

Mostrar 10 | 50 | 100 resultados por página

Recurso libre

Implementación de un sistema distribuido de autenticación biométrica en la detección e identificación de rostros humanos en imágenes extraídas de secuencia de vídeo
Gualle Calahorrano, Diego Xavier - Rosales Yépez, José Francisco

Formato:	Tesis
Enlaces:	El presente proyecto brinda información relacionada con la biometría, sus fundamentos, métodos y su utilización e importancia en la seguridad de redes, así como generalidades de la detección e identificación de rostros en imágenes extraídas de video digital. Se describen…
Fecha:	2009-07-16
Recurso:	Escuela Politécnica Nacional

Recurso libre

Workflow de Pago de Facturas de Bienes y Servicios
GOYES GRÉSELY, ANA MARÍA - ORTIZ QUINTEROS, PAMELA FERNANDA

Formato:	Thesis
Enlaces:	El Workflow de Pago de Factura de Bienes y Servicios es una aplicación web que fue desarrollada empleando la plataforma Lotus Domino para la automatización del proceso que utiliza base de datos documentales y junto con otros lenguajes de Web…
Fecha:	2012-07-11
Recurso:	Universidad de Guayaquil

Recurso libre

Huelga de maestros
Oficina de la Presidencia de la República Mexicana

Formato:	Base de datos, cuestionario y descripción de datos
Enlaces:	Descripción completa.
Fecha:	2009-01-07
Recurso:	Centro de Investigación y Docencia Económicas - México

Recurso libre

Conflicto post - electoral 2006; Ambiente federal electoral
Oficina de la Presidencia de la República Mexicana

Formato:	Base de datos, cuestionario y descripción de datos
Enlaces:	Descripción completa.
Fecha:	2009-01-07
Recurso:	Centro de Investigación y Docencia Económicas - México

Recurso libre

Sistema gerencial para planificar créditos de una financiera mediante data warehouse
Cepeda Sánchez, Daysi Narciza

Formato:	Tesis
Enlaces:	El propósito de este proyecto es proveer a los ejecutivos de la Institución una herramienta que permite obtener información en forma resumida, eficiente y rápida para análisis, proyecciones y la toma de decisiones. Los informes que se presentan son: cartera…
Fecha:	2009-06-26
Recurso:	Escuela Politécnica Nacional

Recurso libre

PLAN PILOTO PARA LA ADMINISTRACIÓN EMERGENTE DE BASE DE DATOS SQL SERVER 2005 A TRAVÉS DE E-MAIL MEDIANTE TECNOLOGÍA JAVA
VERA AGUIRRE, DICK MARCOS

Formato:	Thesis
Enlaces:	La Administración de una Base de Datos conlleva una gran responsabilidad por lo que no se puede descuidar su normal funcionamiento dentro de los parámetros fijados en una empresa que realice el almacenamiento de sus datos en forma digital. Es…
Fecha:	2013-11-08
Recurso:	Universidad de Guayaquil

Recurso libre

Análisis de dependencias para la marcación de cuentos con emociones
Francisco Gilmartín, Virginia - Gervás Gómez-Navarro, Pablo

Formato:	info:eu-repo/semantics/article
Enlaces:	Este artículo muestra un método para la marcación automática de emociones (EmoTag) en textos en lengua inglesa, prestando especial atención a la utilización de un analizador de dependencias (MINIPAR) para la localización de las palabras implicadas en las negaciones. De…
Fecha:	2007-11-26
Recurso:	RUA Docencia

Recurso libre

Administración de una base de datos replicada: implementación de un protocolo de cometido en un problema real
Lamberti, Ricardo Javier

Formato:	Tesis, Tesis de grado
Enlaces:	Sumario: 1- Introducción a las bases de datos distribuidas 2- Replicación 3- Sincronización 4- Manejo de réplicas coordinadas 5- Presentación de un problema real 6- Implementación de una solución 7- Conclusiones
Fecha:	2008-05-09
Recurso:	Unversidad Nacional de La Plata

Recurso libre

Balance de carbono en la región mediterránea de Baja California
MIRIAM HEREDIA OSORIO

Formato:	info:eu-repo/semantics/masterThesis
Enlaces:	El presente trabajo es una aproximación al balance de carbono en la región mediterránea de Baja California (RMBC). Como objetivo general se realizó un balance de carbono en la RMBC. Del objetivo general se derivaron los siguientes objetivos específicos: 1)…
Fecha:	2006
Recurso:	COLEF

Recurso libre

10.

ADMINISTRACIÓN DE BASE DE DATOS ORACLE
CASTRO MOYA, PAOLA - ENDARA MANOSALVAS, VICTOR - NARANJO CHANO, OLGA

Formato:	Thesis
Enlaces:	Abdofox es una herramienta 100% ecuatoriana desarrollada en Visual Fox 9. Que ofrece a través de sus funcionalidades gestionar la base de datos de forma oportuna y eficaz. Está conformado por nueve módulos que contienen opciones agrupadas según sus…
Fecha:	2013-11-13
Recurso:	Universidad de Guayaquil

Recurso libre

11.

Base de datos adaptable como herramienta de apoyo al Proyecto Aula de la Universidad Veracruzana
Huesca Solano, Rosa Isela

Formato:	Thesis
Enlaces:	Tesis presentada a la Facultad de Contaduría y Administración de la Universidad Veracruzana. Región Xalapa.
Fecha:	2012-05-14
Recurso:	Universidad Veracruzana

Recurso libre

12.

SISTEMA ADMINISTRADOR DE BASE DE DATOS SYSTEMDDJ.NET
CUNALEMA MASABANDA, JUAN HORACIO - HUAYAMAVE MARICHAL, DIANA SOFIA - SAAVEDRA CEVALLOS, DANNY CHRISTHIAN

Formato:	Thesis
Enlaces:	Este Administrador de Base de Datos de Oracle 9i fue desarrollado para darle al Ecuador un Software que se dedica al respaldo, recuperación y administración de los datos de sus Empresas u Organización, y hacer de éstas lideres en consistencia…
Fecha:	2013-11-08
Recurso:	Universidad de Guayaquil

Recurso libre

13.

Evento: Entrenamiento base de datos science direct

Formato:
Enlaces:	Nivel monográfico, Mérida, 08 de junio de 2006
Fecha:	2006-06-06
Recurso:	Universidad de los Andes Venezuela

Recurso libre

14.

Administrador gráfico para MYSQL
Benitez Taco, Evelin Fernanda - Quelal Godoy, Lidia Viviana

Formato:	Tesis
Enlaces:	MySql es un sistema gestor de Base de Datos Relacionales. MySQL es un sistema de Software libre más utilizado por su rapidez, facilidad de uso y por su acoplamiento a una gran cantidad de lenguajes de programación. Inicialmente, carecía de…
Fecha:	2009-07-24
Recurso:	Escuela Politécnica Nacional

Recurso libre

15.

Estudo dos ataques matemáticos ao RSA e hipótese de modificação do algoritmo
García López, Javier - Meurer, Lúcio Adolfo

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	This article presents a brief study on the public key algorithm RSA and its vulnerabilities, setting some changes in it, taking advantage on certain well known numeric properties. This new version of the algorithm is going to be tested, compared…
Fecha:	2012-10-12
Recurso:	Unversidad Nacional de La Plata

Recurso libre

16.

Implementando ayuda dinámica en la plataforma eclipse
Vanrell, Juan Ángel - Vaucheret, Claudio A.

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	El sistema de ayuda de la plataforma Eclipse1 define puntos de extensión con los cuales podemos contribuir. Uno de los aspectos menos documentados es la producción de ayuda en forma dinámica. En este artículo trataremos el uso del punto de…
Fecha:	2012-09-11
Recurso:	Unversidad Nacional de La Plata

Recurso libre

17.

Plug-in de eclipse para un Sistema Prolog de código abierto
Vanrell, Juan Ángel - Vaucheret, Claudio A.

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	En este trabajo presentamos la implementación de componentes para un plug-in de Eclipse que permite la visualización del Modelo de Byrd de depuración de programas lógicos sobre el código fuente de los programas. La depuración en el código fuente es…
Fecha:	2012-09-11
Recurso:	Unversidad Nacional de La Plata

Recurso libre

18.

Sistema de Simulación de Transformación Lluvia-Caudal (SSTLC)
Rosario San Miguel, María del - Pérez, Martín - Zamanillo, Eduardo A.

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	Se presenta un modelo de simulación del proceso de transformación lluvia-caudal. El sistema permite elegir el mejor conjunto de algoritmos en cada fase del proceso, en función de la información disponible. Se diseñó y desarrolló el sistema computacional, programando los…
Fecha:	2012-09-11
Recurso:	Unversidad Nacional de La Plata

Recurso libre

19.

Computing support for virtual communities of practice
Casalini, María Clara - Estevez, Elsa Clara - Janowski, Thomas

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	This document describes a research and development project - Semantic Web and Cooperative Problem Solving for Online Communities of Practice. The aim of the project is to build a system supporting Cooperative Problem Solving within the framework of online Communities…
Fecha:	2012-09-11
Recurso:	Unversidad Nacional de La Plata

Recurso libre

20.

Tecnología para la enseñanza de bases de datos
Del Ben, Enzo - Vinjoy, Marcelo

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	El objetivo principal es proporcionar un entorno de aprendizaje en el diseño eficiente de bases de datos. Relacionales , Objeto- Relacionales y Orientadas a Objetos), creando un prototipo de investigación con código abierto para que los alumnos que lo utilicen…
Fecha:	2012-09-10
Recurso:	Unversidad Nacional de La Plata

Recurso libre

21.

Evaluación del Presidente Fox y de su gestión
Oficina de la Presidencia de la República Mexicana

Formato:	Base de datos, cuestionario y descripción de datos
Enlaces:	Descripción completa.
Fecha:	2008-12-16
Recurso:	Centro de Investigación y Docencia Económicas - México

Recurso libre

22.

Libertad de expresión; Quinto Informe de gobierno
Oficina de la Presidencia de la República Mexicana

Formato:	Base de datos, cuestionario y descripción de datos
Enlaces:	Descripción completa.
Fecha:	2009-01-07
Recurso:	Centro de Investigación y Docencia Económicas - México

Recurso libre

23.

Expectativas para las elecciones a diputados federales 2003
Oficina de la Presidencia de la República Mexicana

Formato:	Base de datos, cuestionario y descripción de datos
Enlaces:	Descripción completa.
Fecha:	2009-01-07
Recurso:	Centro de Investigación y Docencia Económicas - México

Recurso libre

24.

Movimiento del Frente Zapatista; Ejército Zapatista de Liberación Nacional (EZLN); Subcomandante Marcos
Oficina de la Presidencia de la República Mexicana

Formato:	Base de datos, cuestionario y descripción de datos
Enlaces:	Descripción completa.
Fecha:	2009-01-07
Recurso:	Centro de Investigación y Docencia Económicas - México

Recurso libre

25.

Desafuero de Andrés Manuel López Obrador; Asuntos políticos
Oficina de la Presidencia de la República Mexicana

Formato:	Base de datos, cuestionario y descripción de datos
Enlaces:	Descripción completa.
Fecha:	2009-01-07
Recurso:	Centro de Investigación y Docencia Económicas - México

Recurso libre

26.

Caso Gustavo Ponce; Escándalos de corrupción en el Distrito Federal
Oficina de la Presidencia de la República Mexicana

Formato:	Base de datos, cuestionario y descripción de datos
Enlaces:	Descripción completa.
Fecha:	2009-01-07
Recurso:	Centro de Investigación y Docencia Económicas - México

Recurso libre

27.

Larger menus and entrepreneurial appetite: an empirical investigation of organization choice in Mexico, 1886-1910
Musacchio Farias, A. - Gómez Galvarriato, A.

Formato:	info:eu-repo/semantics/workingPaper
Enlaces:	Do countries need a large menu of organizational forms? Does the flexibility of a larger organizational menu provide advantages for businesses? This paper explores these questions by studying the choice of organizational form in an underdeveloped civil law country undergoing…
Fecha:	2006
Recurso:	CIDE RI

Recurso libre

28.

La mujer como personaje real: representaciones iconográficas
Robles Fernández, Goretty

Formato:	info:eu-repo/semantics/article, Artículo revisado por pares, info:eu-repo/semantics/publishedVersion
Enlaces:	Se pasa revista a los diferentes manuales que he utilizado en mi actividad docente, trece hasta el momento. Como paso previo, he recogido en una base de datos todas las imágenes que aparecen en esos manuales, para posteriormente realizar un…
Fecha:	2006-03-01
Recurso:	Revista Foro de profesores de E/Le

Recurso libre

29.

Optimización de búsquedas en bases de datos métricas
Bustos, Cristian - Ludueña, Verónica - Reyes, Nora Susana

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	Con la evolución de las tecnologías de información y comunicación, han surgido depósitos no estructurados de información. No sólo se consultan nuevos tipos de datos tales como texto libre, imágenes, audio y vi deo; sino que además, en algunos casos,…
Fecha:	2012-09-03
Recurso:	Unversidad Nacional de La Plata

Recurso libre

30.

Substitución de componentes software basado en testing
Flores, Andrés P. - Polo, Macario

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	Los componentes software permiten la crear aplicaciones a través de ensamblaje, y realizar ajustes y extensión al agregar o cambiar un conjunto de componentes interdependientes. Sin embargo, esta flexibilidad conlleva riesgos sino se administra cuidadosamente, dado que de otra manera…
Fecha:	2012-09-04
Recurso:	Unversidad Nacional de La Plata

Recurso libre

31.

Using web-site QEM to measure the quality of sites
Olsina Santos, Luis Antonio - Lafuente, Guillermo Javier - Lafuente, Gustavo - Rossi, Gustavo

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	In this position paper, the main steps to measure and evaluate quantitatively the quality of sites are shown. Besides, some specific models, criteria and procedures to apply in these activities are discussed by quoting case studies already performed (e.g., in…
Fecha:	2012-10-10
Recurso:	Unversidad Nacional de La Plata

Recurso libre

32.

Evaluación integral de planes de expansión de las redes de transmisión y subtransmisión del Sistema Nacional Interconectado
Porras Ortiz, Augusto Fabricio - Arcos Martínez, Hugo Neptalí

Formato:	Article
Enlaces:	La planificación de expansión de las redes eléctricas del Sistema Nacional Interconectado –SNI- debe ejecutarse en función de sus requerimientos y considerando escenarios pronosticados de oferta y demanda. Bajo ese contexto, este trabajo presenta una planificación determinista-estática (máxima demanda y…
Fecha:	2011-04-07
Recurso:	Escuela Politécnica Nacional

Recurso libre

33.

Control inalámbrico de tiempo para los recorridos en unidades de transporte público terrestre
Cisneros, Cristina - Collaguazo, Gerardo

Formato:	Article
Enlaces:	El proyecto se centra en el diseño y construcción de un circuito electrónico programable compuesto de Hardware y Software para realizar el control de tiempo del recorrido de las unidades de Transporte Público de manera inalámbrica y automática basado en…
Fecha:	2011-04-07
Recurso:	Escuela Politécnica Nacional

Recurso libre

34.

Desarrollo de un sistema de administración de las actividades eclesiásticas de la Iglesia Católica Parroquial Santiago Apóstol usando herramientas Web
Pila Valdiviezo, Diana Cristina

Formato:	Thesis
Enlaces:	El presente proyecto de titulación describe el desarrollo de un sistema para la administración de las actividades eclesiásticas de la Iglesia Católica Parroquial Santiago Apóstol usando herramientas Web. Se divide en cuatro capítulos: El Capítulo 1 se titula Aspectos Generales…
Fecha:	2013-11-28
Recurso:	Escuela Politécnica Nacional

Recurso libre

35.

Diseño e Implementación de un Sistema para el Almacenamiento de Datos desde un Plc a una Base de Datos
Medina Pazmiño, Wilson Efraín

Formato:	Thesis
Enlaces:	El presente trabajo muestra la funcionalidad de un sistema con el que podemos almacenar la información en un entorno de datos, controlando cualquier tipo de variable (f física, remota) A lo primero que se dio solución fue, crear la interfaz…
Fecha:	2011-08-05
Recurso:	Universidad Técnica de Ambato

Recurso libre

36.

Diseño y construcción de una solución WEB para controlar instrumentos con opción GPIB conectados a un ordenador servidor
Cáceres Rivas, Osbaldo Alexander - León Vásquez, Luis Aleixandre

Formato:	Thesis, NonPeerReviewed
Enlaces:	En este trabajo se ha tratado de proporcionar una solución eficaz y óptima a la necesidad de un sistema para controlar de forma remota una serie de instrumentos con la característica en común que implementan el protocolo IEEE488, por tal…
Fecha:	2006
Recurso:	Institucional de la Universidad de El Salvador

Recurso libre

37.

Análisis de confiabilidad del sistema Nacional Interconectado Ecuatoriano utilizando el software NEPLAN
Sánchez Iniguez, Gustavo Rafael - Tates Simbaña, Daniel Eduardo

Formato:	Thesis
Enlaces:	El objetivo del presente proyecto es la determinación de índices de confiabilidad del Sistema Nacional Interconectado (SNI), mediante la utilización del programa computacional NEPLAN. Se presentan los fundamentos teóricos para la evaluación de la confiabilidad en sistemas eléctricos de potencia,…
Fecha:	2011-10-12
Recurso:	Escuela Politécnica Nacional

Recurso libre

38.

TecnoDB una Base de Datos Relacional y Prometeo un metodo de aprovechamiento de Metadatos y Generador de Consultas
Gastañaga, Iris - Maldonado, Calixto - Martínez Spessot, Cesar Ignacio - Hintermeister, Erica

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	El presente trabajo describe brevemente el proyecto TecnoDB, iniciado en el año 2002, con acreditación de las Secretaria de Ciencia y Técnica de la Utn desde 2004 y finalizado en Diciembre de 2005. De ese proyecto se generó un grupo…
Fecha:	2012-09-11
Recurso:	Unversidad Nacional de La Plata

Recurso libre

39.

Indexación de objetos en movimiento sobre redes móviles
Gagliardi, Edilma Olinda - Giraudi, Daniela Carolina - Segura Guzmán, Gabriela Soledad - Hernández Peñalver, Gregorio

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	La administración de objetos en movimiento ha despertado un amplio interés en los últimos años. Las bases de datos que guardan objetos espaciales cuyo tamaño y/o posición cambia a través del tiempo se llaman base de datos espacio-temporales (BDET). El…
Fecha:	2012-09-11
Recurso:	Unversidad Nacional de La Plata

Recurso libre

40.

Base de Datos de Iniciativas de Reforma Local en Materia Electoral (2004-2006)
Instituto Federal Electoral (México). Centro para el Desarrollo Democrático

Formato:	Base de datos, documentos (texto completo), lista de documentos, libro de códigos y resumen
Enlaces:	El objetivo primordial de esta base, es proveer de información objetiva y relevante al Consejo General del IFE, en particular, y a los ciudadanos en general; además de servir como panorama de las propuestas elaboradas por los legisladores locales y…
Fecha:	2012-07-03
Recurso:	Centro de Investigación y Docencia Económicas - México

Recurso libre

41.

Modelos y algoritmos de búsqueda + redes sociales para aplicaciones verticales de recuperación de información
Tolosa, Gabriel Hernán - Bordignon, Fernando

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	El espacio web no es solamente un enorme repositorio de información de todo tipo, sino - además – es una plataforma para soportar servicios globales de naturaleza diversa. El incremento exponencial de contenido y de usuarios (por ejemplo: en las…
Fecha:	2012-08-22
Recurso:	Unversidad Nacional de La Plata

Recurso libre

42.

Autogeneración dinámica de interfaz de usuario a partir del modelo de datos
Vidal Castilla, Jorge A.

Formato:	Tesis, Tesis de grado
Enlaces:	Objetivo del trabajo: Diseñar y desarrollar artefactos de software que permitan: - Generar metadatos desde una tabla existente en la base de datos. - Modificar dichos metadatos, de manera tal que se puedan explicitar relaciones entre ellos y estilos de…
Fecha:	2008-05-09
Recurso:	Unversidad Nacional de La Plata

Recurso libre

43.

Sistema de información para evaluar la evolución del potencial de niños con insuficiencia motriz cerebral (I.M.C.)
Orellana Lara, Carmen Jimena - Orellana Lara, Mayra alexandra

Formato:	Tesis
Enlaces:	Lascano, Edison (Director)
Fecha:	2009-07-10
Recurso:	Escuela Politécnica Nacional

Recurso libre

44.

Sistema Extranet para el análisis Causa Raíz para la Industria Productiva
Rojas Lema, Edison Santiago

Formato:	Tesis
Enlaces:	El presente proyecto de titulación se presenta la sistematización de un método de mantenimiento mecánico como es el Causa-Raíz, utilizando para ello lenguajes de programación de código abierto o gratuito para funcionar dentro de una red externa. En el trabajo…
Fecha:	2010-01-11
Recurso:	Escuela Politécnica Nacional

Recurso libre

45.

Struts y JavaServer Faces, cara a cara
Díaz, Francisco Javier - Queiruga, Claudia Alejandra - Fava, Laura

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	J2EE es una plataforma para desarrollo de aplicaciones empresariales, escalable, robusta, multiplataforma, madura y muy bien documentada. A pesar de esto, desde el punto de vista del programador escribir aplicaciones usando la API1 de Servlets, JSP y EJB es una…
Fecha:	2012-09-04
Recurso:	Unversidad Nacional de La Plata

Recurso libre

46.

Formal specifications in component-based development
Estevez, Elsa Clara - Fillottrani, Pablo Rubén

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	Software engineering has entered a new era, the Internet and its associated technologies require a different conceptual framework for building and understanding software solutions. Users ask to develop applications more rapidly, and software engineers need to ensamble systems from preexisting…
Fecha:	2012-10-02
Recurso:	Unversidad Nacional de La Plata

Recurso libre

47.

Delincuencia, Marginalidad y Desempeño Institucional, Encuesta a la Población en Reclusión en el Distrito Federal y Estado de México - 2009
Bergman, Marcelo - Azaola, Elena - Magaloni, Ana Laura - Negrete, Layda - Centro de Investigación y Docencia Económicas (México) - Programa de Estudios para la Seguridad Pública y Estado de Derecho (México)

Formato:	Base de datos, frecuencias, cuestionario, libro de códigos y metodología
Enlaces:	El objetivo de este proyecto es tener una base de datos descriptivos de la vida diaria y ciertos aspectos de la historia de las personas que están internas en centros penitenciarios del país
Fecha:	2011-12-16
Recurso:	Centro de Investigación y Docencia Económicas - México

Recurso libre

48.

Máquina de Aspectos: un enfoque alternativo para la implementación de aspectos.
Gesto, Esteban - Hallar, Karim - Casas, Sandra

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	La Programación Orientada a Aspectos (POA) es un nuevo paradigma de programación que propone mecanismos para soportar la separación de los aspectos no funcionales de los sistemas software. Una herramienta POA consiste en tres componentes principales: un lenguaje de programación…
Fecha:	2012-09-11
Recurso:	Unversidad Nacional de La Plata

Recurso libre

49.

Propuestas heurísticas para consultas a R-Tree
Gagliardi, Edilma Olinda - Gomez, Juan E. - Gutiérrez Retamal, Gilberto A.

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	El avance tecnológico y la cantidad de apli-caciones surgidas en el campo de las bases de datos espaciales, provocaron que las in-vestigaciones en torno a la resolución de consultas de tipo espacial, se profundizaran a fin de mejorar el desempeño…
Fecha:	2012-09-11
Recurso:	Unversidad Nacional de La Plata

Recurso libre

50.

Towards the verification of RAISE specifications through Model Checking
Perna, Juan Ignacio - George, Chris W.

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	Ensuring the correctness of a given software component has become a crucial aspect in Software Engineering and the Model Checking technique provides a fully automated way to achieve this goal. In particular, the usage of Model Checking in formal languages…
Fecha:	2012-09-11
Recurso:	Unversidad Nacional de La Plata