Buscar
Mostrando ítems 11-20 de 1661
Specification and Runtime Verification of Java Card Programs
(Elsevier, 2009)
Java Card is a version of Java developed to run on devices with severe storage and processing restrictions. The applets that run on these devices are frequently intended for use in critical, highly distributed, mobile ...
JCML - Java Card Modeling Language: Definição e Implementação
(Universidade Federal do Rio Grande do NorteBRUFRNPrograma de Pós-Graduação em Sistemas e ComputaçãoCiência da Computação, 2007-09-06)
Formal methods should be used to specify and verify on-card software in Java Card applications. Furthermore, Java Card programming style requires runtime verification of all input conditions for all on-card methods, where ...
Estudo comparativo entre frameworks Java para desenvolvimento de aplicações web: JSF 2.0, grails e spring web MVC
(Universidade Tecnológica Federal do ParanáCuritibaDepartamento Acadêmico de Informática, 2011-06-21)
The Java platform is the most used for the development of corporate web applications. The market demands that the software has to be developed with the least time and cost as possible and with quality and for that, the use ...
Integrating interaction resources in the graphics clusters
(2010-12-01)
This paper aims to describe the basic concepts and necessary for Java programs can invoke libraries of programming language C/C ++, through the JNA API. We used a library developed in C/C ++ called Glass [8], which offers ...
Integrating interaction resources in the graphics clusters
(2010-12-01)
This paper aims to describe the basic concepts and necessary for Java programs can invoke libraries of programming language C/C ++, through the JNA API. We used a library developed in C/C ++ called Glass [8], which offers ...
Ofuscamento de código para proteção de programas Java contra engenharia reversa
(Universidade Tecnológica Federal do ParanáCuritibaDepartamento Acadêmico de Informática, 2012-08-17)
This paper aims to present and define code obfuscation as means of protecting intellectual property present on Java programs, covering it's techniques and showing how each of them work. Furthermore, discussesit's advantages ...
Utilização de Java e Mikrotik para gerenciamento de acesso à internet em um clube social
(Universidade Tecnológica Federal do ParanáPato Branco, 2014-12-08)
The Ampernet Telecomunicações Ltda is a technology company that concentrates its actions in developing solutions for Internet, working in the corporate and residential Market. The Ampernet saw the need to deploy a service ...
Compilação de bytecodes Java para um ambiente de arquitetura reconfigurável
(Universidade Estadual Paulista (Unesp), 2009-02-27)
Durante esta pesquisa, foram investigados conceitos relacionados à computação reconfigurável, processo de compilação e funcionamento da compilação Java, especialmente no que se refere à manipulação de bytecodes. O principal ...