Metabuscador

Filtrado por:

Temas

Idiomas

Español (175)
Inglés (49)
pt_BR (30)
Portugués (25)
es (13)
Más...

Recursos

Unversidad Nacional de La Plata (107)
RUA Docencia (29)
Escuela Politécnica Nacional (25)
Universidad Politécnica Salesiana (23)
Informação Tecnológica en Agricultura (Infoteca-e) (19)

Más...

Año

2013 (18)
2010 (20)
2009 (17)
2008 (13)
2006 (26)
2005 (11)
Más...

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

Mostrar 10 | 50 | 100 resultados por página

Recurso libre

Análisis modular y recuperación de contraejemplos en TACO
Alborodo, Raúl - Ricci, Nicolás - Galeotti, Juan P. - Aguirre, Nazareno Matías

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	TACO es una herramienta para realizar verificación formal de programas, que permite detectar bugs en los mismos. Esta traduce un programa escrito en lenguaje Java y su especificación en JML a la notación DynAlloy, para luego analizar la especificación obtenida…
Fecha:	2012-07-19
Recurso:	Unversidad Nacional de La Plata

Recurso libre

Aplicação da JNI - Java Native Interface - na construção da ferramenta ServCLIPS.
CRUZ, S. A. B da.

Formato:	Documentos (INFOTECA-E)
Enlaces:	Linguagem de programação Java. Java native interface (JNI). Ferramenta ServCLIPS:um exemplo de uso da JNI., 2001, Acesso em: 29 maio 2008.
Fecha:	2011-04-09
Recurso:	Informação Tecnológica en Agricultura (Infoteca-e)

Recurso libre

Libros: Orchids of Java
Soto,M.A.

Formato:	Article
Enlaces:	Descripción completa.
Fecha:	2011-07-29
Recurso:	Facultad de Ciencias - UNAM

Recurso libre

Ambiente virtual interativo com colisão de deformação de objetos para treinamento médico utilizando a API Java
kera, Marcello

Formato:	Teses e Dissertações
Enlaces:	Descripción completa.
Fecha:	2011-08-26
Recurso:	Universidade Federal do Parana

Recurso libre

OCUNS: una arquitectura para la enseñanza de tópicos de Organización y Arquitectura de Computadoras
Davicino, Pablo - Stankevicius, Alejandro G. - García, Rafael B.

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	Las asignaturas que componen la currícula de ciencias de la computación se clasifican en diversas áreas. Aquellas que conforman el área de sistemas presentan un conjunto de desafíos propios, dado su inherente bajo nivel de abstracción producto de la proximidad…
Fecha:	2012-07-17
Recurso:	Unversidad Nacional de La Plata

Recurso libre

An audio file tagging mobile game, mTagATune
Díaz, Francisco Javier - Queiruga, Claudia Alejandra - Ferraresso, Alejandro - Larghi, José

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	mTagATune is a mobile game based on TagATune. mTagATune implements the concept of GWAP and seizes the capabilities and wide acceptance of current smartphones. GWAP promotes the creation of computer games that encourage people to do voluntary work. mTagATune implements…
Fecha:	2012-07-19
Recurso:	Unversidad Nacional de La Plata

Recurso libre

Creating a Distributed Web Application in Java Using EJB and JSP
GHERMAN, Alexandru; “Iuliu Haţieganu” University of Medicine and Pharmacy, Cluj-Napoca, România

Formato:	Peer-reviewed Article
Enlaces:	This paper presents an easier way of creating a medicine web application in Java. It describes the concepts of JavaBean, Enterprise Java Bean and Java Server Pages and the way we can use them for producing a collection of medicine…
Fecha:	2011-01-18
Recurso:	Applied Medical Informatics

Recurso libre

Conectividad de Java con bases de datos mediante invocación de objetos con métodos remotos (objetos RMI)
Daladier Jabba Molinares; Universidad del Norte - Maureen Alies Fuentes; Universidad del Norte - John Pinto Molina; Universidad del Norte - Marirosa Buendía Rodríguez; Universidad del Norte - Julio Cesar Ceballos Salazar; Universidad del Norte

