JCML: A specification language for the runtime verification of Java Card programs

COSTA, Umberto Souza; MOREIRA, Anamaria Martins; MUSICANTE, Matin A.; SOUZA NETO, Plácido A. JCML: A specification language for the runtime verification of Java Card programs. Science of Computer Programming. [S.l]: [s.n], 2010.

Specification and Runtime Verification of Java Card Programs

COSTA, Umberto Souza da; MOREIRA, Anamaria Martins; MUSICANTE, Martin A. Specification and Runtime Verification of Java Card Programs. Electronic Notes in Theoretical Computer Science. [S.l:s.n], 2009.

Qualidade física e fisiológica de sementes da leguminosa forrageira Macrotyloma axillare cv. Java

É de interesse prático, quando se dispõe de diferentes lotes de sementes, conhecer a qualidade fisiológica intrínseca a cada um. Objetivou-se determinar a qualidade fisiológica de lotes de sementes da leguminosa forrageira tropical, Macrotyloma axillare cv. Java, com utilização de diferentes metodologias para realização dos testes germinação e vigor. Determinou-se a pureza física dos lotes, o peso de mil sementes, a germinação com e sem escarificação (TG) e o vigor (índice de velocidade de germinação (IVG), primeira contagem, envelhecimento acelerado e condutividade elétrica) de três lotes de sementes. Diferenças na qualidade fisiológica inicial de sementes escarificadas foram observadas pelo teste de germinação. Pelos resultados dos testes de primeira contagem e IVG não foi possível detectar diferenças na qualidade fisiológica das sementes; o envelhecimento acelerado das sementes escarificadas pode ser realizado a 41º C por 72 horas ou a 45º C por 48 horas; o teste de condutividade elétrica mostrou-se adequado para diferenciar os lotes, a partir de 48 horas de embebição.

Uma perspectiva de extensão do modelo de aceitação de tecnologia para explicar o uso de linguagens de desenvolvimento WEB: pesquisa com desenvolvedores Pyton e Java

The spread of the Web boosted the dissemination of Information Systems (IS) based on the Web. In order to support the implementation of these systems, several technologies came up or evolved with this purpose, namely the programming languages. The Technology Acceptance Model TAM (Davis, 1986) was conceived aiming to evaluate the acceptance/use of information technologies by their users. A lot of studies and many applications have used the TAM, however, in the literature it was not found a mention of the use of such model related to the use of programming languages. This study aims to investigate which factors influence the use of programming languages on the development of Web systems by their developers, applying an extension of the TAM, proposed in this work. To do so, a research was done with Web developers in two Yahoo groups: java-br and python-brasil, where 26 Java questionnaires and 39 Python questionnaires were fully answered. The questionnaire had general questions and questions which measured intrinsic and extrinsic factors of the programming languages, the perceived usefulness, the perceived ease of use, the attitude toward the using and the programming language use. Most of the respondents were men, graduate, between 20 and 30 years old, working in the southeast and south regions. The research was descriptive in the sense of its objectives. Statistical tools, descriptive statistics, main components and linear regression analysis were used for the data analysis. The foremost research results were: Java and Python have machine independence, extensibility, generality and reliability; Java and Python are more used by corporations and international organizations than supported by the government or educational institutions; there are more Java programmers than Python programmers; the perceived usefulness is influenced by the perceived ease of use; the generality and the extensibility are intrinsic factors of programming languages which influence the perceived ease of use; the perceived ease of use influences the attitude toward the using of the programming language

Análise de desempenho de sistemas distribuídos de grande porte na plataforma Java

The lava Platform is increasing1y being adopted in the development of distributed sys¬tems with higb user demando This kind of application is more complex because it needs beyond attending the functional requirements, to fulfil1 the pre-established performance parameters. This work makes a study on the Java Vutual Machine (JVM), approaching its intemal aspects and exploring the garbage collection strategies existing in the literature and used by the NM. It also presents a set of tools that helps in the job of optimizing applications and others that help in the monitoring of applications in the production envi¬ronment. Doe to the great amount of technologies that aim to solve problems which are common to the application layer, it becomes difficult to choose the one with best time response and less memory usage. This work presents a brief introduction to each one of tbe possible technologies and realize comparative tests through a statistical analysis of the response time and garbage collection activity random variables. The obtained results supply engineers and managers with a subside to decide which technologies to use in large applications through the knowledge of how they behave in their environments and the amount of resources that they consume. The relation between the productivity of the technology and its performance is also considered ao important factor in this choice

Simulation Tools for Power Electronics Courses Based on Java Technologies

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

Java applets para um software educacional distribuído em eletrônica de potência

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

Ensino e orientação para projeto de conversores CC-CC através de aplicativos em java

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

