Metabuscador

Aproximadamente 18 registro(s) hasta el momento: (java)

Mostrar 10 | 50 | 100 resultados por página

Recurso libre

Verificación modular de atomicidad en bytecode Java Multi-Thread
Bavera, Francisco

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	En este trabajo se presenta una técnica para verificar modularmente atomicidad de programas bytecode Java multi-thread. Los programas deben contar con una especificación referente a los bloqueos y al acceso a los recursos compartidos para realizar la verificación modular. Se…
Fecha:	2012-10-09
Recurso:	Unversidad Nacional de La Plata

Recurso libre

JBLIF, a tool for non-interference analysis of java and java bytecode programs
Cavadini, Salvador V.

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	Protecting sensitive information has become an important facet of software development. One aspect of software security relies on information flow control (IFC), a technique for discovering information leaks in software. Despite the large body of work on language-based IFC, there…
Fecha:	2012-10-30
Recurso:	Unversidad Nacional de La Plata

Recurso libre

Utilizando contratos JML para optimizar diseños orientado a objetos siguiendo MDA
Uva, Marcelo - Frutos, Mariana - Gonzaléz, Ariel - Arsaute, Ariel - Daniele, Marcela - Martellotto, Paola - Zorzán, Fabio

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	Model Driven Architecture (MDA) define un proceso de construcción de software basado en la producción y transformación de modelos. En Ingeniería de Software, refactorización es la técnica que reestructura código de una aplicación, alterando su estructura interna sin modificar su…
Fecha:	2013-06-12
Recurso:	Unversidad Nacional de La Plata

Recurso libre

Analizador Java Inteligente
López De Luise, María Daniela - Agüero, Martín Jorge

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	Varios intentos se han realizado para mejorar la producción de programas en diversos lenguajes. No es difícil imaginar cuán conveniente sería poder aplicar técnicas inteligentes para colaborar en este sentido. El presente trabajo realiza el desarrollo y evaluación de un…
Fecha:	2012-08-31
Recurso:	Unversidad Nacional de La Plata

Recurso libre

Utilización de excepciones para implementar predicados opacos en técnicas de ofuscación de código intermedio
Dolz, Daniel - Parra, Gerardo

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	La plataforma .NET de Microsoft se basa en una filosofía de just-in-time compilation (compilación bajo demanda al momento de la ejecución). Los programas desarrollados de esta manera se ejecutan en un entorno o framework independiente de la plataforma, basado en…
Fecha:	2012-10-31
Recurso:	Unversidad Nacional de La Plata

Recurso libre

Una extensión de agentes en JASON para razonar con incertidumbre: G-JASON
Biga, Adrián - Casali, Ana

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	Una de las mejores implementaciones de agentes de la familia BDI (B: Belief, D: Desire, I: Intention) es mediante los llamados Sistemas de Razonamiento Procedural (PRS). En este trabajo se plantea una extensión de los PRS para permitir generar agentes…
Fecha:	2013-11-29
Recurso:	Unversidad Nacional de La Plata

Recurso libre

Experiencia de laboratorio en robótica: De las tortugas simuladas a los robots y juguetes autónomos una oportunidad para la enseñanza de programación
Ierache, Jorge - Bruno, María Marcela - Mazza, N.

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	Las experiencias se enmarcan en el contexto de las Tecnologías en Educación, en materia de robótica, se presentan específicamente aquellas que contribuyen a la conformación de un laboratorio en robótica, integrado básicamente por robots clásicos, bípedos y cuadrúpedos que se…
Fecha:	2012-10-19
Recurso:	Unversidad Nacional de La Plata

Recurso libre

Implementacion de un interprete SQL en managed code para dispositivos moviles
Salomón, Sebastián Mariano - Lucero, Luis Rogero - Giménez, Daniel Alejandro - Mamani, Gabriel - Martínez Spessot, Cesar Ignacio - Maldonado, Calixto

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	La extensión del uso de sistemas computarizados exigen a estos a cumplir mayores requisitos de seguridad ya que son constantemente expuestos a intentos de acceso no autorizados, los DBMS no están exentos de esto. Las plataformas de ejecución manejada, tales…
Fecha:	2012-09-03
Recurso:	Unversidad Nacional de La Plata

Recurso libre

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

10.

Generación dinámica de interfaces de usuario a partir de modelos representados mediante esquemas XML
Zarza, Gonzalo - Minni, Hugo

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	El objetivo principal de este trabajo es desarrollar un enfoque práctico para la generación dinámica de interfaces de usuario a partir de modelos basados en esquemas XML, de acuerdo a las especificaciones W3C XML Schema Structures and Datatypes. El trabajo…
Fecha:	2012-09-04
Recurso:	Unversidad Nacional de La Plata