Formato:	,
Enlaces:	El desarrollo de aplicaciones distribuidas está teniendo cada vez más auge entre las empresas del mundo; esto se debe a la gran importancia que ha adquirido el Internet en los últimos años. Para dar solución a esta necesidad surgen arquitecturas…
Fecha:	2011-07-28
Recurso:	Ingeniería y desarrollo

Recurso libre

Uma introdução a tecnologia de reflexão Java.
EVANGELISTA, S. R. M.

Formato:	Documentos (INFOTECA-E)
Enlaces:	Este documento tem por objetivo apresentar a tecnologia de reflexão existente na linguagem JAVA. Esta exposição será realizada a partir de uma implementação real de uma classe Java que fornece a funcionalidade de mapeamento entre objetos de um programa computacional…
Fecha:	2011-04-09
Recurso:	Informação Tecnológica en Agricultura (Infoteca-e)

Recurso libre

10.

Analisis, diseño, construcción e implementación de un portal WAP para la georeferenciación del patrimonio cultural de la ruta de los Yumbos (desde Rumipamba hasta Pacto) en el distrito metropolitano de Quito utilizando información del fondo de salvamento (FONSAL)
Campoverde Rivera, Paola Elizabeth - Echesi Pinanjota, Cesar Stalin

Formato:	Thesis
Enlaces:	Busca la construcción de la aplicación para la ruta de los Yumbos, con la ayuda de nuevas herramientas de software libre se conseguirá obtener un portal wap, que con la tecnología en la actualidad se podrá observar en un teléfono…
Fecha:	2012-04-11
Recurso:	Universidad Politécnica Salesiana

Recurso libre

11.

Análisis, diseño e implementación de un Sistema de Información Geográfico para seguimiento de egresados de la Universidad Politécnica Salesiana
Rodríguez López, Juan Ramón - Asmal Jara, Milton Fernando - Ramírez Jimbo, Verónica Gabriela

Formato:	Thesis
Enlaces:	Actualmente no es posible determinar los índices relacionados a la ocupación, desempeño, perfiles, formación requerida, etc. Lo que dificulta a los directivos la toma oportuna de decisiones y generación de planes de acción estratégica que colaboren a mejorar la calidad…
Fecha:	2012-07-09
Recurso:	Universidad Politécnica Salesiana

Recurso libre

12.

Inférence statique et par contraintes des relations de composition dans des programmes Java
Habti, Norddin

Formato:	Thèse ou Mémoire numérique / Electronic Thesis or Dissertation
Enlaces:	Mémoire numérisé par la Division de la gestion de documents et des archives de l'Université de Montréal
Fecha:	2012-05-28
Recurso:	Université de Montreal

Recurso libre

13.

Implementação da transformada de Fourier com o Java Advanced Imaging.
MIRANDA, J. I. - CAMARGO NETO, J.

Formato:	Comunicado Técnico (INFOTECA-E)
Enlaces:	O objetuvo deste comunicado é apresentar a implementação Java da transformada discreta de Fourier e sua inversa, usando a biblioteca Java Advanced Imaging (JAI), para mapeamento entre os domínios espacial e de frequência em imagens digitais., 2006, Acesso em: 28…
Fecha:	2011-04-09
Recurso:	Informação Tecnológica en Agricultura (Infoteca-e)

Recurso libre

14.

Learning Difficulties of 'Object-oriented Programming Paradigm Using Java': Students' Perspective
Sivasakthi, M.; Department of Education, NITTTR, Chennai-600113 - Rajendran, R.; Department of Education, NITTTR, Chennai-600113

Formato:	info:eu-repo/semantics/article, info:eu-repo/semantics/publishedVersion, Peer-reviewed Article
Enlaces:	Java programming is popular both in Academia and IT Industry. Further, it is the maximum usage of programming across the world. There is a wide edge between industry expectations and knowledge of students in Java programming. Teaching and learning of…
Fecha:	2011-08-01
Recurso:	Indian journal of science and technology

Recurso libre

15.

Identification et localisation des préoccupations fonctionnelles dans un code légataire Java
El Kharraz, Amal

