Metabuscador

Filtrado por:

Temas

Java (12)
Ciencias Informáticas (11)
Ciencia de la Computación e Inteligencia Artificial (7)
Inteligencia artificial (7)
Software (6)
Más...

Idiomas

Español (58)
pt_BR (26)
Inglés (22)
Portugués (6)
en (4)
Más...

Recursos

Más...

Año

2013 (20)
2012 (21)
2011 (40)
2009 (11)
2008 (6)
2007 (7)
Más...

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

Mostrar 10 | 50 | 100 resultados por página

Recurso libre

Internet Programming with Java
Luján Mora, Sergio

Formato:	info:eu-repo/semantics/lecture
Enlaces:	Presentaciones del curso "Internet Programming with Java" impartido en la Université M'Hamed Bougara (Bourmerdes, Argelia) en abril de 2007., Proyecto financiado por la Unión Europea: TEMPUS JEP-32102-2004, Licence Professionnelle Technologies des Applications Web (Professional License for Web Application Technologies).
Fecha:	2010-05-06
Recurso:	RUA Docencia

Recurso libre

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

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

Run-Time Assertion Checking with Énfasis, Verificación de Aseveraciones a Tiempo de Ejecución con Énfasis
Olmedo Aguirre, José Oscar - Juárez Martínez, Ulises

Formato:
Enlaces:	LOCAL VARIABLES ARE FUNDAMENTAL TO DESCRIBE AND IMPLEMENT COMPUTER ALGORITHMS AND TO SPECIFY SOME OF THEIR PROPERTIES SUCH AS CORRECTNESS, TERMINATION AND PERFORMANCE. IN THIS PAPER, WE ADDRESS THE RUN-TIME ASSERTION CHECKING PROBLEM INVOLVING LOCAL VARIABLES IN JAVA PROGRAMS USING…
Fecha:	2010-04-27
Recurso:	Revistas UNAM

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

Analysis of LRD Series with Time-Varying Hurst Parameter, Análisis de Series LRD con Parámetro de Hurst Variante en el Tiempo
Ledesma Orozco, Sergio - Cerda Villafaña, Gustavo - Aviña Cervantes, Gabriel - Hernández Fusilier, Donato - Torres Cisneros, Miguel

Formato:
Enlaces:	IT HAS BEEN PREVIOUSLY SHOWN THAT ACTUAL NETWORK TRAFFIC EXHIBITS LONG-RANGE DEPENDENCE. THE HURST PARAMETER CAPTURES THE DEGREE OF LONG-RANGE DEPENDENCE; HOWEVER, BECAUSE OF THE NATURE OF COMPUTER NETWORK TRAFFIC, THE HURST PARAMETER MAY NOT REMAIN CONSTANT OVER A LONG…
Fecha:	2010-04-27
Recurso:	Revistas UNAM

Recurso libre

Uso do software livre Solr para construção da camada de indexação e busca do módulo de consulta institucional do sistema Ainfo.
NASCIMENTO, A. E. M. do - VACARI, I.

Formato:	Resumo em anais de congresso (ALICE)
Enlaces:	O mecanismo de indexação e busca textual Lucene (THE APACHE SOFTWARE FOUNDATION, 2010a) tem sido largamente utilizado em projetos open source em todo mundo. Entretanto, para o módulo de consulta do sistema Ainfo, objetivou-se encontrar soluções livres capazes de estender…
Fecha:	2011-04-09
Recurso:	Repositório Acesso Livre à Informação Científica da Embrapa (ALICE)

Recurso libre

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

Aplicação Java Web para armazenamento de dados experimentais no projeto Rede Genômica Animal.
ANA, L. B. A. de - HIGA, R. H.

Formato:	Resumo em anais de congresso (ALICE)
Enlaces:	O objetivo deste trabalho é desenvolver uma aplicação web para banco de dados genômicos, a partir do módulo Mage do GMOD para armazenagem dos dados experimentais brutos produzidos no âmbito do projeto ?Rede Genômica Animal? e as suas respectivas análises.,…
Fecha:	2011-04-09
Recurso:	Repositório Acesso Livre à Informação Científica da Embrapa (ALICE)

Recurso libre

10.

