Results 31 to 40 of about 1,204,944 (369)
, 1998 This book provides an introduction to the Java programming language and also covers other related areas such as HTML, JavaScript, CGIscript and VRML. Most of the Java programs relate to practical examples, including:* Menus and forms* Graphics* Event-driven software, such as mouse and keyboard events* Networking* Interacting with other programs ...
openaire +2 more sources
Glotaran: A Java-Based Graphical User Interface for the R Package TIMP
, 2012 In this work the software application called Glotaran is introduced as a Java-based graphical user interface to the R package TIMP, a problem solving environment for fitting superposition models to multi-dimensional data.
J. Snellenburg +4 more
semanticscholar +1 more source
Automation of work with partner product catalogs in online store based on WooCommerce
Технічна інженерія, 2019 The article emphasizes the growing popularity of doing business based on the dropshipping model, thanks to which online stores successfully cooperate with the goods manufacturers for product range expansion and make a profit.
G.P. Kolomoets, T.S. Morschenok
doaj +1 more source
Formalizing the safety of Java, the Java virtual machine, and Java card
ACM Computing Surveys, 2001 We review the existing literature on Java safety, emphasizing formal approaches, and the impact of Java safety on small footprint devices such as smartcards. The conclusion is that although a lot of good work has been done, a more concerted effort is needed to build a coherent set of machine-readable formal models of the whole of Java and its ...
Hartel, Pieter H., Moreau, Luc
openaire +3 more sources
JBMC: A Bounded Model Checking Tool for Verifying Java Bytecode
International Conference on Computer Aided Verification, 2018 We present a bounded model checking tool for verifying Java bytecode, which is built on top of the CPROVER framework, named Java Bounded Model Checker (JBMC).
L. Cordeiro +4 more
semanticscholar +1 more source
A Java Reference Model of Transacted Memory for Smart Cards [PDF]
, 2002 Transacted Memory offers persistence, undoability and auditing. We present a Java/JML Reference Model of the Transacted Memory system on the basis of our earlier separate Z model and C implementation.
Hartel, Pieter +2 more
core +9 more sources
Вестник Дагестанского государственного технического университета: Технические наукиObjective. When integrating the ELK stack into an information system, it is necessary to have a duplicate Java application in a closed circuit for hidden anomaly processing.
P. I. Sharikov +2 more
doaj +1 more source
Sawja: Static Analysis Workshop for Java [PDF]
, 2010 Static analysis is a powerful technique for automatic verification of programs but raises major engineering challenges when developing a full-fledged analyzer for a realistic language such as Java.
A.P. Ershov +16 more
core +6 more sources
r-Java 2.0: the nuclear physics [PDF]
, 2014 [Aims:] We present r-Java 2.0, a nucleosynthesis code for open use that performs r-process calculations as well as a suite of other analysis tools. [Methods:] Equipped with a straightforward graphical user interface, r-Java 2.0 is capable of; simulating ...
Jaikumar, P. +4 more
core +1 more source
Buletin Al-Turas, 2015 Abstrak Singir merupakan salah satu genre sastra Jawa berbentuk puisi tradisional sebagai turunan dari syair (dalam ranah kesusastraan Melayu) atau syi'r (dalam ranah kesusastraan Parsi-Arab).
Salfia Rahmawati
doaj +1 more source