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...