Formato:	Thèse ou Mémoire numérique / Electronic Thesis or Dissertation
Enlaces:	Traditionnellement, les applications orientées objets légataires intègrent différents aspects fonctionnels. Ces aspects peuvent être dispersés partout dans le code. Il existe différents types d’aspects : • des aspects qui représentent des fonctionnalités métiers ; • des aspects qui répondent à…
Fecha:	2012-09-06
Recurso:	Université de Montreal

Recurso libre

16.

Notice sur l'Erpétologie de l’île de Java
Boie, Friedrich

Formato:
Enlaces:	Descripción completa.
Fecha:	2012-09-13
Recurso:	Facultad de Ciencias - UNAM

Recurso libre

17.

[ . . . Nouveaux genres . . . Dans l’ouvrage sur l’erpétologie de l’île de Java. . . .]
Boie, Heinrich

Formato:
Enlaces:	Descripción completa.
Fecha:	2012-09-13
Recurso:	Facultad de Ciencias - UNAM

Recurso libre

18.

Notice sur l'Erpétologie de l'île de Java
Schlegel, Hermann

Formato:
Enlaces:	Descripción completa.
Fecha:	2012-09-13
Recurso:	Facultad de Ciencias - UNAM

Recurso libre

19.

Java Real Time: un enfoque de desarrollo de los sistemas distribuidos en tiempo real
Reyes Maza, Luis Alberto

Formato:	Thesis
Enlaces:	Tesis presentada a la Facultad de Contaduría y Administración de la Universidad Veracruzana, Región Xalapa.
Fecha:	2011-08-15
Recurso:	Universidad Veracruzana

Recurso libre

20.

Fabrica de software orientada a servicios con herramientas Java
Romero Redondo, Anselmo Guillermo

Formato:	Thesis
Enlaces:	Tesis presentada a la Facultad de Contaduría y Administración de la Universidad Veracruzana, Región Xalapa.
Fecha:	2011-08-15
Recurso:	Universidad Veracruzana

Recurso libre

21.

Programa em linguagem JAVA para comunicação serial.
RABELLO, L. M.

Formato:	Comunicado Técnico (INFOTECA-E)
Enlaces:	2009
Fecha:	2011-04-09
Recurso:	Informação Tecnológica en Agricultura (Infoteca-e)

Recurso libre

22.

Implementação Java do filtro de Marr e Hildreth para detecção de bordas.
MIRANDA, J. I.

Formato:	Comunicado Técnico (INFOTECA-E)
Enlaces:	O objetivo desta publicação é apresentar a implementação Java do algoritmo de Marr e Hildreth (Marr & Hildreth, 1980) para a detecção de bordas. O objetivo maior das implementações é a construção de uma biblioteca de processamento de imagens em…
Fecha:	2011-04-09
Recurso:	Informação Tecnológica en Agricultura (Infoteca-e)

Recurso libre

23.

Implementation and optimization of thread-local variables for a race-free Java dialect
Zhang, Yi

Formato:	Electronic Thesis or Dissertation
Enlaces:	Despite the popularity of Java, problems may arise from potential data-race conditionsduring execution of a Java program. Data-races are considered errors in concurrent pro-gramming languages and greatly complicate both programming and runtime optimizationefforts. A race-free version of Java is therefore…
Fecha:	2012
Recurso:	McGill University - MCGILL

Recurso libre

24.

Desarrollo de una biblioteca de clases para manejo de la interfaz gráfica de aplicaciones móviles basadas en la plataforma Java Micro Edition
Oquendo Romero, Carlos Andrés

Formato:	Thesis
Enlaces:	El Proyecto de Titulación se centra en el desarrollo de una biblioteca de clases que permita el manejo de las interfaces gráficas de usuario de aplicaciones basadas en la plataforma Java Micro Edition. Esta biblioteca permitirá a los desarrolladores crear…
Fecha:	2011-10-10
Recurso:	Escuela Politécnica Nacional

Recurso libre

25.

Evaluación de herramientas para medir acoplamiento y cohesión en java
Navarro Belmonte, Víctor Pablo