AURA : a hybrid approach to identify framework evolution
Wu, Wei

Formato:	Thèse ou Mémoire numérique / Electronic Thesis or Dissertation
Enlaces:	Les cadriciels et les bibliothèques sont indispensables aux systèmes logiciels d'aujourd'hui. Quand ils évoluent, il est souvent fastidieux et coûteux pour les développeurs de faire la mise à jour de leur code. Par conséquent, des approches ont été proposées…
Fecha:	2010-05-31
Recurso:	Université de Montreal

Recurso libre

11.

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

12.

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

13.

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

14.

Java Implementation and Performance Evaluation of Some Cryptographic Ciphers under WinXP and Linux Operating System Platforms
kofahi, Najib A.

Formato:	info:eu-repo/semantics/article, Peer-reviewed Article, info:eu-repo/semantics/publishedVersion
Enlaces:	In this article we present a performance comparison of four symmetric block ciphers namely DES, Triple-DES, AES, and Blowfish. Performance evaluation based on CPU execution time is conducted under WinXP and Ubuntu /Linux version 8.10 operating system platforms. The study…
Fecha:	2013-04-30
Recurso:	Information and knowledge management

Recurso libre

15.

Implementación en tarjetas inteligentes Java Card de protocolos de cifrado y descifrado basados en curvas elípticas
Gayoso Martínez, Víctor

Formato:	text (thesis)
Enlaces:	El objetivo general de la presente Tesis Doctoral consiste en implementar el protocolo de cifrado ECIES (Elliptic Curve Integrated Encryption Scheme), tanto en plataforma PC como en tarjetas inteligentes Java Card, a fin de: Analizar la viabilidad de diferentes implementaciones…
Fecha:	2010
Recurso:	Dialnet (Tesis)

Recurso libre

16.

JavaVis: presentación (segunda parte)
Cazorla Quevedo, Miguel Ángel

Formato:	video
Enlaces:	Segunda parte de la presentación sobre Java.
Fecha:	2010-11-03
Recurso:	RUA Docencia

Recurso libre

17.

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

18.

Atributos topográficos e dados do Landsat7 no mapeamento digital de solos com uso de redes neurais.
CHAGAS, C. da S. - FERNANDES FILHO, E. I. - VIEIRA, C. A. O. - SCHAEFER, C. E. G. R. - CARVALHO JUNIOR, W. de

Formato:	Artigo em periódico indexado (ALICE)
Enlaces:	Resumo ? O objetivo deste trabalho foi avaliar variáveis discriminantes no mapeamento digital de solos com uso de redes neurais artificiais. Os atributos topográficos elevação, declividade, aspecto, plano de curvatura e índice topográfico, derivados de um modelo digital de elevação,…
Fecha:	2011-04-09
Recurso:	Repositório Acesso Livre à Informação Científica da Embrapa (ALICE)

Recurso libre

19.

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

20.

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

21.

Un formalisme pour la traçabilité des transformations
Lemoine, Mathieu

Formato:	Thèse ou Mémoire numérique / Electronic Thesis or Dissertation
Enlaces:	Dans le développement logiciel en industrie, les documents de spécification jouent un rôle important pour la communication entre les analystes et les développeurs. Cependant, avec le temps, les changements de personel et les échéances toujours plus courtes, ces documents sont…
Fecha:	2010-05-31
Recurso:	Université de Montreal

Recurso libre

22.

Supporting Dynamic Languages on the Java Virtual Machine
Shivers, Olin

Formato:
Enlaces:	In this note, I propose two extensions to the Java virtual machine (or VM) to allow dynamic languages such as Dylan, Scheme and Smalltalk to be efficiently implemented on the VM. These extensions do not affect the performance of pure…
Fecha:	2004-10-08
Recurso:	MIT

Recurso libre

23.

Migración de código en ambientes distribuidos
García Martín, Santiago

Formato:	Tesis, Tesis de grado
Enlaces:	Sumario de la presentación: I. Definición del Problema II. Conceptos Generales III. Debug IV. Sistema de carga de clases en Java V. AgletClassLoader VI. Entendiendo la Excepción VII. Resolviendo el problema VIII.Conclusión
Fecha:	2011-05-17
Recurso:	Unversidad Nacional de La Plata

