Top Research Papers on Java

The concept of nanopublications was first proposed about six years ago, but it lacked openly available implementations. The library presented here is the first one that has become an official implementation of the nanopublication community. Its core features are stable, but it also contains unofficial and experimental extensions: for publishing to a decentralized server network, for defining sets of nanopublications with indexes, for informal assertions, and for digitally signing nanopublications. Most of the features of the library can also be accessed via an online validator interface.

Abstract. A Java-based tool-supported software development and anal-ysis framework is presented, where monitoring is a foundational princi-ple. Expressive requirements specification formalisms can be included into the framework via logic plug-ins, allowing one to refer not only to the current state, but also to both past and future states. 1

This paper proposes Middleweight Java, MJ, as a contender for a minimal imperative core calculus for Java, and defines the syntax, type system and operational semantics of MJ, and gives a proof of type safety.

This paper presents K-Java, a complete executable formal semantics of Java 1.4. K-Java was extensively tested with a test suite developed alongside the project, following the Test Driven Development methodology. In order to maintain clarity while handling the great size of Java, the semantics was split into two separate definitions -- a static semantics and a dynamic semantics. The output of the static semantics is a preprocessed Java program, which is passed as input to the dynamic semantics for execution. The preprocessed program is a valid Java program, which uses a subset of the features o...

This is a report on a prototype of a FORTRAN 77 to Java converter, f2j, which allows value added to some of the investment on FORTRAN code, in particular, those well established FORTRAN libraries for scienti(cid:12)c and engineering computation.

The prevalence of gastrointestinal worm in males were highest than female, whereas for larger was found in females, and the total prevalence and infestation of cestodes and nematodes was found highest in Bogor.

Merging execution paths is a powerful technique for reducing path explosion in symbolic execution. One approach, introduced and dubbed "veritesting" by Avgerinos et al., works by translating abounded control flow region into a single constraint. This approach is a convenient way to achieve path merging as a modification to a pre-existing single-path symbolic execution engine. Previous work evaluated this approach for symbolic execution of binary code, but different design considerations apply when building tools for other languages. In this paper, we extend the previous approach for symbolic e...

The the elements of java style is universally compatible with any devices to read and is available in the authors' digital library an online access to it is set as public so you can get it instantly.

Use this book to master XML, the JSON data format, and APIs for parsing and creating XML and JSON documents from Java SE. Covers Jackson (JSON processor for Java) and Oracle’s Java API for JSON processing (JSON-P), and examples with the latest Java 11 features.

Contents: Series Editorsa (TM) preface a modernity and Islam in Java , Andrew Strathern and Pamela J. Stewart Introduction City of culture, tourist objects and difference as fetish Locating 'Islam' between thin veneer and normative piety Dukun, kyai and ustadz: healing along the spectrum Social drama, dangdut and popular culture Muslim puritans, cultural dakwah and reformation Student theatre, social critique and equalization Maiyah, communitas and common people Conclusion Glossary Bibliography Index.

JSketch is presented, a tool that brings sketch-based synthesis to Java by translating the synthesis problem into a Sketch problem; this translation is complex because Sketch is not object-oriented.

Lobster resources are abundant in Indonesia waters. Lobster’s catch production is known as an important fishery commodity. A lobster fishery is considered important fisheries within the Indonesia fishe ies management zone. So that, its management plan is needed to be developed. As a consequence, preliminary study on lobster distribution by its species proportion or composition in their catches by its fishing ground and fishing season (month) are important to mitigate the resources. The study was conducted in Java Sea of East Java to explore the lobster species distribution and composition. The...

It is expected that Java-based widget applications to facilitate and help people obtain information about the weather that has been going on and to know the temperature and the temperature of an area in real time.

Abstract. We resolve a previously unrecognized shallow subducting seamount from a re-processed multichannel seismic profile crossing the 1994 Mw 7.8 Java tsunami earthquake rupture area. Seamount subduction occurs where the overriding plate experiences uplift by lateral shortening and vertical thickening. Pronounced back-thrusting at the landward slope of the forearc high and the formation of splay faults branching off the landward flank of the subducting seamount are observed. The location of the seamount in relation to the 1994 earthquake hypocentre and its co-seismic slip model suggests tha...

An analysis system to detect lexical and string obfuscation in Java malware by identifying a set of eleven features that characterizes obfuscated code, and using it to train a machine learning classifier to distinguish between obfuscated and non-obfuscated malware.

[EN] \nProgram slicing is a technique to extract the part of the program that can affect the values computed at a given program point (known as the slicing criterion). To represent programs, program slicing uses the System Dependence Graph (SDG), for which several extensions like the Java System Dependence Graph (JSysDG) or the Sub-Statement Linear Dependence Graph (SSLDG) exist to deal with Java object-oriented programs. In this paper, we present an incompleteness result proving that these graphs do not produce complete slices in all cases, and specifically when some object variables are sele...

A comprehensive understanding of Java reflection is provided through examining its underlying concept, API, and real-world usage, and a new static approach to resolving Java reflection effectively in practice is introduced.

An empirical study on StackOverflow posts aiming to understand developers' concerns on Java secure coding, their programming obstacles, and insecure coding practices reveals the insufficiency of secure coding assistance and documentation, as well as the huge gap between security theory and coding practices.