Formato:	info:eu-repo/semantics/masterThesis
Enlaces:	El Software debe ser construido cuidando que sea mantenible y reusable, una forma de saber cuantificar estos aspectos es usando métricas de acoplamiento y cohesión. Medir acoplamiento y cohesión es importante, pero no es fácil
Fecha:	2012
Recurso:	CIMAT

Recurso libre

26.

Manual de prácticas de robótica móvil programadas en Java utilizando el Kit Lego Mindstorms
Castro Estrada, Esteban Antonio

Formato:	Trabajo Recepcional
Enlaces:	Tesina presentada a la Facultad de Instrumentación Electrónica y Ciencias Atmosféricas de la Universidad Veracruzana, Región Xalapa.
Fecha:	2012-11-09
Recurso:	Universidad Veracruzana

Recurso libre

27.

Unidad 8. Frameworks (curso 2011-2012)
Rizo Valero, David

Formato:	info:eu-repo/semantics/lecture
Enlaces:	Se estudia el concepto de 'framework' y 'librería', con un ejemplo de desarrollo y aplicación de un framework de ejemplo. Se presentan algunos frameworks/librerías de uso común en Java, como el Java Collections Framework, JDBC, Hibernate, Apache Commons, etc.
Fecha:	2011-12-01
Recurso:	RUA Docencia

Recurso libre

28.

Seminario de introducción a Java
Rizo Valero, David - Ponce de León Amador, Pedro José

Formato:	learningObject
Enlaces:	Introducción al lenguaje Java orientado a programadores con algo de experiencia en C++-
Fecha:	2011-12-01
Recurso:	RUA Docencia

Recurso libre

29.

Filtro de difusão linear complexa para detecção de bordas: implementação Java.
MIRANDA, J. I. - CAMARGO NETO, J.

Formato:	Comunicado Técnico (INFOTECA-E)
Enlaces:	O objetivo deste comunicado é mostrar a implementação Java do filtro de difusão linear complexa para a detecção de bordas., 2006, Acesso em: 28 maio 2008.
Fecha:	2011-04-09
Recurso:	Informação Tecnológica en Agricultura (Infoteca-e)

Recurso libre

30.

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

31.

CILEA a “TheServerSideJavaSymposiumEurope”, Barcellona, 21-23 Giugno 2006
Molinaro, Chiara

Formato:	info:eu-repo/semantics/article, info:eu-repo/semantics/publishedVersion, articolo, Peer-reviewed Article
Enlaces:	CILEA partecipa al primo incontro europeo della comunità di utilizzatori di Java., CILEA takes part to the first European symposium of the Java Community.
Fecha:	2006-07-20
Recurso:	Bolletino del CILEA

Recurso libre

32.

Incorporando seguridad a las componentes de interfaz de usuario del framework JSF (JAVA Server Faces) con soporte para clientes heterogéneos
Iuliano, Pablo José

Formato:	Tesis, Tesis de grado
Enlaces:	Descripción completa.
Fecha:	2011-06-01
Recurso:	Unversidad Nacional de La Plata

Recurso libre

33.

Módulo manejador de presentación para la plataforma Java de transacciones electrónicas jPOS
Paoletti, Jerónimo

Formato:	Tesis, Tesis de grado
Enlaces:	jPOS es un producto open source, desarrollado en JAva, que tiene como objetivo principal proveer un framework de desarrollo de transacciones electrónicas financieras sustentadas en el protocolo ISO 8583. Hoy por hoy es el framework para el desarrollo de Sistemas…
Fecha:	2011-06-01
Recurso:	Unversidad Nacional de La Plata

Recurso libre

34.

Mepiquat chloride application on cotton at variable rate.
MAGALHAES, P. S. G. - QUEIROS, L. R. - GADANHA, C. D.

Formato:	Artigo em anais de congresso (ALICE)
Enlaces:	Mepiquat chloride (1.1 - dimethylpiperidinium chloride) are used to control excessive vegetative growth in cotton (Gossypium hirsutum L.) broadcast sprayed by ground or air. As proven by previous researches the variability of the cotton plants height in the field is…
Fecha:	2011-02-07
Recurso:	Repositório Acesso Livre à Informação Científica da Embrapa (ALICE)