Recurso libre

24.

Implementación de un protocolo de comunicación para el control de los movimientos de un brazo robot a través del interfaz bluetooth de un teléfono celular
Almeida Pazmiño, Marco - Roldan Molina, Elsa - Sinche Maita, Soraya Lucia

Formato:	Article
Enlaces:	El presente trabajo trata del diseño e implementación de un protocolo de comunicación que estandariza el canal de comunicación de un sistema distribuido. El sistema distribuido está compuesto por un teléfono celular Nokia y el brazo robot Lego Mindstorm. El…
Fecha:	2011-04-07
Recurso:	Escuela Politécnica Nacional

Recurso libre

25.

Servicio de consultas y visualización en 2d en el contexto del SIG del volcán Popocatépetl
Espinosa Ruiz, Guillermo

Formato:	Electronic Thesis or Dissertation, Tesis
Enlaces:	El objetivo de este proyecto, denominado MAPPA, fue el de incorporar una herramienta de visualización en 2D al proyecto del volcán Popocatépetl. La implementación del proyecto se basa en formatos estándares propuestos por el W3C (XSLT y SVG),…
Fecha:	2004-04-23
Recurso:	CIRIA

Recurso libre

26.

EJS+EjsRL: a free Java tool for advanced Robotics simulation and Computer Vision processing
Jara Bravo, Carlos Alberto - Candelas Herías, Francisco Andrés - Pomares Baeza, Jorge - Gil Vázquez, Pablo - Torres Medina, Fernando

Formato:	info:eu-repo/semantics/conferenceObject
Enlaces:	This paper presents a free Java software platform which enables users to easily create advanced robotic applications together with image processing. This novel tool is composed of two layers: 1) Easy Java Simulations (EJS), an open-source tool which provides support…
Fecha:	2010-07-23
Recurso:	RUA Docencia

Recurso libre

27.

Implementación de un mini-grid de cómputo
Bonilla Ribadeneira, Marco David - Gangotena Coral, Gabriela Alexandra - Bernal Carrillo, Iván

Formato:	Article
Enlaces:	El desarrollo del middleware Globus Toolkit que integra tecnologías como los sistemas distribuidos, el Internet, los servicios web, seguridad, la virtualización y las redes peer-to-peer ha permitido la conformación de Grids. Por otro lado, basándose en la tecnología de clusters,…
Fecha:	2011-04-07
Recurso:	Escuela Politécnica Nacional

Recurso libre

28.

DISENO E IMPLEMENTACION DE UN TRADUCTOR DE LENGUAJES, VRML A JAVA 3D
ARZATE PELAYO, GERSAIN

Formato:	Thesis
Enlaces:	Descripción completa.
Fecha:	2010-08-18
Recurso:	Instituto Politécnico Nacional - México

Recurso libre

29.

DESARROLLO DE UN VIDEOJUEGO DIDACTICO PARA LA ENSENANZA DE CONJUNTOS Y SUS OPERACIONES CON JAVA 2D.
AGUIRRE ORTIZ, JAIME - DZUL CALVILLO, ROMAN

Formato:	Thesis
Enlaces:	TESINA C7.1447
Fecha:	2010-11-17
Recurso:	Instituto Politécnico Nacional - México

Recurso libre

30.

Rotâmeros raros no Java Protein Dossier.
YAMAGISHI, M. E. B. - FALCÃO, P. R. K. - OLIVEIRA, S. R. de M. - HIGA, R. H. - SANTOS, E. H. dos - MAZONI, I. - VIEIRA, F. D. - MANCINI, A. L. - NESHICH, G.

Formato:	Comunicado Técnico (INFOTECA-E)
Enlaces:	O objetivo do STING é oferecer uma plataforma para análise e visualização de estruturas proteicas., 2006, Acesso em: 28 maio 2008.
Fecha:	2011-04-09
Recurso:	Informação Tecnológica en Agricultura (Infoteca-e)

Recurso libre

31.

Formatação de dados usando a ferramenta Velocity.
CRUZ, S. A. B. da - MOURA, M. F.