Recurso libre

11.

Estudio del resorte en el laboratorio virtual
Ré, Miguel A. - Giubergia, María F.

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	Se presenta un diseño de Laboratorio Virtual Basado en Simulaciones (LVBS) para el estudio del comportamiento de un resorte en los modos estático y dinámico. Para el desarrollo de la experiencia se ha usado un programa de simulación basado en…
Fecha:	2013-07-08
Recurso:	Unversidad Nacional de La Plata

Recurso libre

12.

Implementación de un laboratorio virtual para el estudio de dispositivos electrónicos
Ibarra B., Carlos Andrés - Medina S., Sebastián - Bernal N., Álvaro

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	El presente artículo presenta la implementación de un laboratorio virtual para que a través de Internet cumpla con objetivos pedagógicos en el estudio de los dispositivos electrónicos básicos usados en la enseñanza de la electrónica en las Universidades. Se desarrolla…
Fecha:	2012-08-06
Recurso:	Unversidad Nacional de La Plata

Recurso libre

13.

RemoteBot: una aplicación que combina robots y dispositivos móviles
Queiruga, Claudia Alejandra - Banchoff Tzancoff, Claudia M. - López, Fernando

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	RemoteBot es una aplicación clienteservidor que permite controlar los robots del proyecto "Programando con Robots y Software Libre" mediante dispositivos móviles Android. RemoteBot es una aplicación innovadora que combina robots con dispositivos móviles. RemoteBot es el resultado de la articulación…
Fecha:	2013-06-17
Recurso:	Unversidad Nacional de La Plata

Recurso libre

14.

La potencialidad del software de visualización y modelado molecular en la enseñanza universitaria
Marzocchi, Victorio A. - Marino, Luis A. - D'Amato, Miguel - Vanzetti, Nicolás

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	Recientemente, en la Facultad de Ingeniería Química de la UNL, se han introducido dos software de visualización y modelado molecular - el Gabedit y el Jmol - en la asignatura Informática que se imparte para alumnos ingresantes. El Gabedit es…
Fecha:	2013-07-08
Recurso:	Unversidad Nacional de La Plata

Recurso libre

15.

Implementación de DCCP (Datagram Congestion Control Protocol) en espacio usuario
Rigotti, Guillermo

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	Hasta hace poco tiempo, el soporte de comunicaciones de TCP/IP, TCP y UDP, fue suficiente para satisfacer los requerimientos de las aplicaciones. Esto cambió con la aparición de las aplicaciones multimedia en tiempo real. TCP no permite a la aplicación…
Fecha:	2012-09-27
Recurso:	Unversidad Nacional de La Plata

Recurso libre

16.

Implementación de un laboratorio virtual para el estudio de dispositivos electrónicos
Ibarra B., Carlos Andrés - Medina S., Sebastián - Bernal N., Álvaro

Formato:	Articulo, Articulo
Enlaces:	El presente artículo presenta la implementación de un laboratorio virtual para que a través de Internet cumpla con objetivos pedagógicos en el estudio de los dispositivos electrónicos básicos usados en la enseñanza de la electrónica en las Universidades. Se desarrolla…
Fecha:	2010-02-10
Recurso:	Unversidad Nacional de La Plata

Recurso libre

17.

Análisis y comparación de plataformas BRMS a través de una prueba de concepto
Ibarra, Gonzalo Martin - Bazán, Patricia

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	En la última década la implementación de los sistemas BRMS (Business Rules Management System) viene creciendo a medida que el negocio requiere más flexibilidad y velocidad a la hora de un cambio de reglas de negocio. BRMS permite la administración…
Fecha:	2013-06-14
Recurso:	Unversidad Nacional de La Plata

Recurso libre

18.

La Música del Centenario
Cuarteto de Cuerdas de la Universidad Nacional de La Plata - Quinteto de Vientos de la Universidad Nacional de La Plata - Coro Juvenil de la Universidad Nacional de La Plata - Coro de Cámara - Coro Universitario de la Universidad Nacional de La Plata

Formato:	Audio, Musica
Enlaces:	El CD doble <i>La Música del Centenario</i>, es una propuesta artística que compila interpretaciones musicales de los cinco elencos estables de la Dirección de Cultura de la UNLP. Se trata de dos discos compactos: uno incluye un variado repertorio interpretado…
Fecha:	2013-05-30
Recurso:	Unversidad Nacional de La Plata