Recurso libre

35.

Opsomming der soorten van reptilien, tot dus verre van het eiland Java bekend geworden
Bleeker, Pieter

Formato:
Enlaces:	Descripción completa.
Fecha:	2012-09-13
Recurso:	Facultad de Ciencias - UNAM

Recurso libre

36.

Incorporando seguridad a las componentes de interfaz de usuario del framework JSF (JAVA Server Faces)
Díaz, Javier F. - Queiruga, Claudia Alejandra - Iuliano, Pablo José

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	El framework de desarrollo JSF (JAVA Server Faces) es uno de los más popularmente usados en el desarrollo de aplicaciones Web. Este incorpora la novedad de permitir construir “componentes a medida” o “componentes customizadas”, aunque la implementación inadecuada desemboca en…
Fecha:	2012-09-20
Recurso:	Unversidad Nacional de La Plata

Recurso libre

37.

JEDI: An interactive interpreter for JAVA
Rodrigues, Hermann Oliveira - Camarão, Carlos

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	JAVA is a general purpose concurrent class-based object-oriented programming language. This work presents an interactive program that interprets JAVA source programs directly. The cornerstone of its execution model is an execution graph, in which each node is constituted by three…
Fecha:	2012-11-01
Recurso:	Unversidad Nacional de La Plata

Recurso libre

38.

Utilización de herramientas Java para la comunicación de datos a través de internet
Egas Moncayo, Juan Xavier

Formato:	Thesis
Enlaces:	El presente trabajo investiga las herramientas que provee el lenguaje Java para el desarrollo de aplicaciones de ingeniería que transmitan los datos a través del internet o para modificar aplicaciones existentes para proveerles esta funcionalidad. Para ello, primeramente se presenta…
Fecha:	2012-12-04
Recurso:	Escuela Politécnica Nacional

Recurso libre

39.

Filtro de difusão complexa não-linear para atenuação de ruídos: implementação Java.
MIRANDA, J. I. - CAMARGO NETO, J.

Formato:	Comunicado Técnico (INFOTECA-E)
Enlaces:	Filtro de difusão complexa não linear. Aspecto da implementação. Estudo de caso., 2007, Acesso em: 28 maio 2008.
Fecha:	2011-04-09
Recurso:	Informação Tecnológica en Agricultura (Infoteca-e)

Recurso libre

40.

Curvatura da superfície de proteínas no Java Protein Dossier.
FALCÃO, P. K. - BAUDET, C. - HIGA, R. H. - NESHICH, G.

Formato:	Comunicado Técnico (INFOTECA-E)
Enlaces:	Definição de superfície. Cálculo dos valores de curvatura com SurfRace., 2002, Acesso em: 30 maio 2008.
Fecha:	2011-04-09
Recurso:	Informação Tecnológica en Agricultura (Infoteca-e)

Recurso libre

41.

Sistema Académico - Módulo Alumnos
ALMEIDA PALMA, DANIEL - CHILÁN QUIMIS, STALIN - QUIROZ PITA, LUBERT

Formato:	Thesis
Enlaces:	Como problema principal tenemos la falta de Información automatizada vía Web de los alumnos de la Carrera de Ingeniería en Sistemas Computacionales, es decir para acceder a los datos de los alumnos se debe acudir a las instalaciones de la…
Fecha:	2012-07-10
Recurso:	Universidad de Guayaquil

Recurso libre

42.

Sistema Académico Integrado Módulo: Apariencia Dinámica Web
ARIAS DOMÍNGUEZ, MARJORIE TATIANA - MACÍAS TULCÁN, JULIA ELIZABETH - MALDONADO CABRERA, MARCOS ALFREDO

Formato:	Thesis
Enlaces:	El proyecto Apariencia Dinámica Web, fue desarrollada para proveer el servicio de diseño de las páginas y estandarización de las mismas, para que el usuario tenga un proyecto a su gusto y con los colores y diseños que el prefiera,…
Fecha:	2012-07-10
Recurso:	Universidad de Guayaquil

