Results 11 to 20 of about 908,696 (324)

Safety-critical Java on a Java processor [PDF]

Proceedings of the 10th International Workshop on Java Technologies for Real-time and Embedded Systems, 2012
The safety-critical Java (SCJ) specification is developed within the Java Community Process under specification request number JSR 302. The specification is available as public draft, but details are still discussed by the expert group. In this stage of the specification we need prototype implementations of SCJ and first test applications that are ...
Rios Rivas, Juan Ricardo, Schoeberl, Martin   +1 more
core   +4 more sources

The Java Eruption [PDF]

Nature, 1883
I HAVE been greatly interested in your note on M. Renard's researches as to the composition of the volcanic material ejected during the recent eruption of Krakatoa. The ashes, as stated, are those of a magma that would have produced an andesite with rhombic pyroxene.
F. C. Constable
  +8 more sources

Flow Java: Declarative Concurrency for Java [PDF]

, 2003
Logic variables pioneered by (concurrent) logic and concurrent constraint programming are powerful mechanisms for automatically synchronizing concurrent computations. They support a declarative model of concurrency that avoids explicitly suspending and resuming computations.
Drejhammar, Frej, Haridi, Seif, Brand, Per, Schulte, Christian   +3 more
openaire   +4 more sources

Using Java for distributed computing in the Gaia satellite data processing [PDF]

, 2011
In recent years Java has matured to a stable easy-to-use language with the flexibility of an interpreter (for reflection etc.) but the performance and type checking of a compiled language.
Hernandez, Jose, Hoar, John, Lammers, Uwe, Luri, Xavier, O'Mullane, William, Parsons, Paul   +5 more
core   +2 more sources

Provably correct Java implementations of Spi Calculus security protocols specifications [PDF]

, 2010
Spi Calculus is an untyped high level modeling language for security protocols, used for formal protocols specification and verification. In this paper, a type system for the Spi Calculus and a translation function are formally defined, in order to ...
Abadi, Abadi, Abadi, Alfredo Pironti, Bajaj, Bajaj, Bierman, Dolev, Durante, Igarashi, Milner, Nadalin, Pierce, Pironti, Riccardo Sisto, Sammapun, Schellhorn   +16 more
core   +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   +4 more sources

Notepad in Java

SSRN Electronic Journal, 2023
An Information Technology Engineering IIIrd Semester mini group project on Notepad a project based on Java language by Smit Shetye, Sarwesh Nandeshwar, Avinash Tiwari at Shivajirao S. Jondhale College Of Engineering. Smit Shetye, Sarwesh Nandeshwar, & Avinash Tiwari. (2021). Notepad in Java (p. 28).
Shetye, Smit, Nandeshwar, Sarwesh, Tiwari, Avinash   +2 more
openaire   +1 more source

Lifting and shifting the Air Force retail supply system [PDF]

Journal of Defense Analytics and Logistics, 2018
Purpose – Rising operational costs and software sustainment concerns have driven the Air Force to move to newer technology to ensure that the Air Force Standard Base Supply System (SBSS) can continue to provide affordable and sustainable mission support ...
Tommie L. Ellis, Robert A. Nicholson, Antoinette Y. Briggs, Scott A. Hunter, James E. Harbison, Paul S. Saladna, Michael W. Garris, Robert K. Ohnemus, John E. O’Connor, Steven B. Reynolds   +9 more
doaj   +1 more source

Futsal Field Management Information System based on Android in 212 Galuh Mas Karawang

Buana Information Technology and Computer Sciences, 2021
This futsal field booking application is used to make it easier for tenants to know the empty futsal court schedule, to provide convenience in the process of renting a futsal field schedule without having to come directly to the futsal venue. Making this
Eko Pramono, Saepul Aripiyanto, April Lia Hananto   +2 more
doaj   +1 more source

BAHAN DAN CARA PEMBUATAN ARCA BATU SEBAGAI KOMPONEN PENTING CANDI-CANDI MASA KLASIK DI JAWA

Berkala Arkeologi, 2013
Most of the building of temples Hindu / Buddhist in Java, always equipped with statues as a symbol of the manifestation of the gods. These statues are usually placed in the temple chambers in accordance with their respective functions.
Hari Lelono
doaj   +1 more source