Formato:	Comunicado Técnico (INFOTECA-E)
Enlaces:	Origem e características; Arquitetura. Funcionamento e esquema de uso. Linguagem VTL. Aplicação Java. Configuração da Velocity. Trecho de código fonte Java exemplificando o uso da ferramenta Velocity. Trecho de template em VTL relativo ao item anterior., 2002, Acesso em: 29…
Fecha:	2011-04-09
Recurso:	Informação Tecnológica en Agricultura (Infoteca-e)

Recurso libre

32.

Apresentação gráfica de parâmetros protéicos utilizando o Java Protein Dossier.
HIGA, R. H. - BAUDET, C. - FALCÃO, P. K. - MANCINI, A. L. - NESHICH, G.

Formato:	Comunicado Técnico (INFOTECA-E)
Enlaces:	Parâmetros apresentados pelo JPD. Sequência de resíduos. Contatos. Contatos internos. Contatos na interface. Estrutura secundária. Dupla ocupância. Fator de temperatura. Entropia relativa. Confiabilidade. Acessibilidade de resíduos. Ângulos de torsão. Potencial eletrostático. Curvatura na superfície. Hidrofobicidade. Analisando com maior detalhes os…
Fecha:	2011-04-09
Recurso:	Informação Tecnológica en Agricultura (Infoteca-e)

Recurso libre

33.

Identificando Pockets na superfície protéica usando o Java Protein Dossier - JPD.
YAMAGISHI, M. E. B. - FALCÃO, P. R. K. - HIGA, R. H. - SANTOS, E. H. dos - JARDINE, J. G. - MAZONI, I. - OLIVEIRA, S. R. de M. - MANCINI, A. L. - NESHICH, G.

Formato:	Comunicado Técnico (INFOTECA-E)
Enlaces:	2005, Acesso em: 28 maio 2008.
Fecha:	2011-04-09
Recurso:	Informação Tecnológica en Agricultura (Infoteca-e)

Recurso libre

34.

Comparativo do Plone com gerenciadores de conteúdo em PHP, Java e Python.
ROMANI, L. A. S. - CAMPOS, L. A. de.

Formato:	Documentos (INFOTECA-E)
Enlaces:	Definição e estrutura de CMS. Plataformas de desenvolvimento: PHP. Java. Python; Gerenciador de Conteúdo-Plone. Comparativo de Plone com outros gerenciadores., 2005, Acesso em: 29 maio 2008.
Fecha:	2011-04-09
Recurso:	Informação Tecnológica en Agricultura (Infoteca-e)

Recurso libre

35.

Caampi
Fillus, Edison Klafke

Formato:	Teses e Dissertações
Enlaces:	Resumo
Fecha:	2012-11-19
Recurso:	Universidade Federal do Parana

Recurso libre

36.

Diseño de una aplicación para la simulación del Acoplamiento Molecular "Proteína-Ligando" Mediante Herramientas Basadas en Java
Sepúlveda Robles, Daniel Eduardo

Formato:	Electronic Thesis or Dissertation, Tesis
Enlaces:	En este trabajo se presenta el proyecto molUDLAP, un simulador de Acoplamiento Molecular (AC) de tipo académico. Primero se presentan algunos de los aspectos más importantes del AC considerados para el diseño de este sistema; después se trata el…
Fecha:	2010-12-09
Recurso:	CIRIA

Recurso libre

37.

Constructive learning for networks courses based on compact simulations and SCORM
Gil Vázquez, Pablo - Candelas Herías, Francisco Andrés - Jara Bravo, Carlos Alberto

Formato:	info:eu-repo/semantics/conferenceObject
Enlaces:	This paper introduces a new set of compact interactive simulations developed for the constructive learning of computer networks concepts. These simulations, which compose a virtual laboratory implemented as portable Java applets, have been created by combining EJS (Easy Java Simulations)…
Fecha:	2011-04-13
Recurso:	RUA Docencia

Recurso libre

38.

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

39.

JavaVis: instalación
Cazorla Quevedo, Miguel Ángel

Formato:	video
Enlaces:	Proceso de instalación de la librería JavaVis.
Fecha:	2010-10-26
Recurso:	RUA Docencia

Recurso libre

40.