Recurso libre

43.

Proyecto Sistema Académico - Modulo FORO
BÉJAR VÍCTORES, KARINA ALEXANDRA - DESIDERIO VERA, CARLOS FABRICIO - ZHUMA CARRIÓN, KAROL ROCÍO

Formato:	Thesis
Enlaces:	El Módulo Foro esta desarrollado para mejorar la comunicación entre alumnos y profesores, los mismos que permitirá a los alumnos realizar consultas, expresar sus inquietudes y discutir sobre diferentes temas relacionados directamente con las materias escogidas. Esta aplicación fue diseñada…
Fecha:	2012-07-10
Recurso:	Universidad de Guayaquil

Recurso libre

44.

Desarrollo de un sistema basado en ASTERISK que permita investigar situaciones anómalas (bypass) en el Ecuador para la SUPERTEL
Béjar Albán, José Gonzalo

Formato:	Thesis
Enlaces:	La aparición de nuevas tecnologías ha permitido el desarrollo de diferentes técnicas utilizadas para cometer fraude en telecomunicaciones. En este trabajo se realiza una revisión de las principales tecnologías IP utilizadas en servicios de telefonía y los tipos de fraude…
Fecha:	2011-07-22
Recurso:	Escuela Politécnica Nacional

Recurso libre

45.

Sur la validation des modèles de séries chronologiques spatio-temporelles multivariées
Saint-Frard, Robinson

Formato:	Thèse ou Mémoire numérique / Electronic Thesis or Dissertation
Enlaces:	Le présent mémoire porte sur les séries chronologiques qui en plus d’être observées dans le temps, présentent également une composante spatiale. Plus particulièrement, nous étudions une certaine classe de modèles, les modèles autorégressifs spatio-temporels généralisés, ou GSTAR. Dans un premier…
Fecha:	2011-09-16
Recurso:	Université de Montreal

Recurso libre

46.

Método para superação de dormência de sementes de java arara tucupi (Parkia multijuga Benth.). Leguminosae - Mimosoideae.
ROCHA, S. de F. R. - OHASHI, S. T. - LEÃO, N. V. M. - SIQUEIRA, J. V. C.

Formato:	Artigo em anais de congresso (ALICE)
Enlaces:	1999
Fecha:	2012-04-19
Recurso:	Repositório Acesso Livre à Informação Científica da Embrapa (ALICE)

Recurso libre

47.

El simulador como modificador del proceso de enseñanza-aprendizaje
Bongianino, Ruben - Cistac, Griselda - Filippi, José Luis

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	La incorporación y uso adecuado de las TIC’s durante el proceso de enseñanza-aprendizaje puede convertirse en un instrumento que ayuda a lograr aprendizajes significativos por un lado al construir el código fuente de un simulador, y por otro cuando se…
Fecha:	2012-06-25
Recurso:	Unversidad Nacional de La Plata

Recurso libre

48.

Una infraestructura para la implementación de aplicaciones distribuidas en Internet
Bustamante Sandoval, Pablo

Formato:	Tesis
Enlaces:	Esta tesis propone una infraestructura genérica para el desarrollo de aplicaciones distribuidas y paralelas sobre laWeb. Esta infraestructura está orientada a permitir que todos los usuarios de Internet sean capaces de participar en la ejecución de aplicaciones distribuidas, usando una…
Fecha:	2011-10-03
Recurso:	Universidad San Francisco de Quito

Recurso libre

49.

Mecanismos de suporte ao escalonamento em sistemas com objetos distribuídos Java
Geyer, Cláudio Fernando Resin - Silva, Luciano da - Augustin, Iara - Yamin, Adenauer - Araujo, Edvar Bergmann

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	Este artigo propõe recursos para o escalonamento de objetos distribuídos. Para tanto, são definidos dois mecanismos tidos como centrais para tal: um primeiro que irá realizar a instanciação remota de objetos Java, e um segundo que terá a cargo a…
Fecha:	2012-10-31
Recurso:	Unversidad Nacional de La Plata

Recurso libre

50.

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