Results 71 to 80 of about 4,975 (191)

Exploring the Generality of a Java-based Loop Action Model for the Quorum Programming Language [PDF]

, 2019
Preetha Chatterjee
openalex   +1 more source

Model-based testing of Internet Mail Protocols

Труды Института системного программирования РАН, 2018
The paper discusses model-based testing of the modern Internet e-mail protocols, including the method of protocol modeling by means of formal notations, peculiarities of e-mail protocols in the context of testing.
N. V. Pakulin, A. N. Tugaenko
doaj  

Location Based Service Panduan Pencarian Rumah Sakit dengan Platform Android di Kota Semarang

Jurnal Teknologi dan Sistem Komputer, 2015
Until now, the location information of the General Hospital has not yet computerized and many take advantage of mobile devices. Therefore, it is necessary to study to facilitate the search for the nearest hospital.
Muh. Udka, R. Rizal Isnanto, Rinta Kridalukmana   +2 more
doaj   +1 more source

RIPN: A tool for implementing cyber-physical systems by using interpreted Petri Nets and teleo-reactive programs

SoftwareX
We present a new tool called RIPN, implemented in Java programming language, that enables the development of cyber-physical systems by integrating interpreted Petri nets and teleo-reactive programs.
Pedro Sánchez, Diego Alonso, Fernando Terroso, Bárbara Álvarez   +3 more
doaj   +1 more source

A logic for the Java modeling language JML

, 2000
17 p.
Jacobs, B.P.F., Poll, E.
openaire   +1 more source

A Graphical User Interface for R in a Rich Client Platform for Ecological Modeling

Journal of Statistical Software, 2012
For many ecological analyses powerful statistical tools are required for a profound analysis of spatial and time based data sets. In order to avoid many common errors of analysis and data acquisition a graphical user interface can help to focus on the ...
Wofram Beyschlag, Marcel Austenfeld
doaj  

SPATIAL INTERPOLATION OF RAINFALL INTENSITY IN JAVA ISLAND USING ORDINARY KRIGING

Barekeng
Indonesia, situated between two continents and two oceans, experiences a complex climate system influenced by global warming. Climate change has disrupted weather patterns, making it increasingly difficult to predict the rainy and dry seasons and ...
Shabira A. Auliyazhafira, Fariza A. Putri, Theresia S. Nauli, Aulia R. Al Madani, I Gede Nyoman Mindra Jaya, Annisa N. Falah, Budi Nurani Ruchjana   +6 more
doaj   +1 more source

Implementation Of Bubble Sort Algorithm On 2 Fruit Models Of Data Selection Using The Java Program Language

, 2021
Endang Sunandar
openalex   +2 more sources

Translating PL/I Macro Procedures into Java Using Automatic Templatization and Large Language Models [PDF]

Tateishi, Takaaki, Katsuno, Yasuharu
openalex   +2 more sources

Contrasting Dedicated Model Transformation Languages vs. General Purpose Languages: A Historical Perspective on ATL vs. Java based on Complexity and Size: Supplementary Materials

, 2021
Stefan Höppner
openalex   +1 more source