JavaVis: entorno gráfico
Cazorla Quevedo, Miguel Ángel

Formato:	video
Enlaces:	En este vídeo revisamos el entorno gráfico de JavaVis, ejecutando una función.
Fecha:	2010-10-29
Recurso:	RUA Docencia

Recurso libre

41.

JavaVis: Desktop
Cazorla Quevedo, Miguel Ángel

Formato:	video
Enlaces:	Funcionamiento del framework Desktop de JavaVis.
Fecha:	2010-11-01
Recurso:	RUA Docencia

Recurso libre

42.

JavaVis: funciones
Cazorla Quevedo, Miguel Ángel

Formato:	video
Enlaces:	Explicación de las distintas funciones disponibles en JavaVis.
Fecha:	2010-11-01
Recurso:	RUA Docencia

Recurso libre

43.

JavaVis: presentación
Cazorla Quevedo, Miguel Ángel

Formato:	video
Enlaces:	Presentación de la herramienta con los aspectos más importantes de la misma.
Fecha:	2010-11-03
Recurso:	RUA Docencia

Recurso libre

44.

JavaVis: 3D
Viejo Hernando, Diego

Formato:	video
Enlaces:	Vídeo sobre el funcionamiento del framework 3D de JavaVis.
Fecha:	2010-11-24
Recurso:	RUA Docencia

Recurso libre

45.

Modelling and simulation of a multi-fingered robotic hand for grasping tasks
Corrales Ramón, Juan Antonio - Jara Bravo, Carlos Alberto - Torres Medina, Fernando

Formato:	info:eu-repo/semantics/conferenceObject
Enlaces:	This paper develops the kinematic, dynamic and contact models of a three-fingered robotic hand (BarrettHand) in order to obtain a complete description of the system which is required for manipulation tasks. These models do not only take into account the…
Fecha:	2011-02-17
Recurso:	RUA Docencia

Recurso libre

46.

Evento: Curso Básico de Lenguaje JAVA

Formato:
Enlaces:	Nivel monográfico, Mérida, 27 y 28 de Abril y 4 y 5 de Mayo de 2002
Fecha:	2002-04-17
Recurso:	Universidad de los Andes Venezuela

Recurso libre

47.

Sistema de diagnóstico de líneas telefónicas de Andinatel S.A.
Cruz Acosta, Santiago David - Jarrín Valverde, Christopher Rodrigo

Formato:	Tesis
Enlaces:	El Sistema de Diagnóstico de Líneas Telefónicas de Andinatel S.A, "DiagTel© 2009", fue desarrollado con el objetivo de emitir el estado operacional de la red de telefonía fija de dicha empresa, proporcionando información útil para los técnicos encargados de solucionar…
Fecha:	2010-02-03
Recurso:	Escuela Politécnica Nacional

Recurso libre

48.

Desarrollo de Software para análisis bidimensional de Transferencia de Calor en estado estable medi
Escudero Guevara, David Roberto

Formato:	Tesis
Enlaces:	En este trabajo se ha desarrollado, con fines didácticos y de investigación, un programa computacional para analizar problemas bidimensionales de transferencia de calor en estado estable mediante el método de los elementos finitos. La codificación del programa se realizó utilizando…
Fecha:	2011-10-12
Recurso:	Universidad San Francisco de Quito

Recurso libre

49.

Hydrogeochemistry of the upper Banyu Pahit River valley, Kawah Ijen volcano, Indonesia
Palmer, Stephanie

Formato:	Electronic Thesis or Dissertation
Enlaces:	The largest naturally-occurring lake of hyperacid brine in the world is located in the crater of Kawah Ijen volcano in East Java, Indonesia. The hyperacid Banyu Pahit River flows down the side of Kawah Ijen and is a major source…
Fecha:	2010
Recurso:	McGill University - MCGILL

Recurso libre

50.

Verifying finite-state properties of large-scale programs
Bodden, Eric

Formato:	Electronic Thesis or Dissertation
Enlaces:	Designers of software components can use finite-state properties to denote behavioral interface specifications which enforce client-side programming rules that state how the components ought to be used. This allows users of these components to check their client code for compliance…
Fecha:	2010
Recurso:	McGill University - MCGILL