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.

The methodology for building GitBug-Java ensures the preservation of bug-fixes in fully-reproducible environments, and presents GitBug-Java, a reproducible benchmark of recent Java bugs.

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.

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.

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.

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.

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.

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

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

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.

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