JCML - Java Card Modeling Language: Definição e Implementação

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 the main goal is to preserve the data in the card. Design by contract, and in particular, the JML language, are an option for this kind of development and verification, as runtime verification is part of the Design by contract method implemented by JML. However, JML and its currently available tools for runtime verification were not designed with Java Card limitations in mind and are not Java Card compliant. In this thesis, we analyze how much of this situation is really intrinsic of Java Card limitations and how much is just a matter of a complete re-design of JML and its tools. We propose the requirements for a new language which is Java Card compliant and indicate the lines on which a compiler for this language should be built. JCML strips from JML non-Java Card aspects such as concurrency and unsupported types. This would not be enough, however, without a great effort in optimization of the verification code generated by its compiler, as this verification code must run on the card. The JCML compiler, although being much more restricted than the one for JML, is able to generate Java Card compliant verification code for some lightweight specifications. As conclusion, we present a Java Card compliant variant of JML, JCML (Java Card Modeling Language), with a preliminary version of its compiler

JFloat: uma biblioteca de ponto flutuante para a linguagem Java com suporte a arredondamento direcionado

This work presents JFLoat, a software implementation of IEEE-754 standard for binary floating point arithmetic. JFloat was built to provide some features not implemented in Java, specifically directed rounding support. That feature is important for Java-XSC, a project developed in this Department. Also, Java programs should have same portability when using floating point operations, mainly because IEEE-754 specifies that programs should have exactly same behavior on every configuration. However, it was noted that programs using Java native floating point types may be machine and operating system dependent. Also, JFloat is a possible solution to that problem

Java-XSC : módulo complexo e complexo intervalar

This work aims to develop modules that will increase the computational power of the Java-XSC library, and XSC an acronym for "Language Extensions for Scientific Computation . This library is actually an extension of the Java programming language that has standard functions and routines elementary mathematics useful interval. in this study two modules were added to the library, namely, the modulus of complex numbers and complex numbers of module interval which together with the modules original numerical applications that are designed to allow, for example in the engineering field, can be used in devices running Java programs

Correlation between API 50 CH and multiplex polymerase chain reaction for the identification of vaginal lactobacilli in isolates

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Persistence of endodontic methacrylate-based cement residues on dentin adhesive surface treated with different chemical removal protocols

The aim of this study was to evaluate the persistence of methacrylate-based cement residues on the dentin, after dentin surface cleaning with ethanol or acetone, with or without previous application of a dentin adhesive. Forty bovine crown fragments were obtained and the dentin surface was washed with 1.0 mL of 2.5% sodium hypochlorite (NaOCl), followed by 0.1 mL of 17% ethylenediaminetetraacetic acid application for 3 min, and final irrigation with 2.5% NaOCl. The specimens were air dried and resin-based cement was rubbed onto the dentine surface with a microbrush applicator. In 20 specimens, previously to cement, a dentin adhesive was applied in all surfaces. After 15 min, the surface was scrubbed with a cotton pellet and moistened with ethanol or acetone, compounding the following groups: G199.5% ethanol and G2acetone, without previous use of dentin adhesive; G399.5% ethanol and G4acetone, with previous use of dentin adhesive. The dentin surface was scrubbed until the cement residues could not be visually detected. Sections were then processed for scanning electron microscopy and evaluated at 500x magnification and scores were attributed to each image according to the area covered by residual sealer, and data were subjected to KruskalWallis at 5% significance. The lower residue presence was observed in G3 (P = 0.005). All surface presented cement residues when acetone was used as cleaning solution (P = 0.0005). The cleaning solutions were unable to completely remove the cement residues from both surfaces. The ethanol used after previous application of the dentin adhesive promoted the lower presence of residues.

Persistence of resinous cement residues in dentin treated with different chemical removal protocols

The aim of this study was to evaluate the persistence of resin cement residues after dentin surface cleaning with different alcohol-based solutions or an essential oil (eucalyptol). Forty bovine teeth were sectioned in order to expose pulp chamber dentin to be washed with 1.0 mL of 2.5% sodium hypochlorite (NaOCl), followed by 0.1 mL of 17% EDTA application for 3 min, and final irrigation with 2.5% NaOCl. The specimens were air dried and resin-based cement was rubbed onto the dentine surface with a microbrush applicator. After 15 min, the surface was scrubbed with a cotton pellet and moistened with different dentin cleaning solutions, compounding the following groups: G195% ethanol, G270% ethanol, G370% isopropyl alcohol, or G4eucalyptol. The dentin was scrubbed until the cement residues could not be visually detected. Sections were then processed for SEM and evaluated at x 500 magnification. Scores were attributed to each image according to the area covered by residual sealer, and data were subjected to KruskalWallis at 5% significance. Eucalyptol promoted the most adequate dentin cleaning, although no statistical difference was detected amongst the groups (P > 0.05), except between the eucalyptol and 70% ethanol groups (P < 0.05). All the evaluated dentin cleaning solutions were unable to completely remove the cement residues from the dentin surface. Microsc. Res. Tech., 2012. (C) 2012 Wiley Periodicals, Inc.

Phylogeography of endemic toads and post-Pliocene persistence of the Brazilian Atlantic Forest

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)