Results 11 to 20 of about 96,722 (203)
Formalizing the safety of Java, the Java virtual machine, and Java card [PDF]
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 ...
Pieter H. Hartel, Luc Moreau 0001
openaire +3 more sources
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 ...
Martin Schoeberl, Juan Ricardo Rios
openaire +1 more source
Tele-control de robots móviles desde Internet
Revista Eídos, 2009 En este artículo se presenta un sistema que permite controlar un robot móvil, desde cualquier lugar, utilizando como medio de comunicación entre el operador y el robot la red Internet, utilizando el método de control denominado “control continuo”, las ...
Fausto Rodrigo Freire Carrera
doaj +1 more source
Inscriptions of Sumatra; II. Short epigraphs in Old Javanese
Wacana: Journal of the Humanities of Indonesia, 2012 This article documents the existence of inscriptions using Old Javanese language on the island of Sumatra, by editing three short epigraphs, the first of which has previously been published but never satisfactorily interpreted, while the remaining two ...
Arlo Griffiths
doaj +1 more source
Sangiran For The Archaeologist A Short Guide For Students
Berkala Arkeologi, 1989 To-day the most important locality of Pleistocene hominids in Southeast Asia is Sangiran. This is where Homo erectus fossils come from, to which species the famous Pithecanthropus and Meganthropus belong.
Gert-Jan Bartstra
doaj +1 more source
Solar assisted heat pump modelling
European Mechanical Science, 2022 In this study, the Solar Energy Assisted Heat Pump (SAHP) system is modeled by creating different processes with the help of various models created in the JAVA program.
Denizhan Özenen, Mustafa Turhan Çoban
doaj +1 more source
Mapping objects through a data motor NoSQL case study: framework for web applications development
Ingeniería Investigación y Desarrollo, 2016 This article emerged as an academic initiative in which it is observed that the areas of knowledge in software develop- ment under the paradigm of Object-oriented programming (OOP) is confronted by a model data storage relational raising two scenarios ...
Roger Calderón-Moreno +1 more
doaj +1 more source
Monitoring Java Programs with Java PathExplorer
Electronic Notes in Theoretical Computer Science, 2001 AbstractWe present recent work on the development of Java PathExplorer (JPaX), a tool for monitoring the execution of Java programs. JPaX can be used during program testing to gain increased information about program executions, and can potentially furthermore be applied during operation to survey safety critical systems. The tool facilitates automated
Klaus Havelund, Grigore Rosu
openaire +2 more sources
Flow Java: Declarative Concurrency for Java
, 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 +3 more
openaire +5 more sources
Verification and Processing of Academic Certificates Using Web Services
Perspektif: Jurnal Ilmu-ilmu SosialA web service is a set of code of a server application that performs a specific task or service whenever it is invoked through a Remote Procedure Call (RPC) by a client application that is connected to the server over the Internet.
Anichebe Gregory Emeka
doaj +1 more source