This study combined two years of the Blackbox dataset with a survey of 76 educators to investigate which mistakes students make while learning to program Java, and whether the educators could make an accurate estimate of which mistakes were most common.

This paper concerns investigations of the hydrography of the waters south of Java, especially of the Java Coastal Current, which have been carried out by the Institute of Marine Research at Djakarta. It is based on (1) oceanographic observations made by the research vessel "SAMUDERA" in February 1957, (2) the surface salinity data of the years 1949—1955, consisting of about 700 observations which were collected by the Institute of Marine Research at Djakarta, and (3) the surface current data obtained from the Atlas of Oceanographic and Meteorological data of the Koninklijk Nederlands Meteorolo...

The Art of Image Processing with Java places image processing within the realm of both engineering and computer science students by emphasizing software design and builds an accessible mathematical foundation.

A software tool for handling P systems is presented, which can simulate basic transition P Systems where dissolution of membranes and priority rules are allowed and is carried out in an imperative and object-oriented language - Java.

Artificial neural networks (ANNs) about 2 need for 2 used, for diagnosing breast cancer 126-130 artificial neuron 5

It follows that subtype checking in Java is undecidable, which answers a question posed by Kennedy and Pierce in 2007 and also follows that Java's type checker can recognize any recursive language, which improves a result of Gill and Levy from 2016.

Questions about language definition, joint efforts, and community engagement, some enumerated in this paper, for the Java formal reasoning community to address are raised.

JavAssess is presented, a Java library with an API composed of around 200 methods to automatically inspect, test, mark, and correct Java code that can be used to produce both black-box and white-box assessment tools.

The main contribution of this work was the integration of cognitive and affective information in a behavior graph which is used by the pedagogical agent to show emotion and empathy to the student.

This research was intended to: (1) explore the forms of ethnomathematics and (2) analyze the integration of ethnomathematic at elementary and intermediate educations. This research used surveys as the main method. The data were collected by means of questionnaires, observations and documentation as well as literature reviews. The data were then analyzed descriptively and qualitatively. The analyses showed the following results: (1) ethnomathematics within the cultures of communities in northern coastal areas of Java Island were in the forms of: (a) cultural buildings (Menara Kudus), (b) non-cu...

A library of anti-patterns can be built and used as guidance to avoid certain commonly made mistakes in use case modelling, and especially in Sect.

Computer Graphics for Java Programmers is a good place to start for those with a little experience of Java who wish to create and manipulate 2D and 3D graphical objects.

It is found that developers regularly misunderstand or misuse Java security mechanisms, that benign programs do not use all of the vast flexibility afforded by the Java security model, and that there are clear differences between the ways benign and exploit programs interact with the security manager.

Representative workloads and principled methodologies are the foundation of performance analysis, which in turn provides the empirical grounding for much of the innovation in systems research. However, benchmarks are hard to maintain, methodologies are hard to develop, and our field moves fast. The tension between our fast-moving fields and their need to maintain their methodological foundations is a serious challenge. This paper explores that challenge through the lens of Java performance analysis. Lessons we draw extend to other languages and other fields of computer science.

Genetic Algorithms in Java Basics is a brief introduction to solving problems using genetic algorithms, with working projects and solutions written in the Java programming language to give a practical understanding, enabling you to solve your own unique, individual problems.

Batik, the technique of patterning cloth through the application of wax, reached the highest level of complexity on the island of Java. While deeply embedded in local traditions and associated with the social order of Java, outside Indonesia batik became a powerful cultural intermediary connecting countries as diverse as Netherlands, Japan, Ghana, India, and Australia. In the early stages, this process was an outcome of the Dutch colonial agency. In the 17th and 18th centuries the Dutch East India Company sold Indian textiles destined for Indonesian markets as well as small quantities of Javan...

Abstract NOTE: The first page of text has been automatically extracted and included below in lieu of an abstract Leveraging the Power of Java in the Enterprise The ability to acquire, manage and utilize information has never been more instrumental. Without doubt, technology has been the most influential force behind the growth in economy. The Business is placing greater emphasis on information technology. Traces of information technology can be found from sales, to marketing, to inventory, to R&D. An integral component of technology is that it is highly dynamic. Technology changes at a rapid p...

JXPerf, a lightweight performance analysis tool for pinpointing wasteful memory operations in Java programs and optimizing several Java applications by improving code generation and choosing superior data structures and algorithms, which yield significant speedups.

CF4J is presented, a Java library designed to carry out Collaborative Filtering based RS research experiments and serves as a library specifically designed for the research trial and error process.

This work develops state-of-the-art tools to statically mine 297,543 type changes and their subsequent code adaptations from a diverse corpus of 129 Java projects containing 416,652 commits, and answers research questions about the practice of type changes.

A notional machine is created that uses physical objects to help students understand references and objects in Java programs, much like blocks or other physical items help young children reason about abstract things like quantity, addition, and subtraction.

Active-learning and real-world projects underpin each chapter, briefly reviewing programming fundamentals then progressing to core data structures and algorithms topics including recursion, lists, stacks, trees, graphs, sorting, and complexity analysis.