Works matching DE "JAVA programming language"

Results: 1835

Crop Prediction Based on Environment Variables using Data Mining Technologies.

Published in:

Journal of Agricultural Sciences (Sri Lanka), 2025, v. 20, n. 2, p. 280, doi. 10.4038/jas.v20i2.9901

By:

Dananjali, K. T.;
Ekanayake, J. B.;
Kumara, B. T. G. S.;
Karunarathne, A. S.

Publication type:

Article

Language learning with interactive virtual agent scenarios and speech recognition: Lessons learned.

Published in:

Computer Animation & Virtual Worlds, 2008, v. 19, n. 5, p. 605, doi. 10.1002/cav.265

By:

Anderson, James N.;
Davidson, Nancie;
Morton, Hazel;
Jack, Mervyn A.

Publication type:

Article

Sun Microsystems Scores Again.

Published in:: TechTrends: Linking Research & Practice to Improve Learning, 2004, v. 48, n. 3, p. 67
Publication type:: Article

jAVANT-GARDE: A Cross-Platform Serious Game for an Introduction to Programming With Java.

Published in:

Simulation & Gaming, 2018, v. 49, n. 6, p. 751, doi. 10.1177/1046878118789976

By:

Galgouranas, Stefanos;
Xinogalos, Stelios

Publication type:

Article

Application of Java and VRML visualisation tools in store release wind-tunnel testing.

Published in:

Aeronautical Journal, 2005, v. 109, n. 1101, p. 569

By:

Orchard, O. M.;
Ahmadi, M.;
Tang, F. C.

Publication type:

Article

HBP: an optimization technique to shorten the control cycle time of the Neural Network Controller that provides dynamic buffer tuning to eliminate overflow at user level.

Published in:

Computer Systems Science & Engineering, 2004, v. 19, n. 2, p. 85

By:

Lin, Wilfred W. K.;
Wong, Allan K. Y.;
Dillon, Tharam S.

Publication type:

Article

ARM moves to software for Java acceleration.

Published in:: Electronics Systems & Software, 2005, v. 3, n. 4, p. 6
Publication type:: Article

JAVA plus XML.

Published in:

Computing & Control Engineering, 2005, v. 16, n. 5, p. 27, doi. 10.1049/cce:20050505

By:

Fan, R.;
Cheded, L.;
Toker, O.

Publication type:

Article

NCWin — A Component Object Model (COM) for Processing and Visualizing NetCDF Data.

Published in:

Cartographic Journal, 2005, v. 42, n. 1, p. 69, doi. 10.1179/000870405X57301

By:

Jinxun Liu;
Chen, Jing M.;
Price, David T.;
Shuguang Liu

Publication type:

Article

News Blast.

Published in:: Bio-IT World, 2005, v. 4, n. 1, p. 24
Publication type:: Article

Quick, to the GeneCAVE!

Published in:

Bio-IT World, 2003, v. 2, n. 12, p. 16

By:

Branca, Malorye A.

Publication type:

Article

Connect the Dots to See the Big Picture.

Published in:

Bio-IT World, 2003, v. 2, n. 5, p. 14

By:

Uehling, Mark D.

Publication type:

Article

Using Java for distributed computing in the Gaia satellite data processing.

Published in:

Experimental Astronomy, 2011, v. 31, n. 2/3, p. 243, doi. 10.1007/s10686-011-9241-6

By:

O'Mullane, William;
Luri, Xavier;
Parsons, Paul;
Lammers, Uwe;
Hoar, John;
Hernandez, Jose

Publication type:

Article

Implementing the Gaia Astrometric Global Iterative Solution (AGIS) in Java.

Published in:

Experimental Astronomy, 2011, v. 31, n. 2/3, p. 215, doi. 10.1007/s10686-011-9248-z

By:

O'Mullane, William;
Lammers, Uwe;
Lindegren, Lennart;
Hernandez, Jose;
Hobbs, David

Publication type:

Article

SShare: a simulator for studying and evaluating decentralized SPARQL query processing.

Published in:

Personal & Ubiquitous Computing, 2015, v. 19, n. 7, p. 1087, doi. 10.1007/s00779-015-0878-4

By:

Qu, Zhiguo;
Huang, Qi;
Xie, Weifeng;
Zhou, Jing

Publication type:

Article

Genetic algorithm for effective open port selection for a web filter.

Published in:

Personal & Ubiquitous Computing, 2013, v. 17, n. 8, p. 1693, doi. 10.1007/s00779-012-0602-6

By:

Hussain, Sajid;
Olayemi, Anjolaoluwa;
Yeo, Sang-Soo

Publication type:

Article

DiamondHelp: a new interaction design for networked home appliances.

Published in:

Personal & Ubiquitous Computing, 2006, v. 10, n. 2/3, p. 187, doi. 10.1007/s00779-005-0020-0

By:

Rich, Charles;
Sidner, Candace;
Lesh, Neal;
Garland, Andrew;
Booth, Shane;
Chimani, Markus

Publication type:

Article

EMMA: Epidemic Messaging Middleware for Ad hoc networks.

Published in:

Personal & Ubiquitous Computing, 2006, v. 10, n. 1, p. 28, doi. 10.1007/s00779-005-0037-4

By:

Musolesi, Mirco;
Mascolo, Cecilia;
Hailes, Stephen

Publication type:

Article

A Model-View-Controller extension for pervasive multi-client user interfaces.

Published in:

Personal & Ubiquitous Computing, 2005, v. 9, n. 2, p. 100, doi. 10.1007/s00779-004-0314-7

By:

Sauter, Patrick;
Vögler, Gabriel;
Specht, Günther;
Flor, Thomas

Publication type:

Article

Combining rule- and SMT-based reasoning for verifying floating-point Java programs in KeY.

Published in:

International Journal on Software Tools for Technology Transfer, 2023, v. 25, n. 2, p. 185, doi. 10.1007/s10009-022-00691-x

By:

Abbasi, Rosa;
Schiffl, Jonas;
Darulova, Eva;
Ulbrich, Mattias;
Ahrendt, Wolfgang

Publication type:

Article

Automatic refactoring of delta-oriented SPLs to remove-free form and replace-free form.

Published in:

International Journal on Software Tools for Technology Transfer, 2019, v. 21, n. 6, p. 691, doi. 10.1007/s10009-019-00534-2

By:

Damiani, Ferruccio;
Lienhardt, Michael;
Paolini, Luca

Publication type:

Article

Automated workarounds from Java program specifications based on SAT solving.

Published in:

International Journal on Software Tools for Technology Transfer, 2018, v. 20, n. 6, p. 665, doi. 10.1007/s10009-018-0503-8

By:

Uva, Marcelo;
Ponzio, Pablo;
Regis, Germán;
Aguirre, Nazareno;
Frias, Marcelo F.

Publication type:

Article

First international Competition on Runtime Verification: rules, benchmarks, tools, and final results of CRV 2014.

Published in:

International Journal on Software Tools for Technology Transfer, 2019, v. 21, n. 1, p. 31, doi. 10.1007/s10009-017-0454-5

By:

Bartocci, Ezio;
Falcone, Yliès;
Bonakdarpour, Borzoo;
Colombo, Christian;
Decker, Normann;
Havelund, Klaus;
Joshi, Yogi;
Klaedtke, Felix;
Milewicz, Reed;
Reger, Giles;
Rosu, Grigore;
Signoles, Julien;
Thoma, Daniel;
Zalinescu, Eugen;
Zhang, Yi

Publication type:

Article

Automated translation of VDM to JML-annotated Java.

Published in:

International Journal on Software Tools for Technology Transfer, 2018, v. 20, n. 2, p. 211, doi. 10.1007/s10009-017-0448-3

By:

Tran-Jørgensen, Peter W. V.;
Larsen, Peter Gorm;
Leavens, Gary T.

Publication type:

Article

Rigorous development process of a safety-critical system: from ASM models to Java code.

Published in:

International Journal on Software Tools for Technology Transfer, 2017, v. 19, n. 2, p. 247, doi. 10.1007/s10009-015-0394-x

By:

Arcaini, Paolo;
Gargantini, Angelo;
Riccobene, Elvinia

Publication type:

Article

Code generation for Event-B.

Published in:

International Journal on Software Tools for Technology Transfer, 2017, v. 19, n. 1, p. 31, doi. 10.1007/s10009-015-0381-2

By:

Rivera, Víctor;
Cataño, Néstor;
Wahls, Tim;
Rueda, Camilo

Publication type:

Article

Model checking of state-rich formalism by linking to $$CSP\,\Vert \,B$$.

Published in:

International Journal on Software Tools for Technology Transfer, 2017, v. 19, n. 1, p. 73, doi. 10.1007/s10009-015-0402-1

By:

Ye, Kangfeng;
Woodcock, Jim

Publication type:

Article

Provably correct control flow graphs from Java bytecode programs with exceptions.

Published in:

International Journal on Software Tools for Technology Transfer, 2016, v. 18, n. 6, p. 653, doi. 10.1007/s10009-015-0375-0

By:

Amighi, Afshin;
Gomes, Pedro de Carvalho;
Gurov, Dilian;
Huisman, Marieke

Publication type:

Article

Probabilistic verification and synthesis of the next generation airborne collision avoidance system.

Published in:

International Journal on Software Tools for Technology Transfer, 2016, v. 18, n. 2, p. 227, doi. 10.1007/s10009-015-0388-8

By:

Essen, Christian;
Giannakopoulou, Dimitra

Publication type:

Article

A blueprint for system-level performance modeling of software-intensive embedded systems.

Published in:

International Journal on Software Tools for Technology Transfer, 2016, v. 18, n. 1, p. 21, doi. 10.1007/s10009-014-0340-3

By:

Hendriks, Martijn;
Basten, Twan;
Verriet, Jacques;
Brassé, Marco;
Somers, Lou

Publication type:

Article

Solving the VerifyThis 2012 challenges with VeriFast.

Published in:

International Journal on Software Tools for Technology Transfer, 2015, v. 17, n. 6, p. 659, doi. 10.1007/s10009-014-0310-9

By:

Jacobs, Bart;
Smans, Jan;
Piessens, Frank

Publication type:

Article

KIV: overview and VerifyThis competition.

Published in:

International Journal on Software Tools for Technology Transfer, 2015, v. 17, n. 6, p. 677, doi. 10.1007/s10009-014-0308-3

By:

Ernst, Gidon;
Pfähler, Jörg;
Schellhorn, Gerhard;
Haneberg, Dominik;
Reif, Wolfgang

Publication type:

Article

Witnessing the elimination of magic wands.

Published in:

International Journal on Software Tools for Technology Transfer, 2015, v. 17, n. 6, p. 757, doi. 10.1007/s10009-015-0372-3

By:

Blom, Stefan;
Huisman, Marieke

Publication type:

Article

Implementation-level verification of algorithms with KeY.

Published in:

International Journal on Software Tools for Technology Transfer, 2015, v. 17, n. 6, p. 729, doi. 10.1007/s10009-013-0293-y

By:

Bruns, Daniel;
Mostowski, Wojciech;
Ulbrich, Mattias

Publication type:

Article

On piggyback runtime monitoring of object-oriented programs.

Published in:

International Journal on Software Tools for Technology Transfer, 2015, v. 17, n. 2, p. 125, doi. 10.1007/s10009-014-0326-1

By:

Hallé, Sylvain;
Vallet, Jason;
Tremblay-Lessard, Raphaël

Publication type:

Article

Survey on test data generation tools.

Published in:

International Journal on Software Tools for Technology Transfer, 2014, v. 16, n. 6, p. 727, doi. 10.1007/s10009-013-0272-3

By:

Galler, Stefan;
Aichernig, Bernhard

Publication type:

Article

Thoughtful brute-force attack of the RERS 2012 and 2013 Challenges.

Published in:

International Journal on Software Tools for Technology Transfer, 2014, v. 16, n. 5, p. 481, doi. 10.1007/s10009-014-0324-3

By:

Pol, Jaco;
Ruys, Theo;
Brinke, Steven

Publication type:

Article

Combining static analysis and state transition graphs for verification of event-condition-action systems in the RERS 2012 and 2013 challenges.

Published in:

International Journal on Software Tools for Technology Transfer, 2014, v. 16, n. 5, p. 493, doi. 10.1007/s10009-014-0338-x

By:

Schordan, Markus;
Prantl, Adrian

Publication type:

Article

More testable properties.

Published in:

International Journal on Software Tools for Technology Transfer, 2012, v. 14, n. 4, p. 407, doi. 10.1007/s10009-011-0220-z

By:

Falcone, Yliès;
Fernandez, Jean-Claude;
Jéron, Thierry;
Marchand, Hervé;
Mounier, Laurent

Publication type:

Article

An overview of the MOP runtime verification framework.

Published in:

International Journal on Software Tools for Technology Transfer, 2012, v. 14, n. 3, p. 249, doi. 10.1007/s10009-011-0198-6

By:

Meredith, Patrick;
Jin, Dongyun;
Griffith, Dennis;
Chen, Feng;
Roşu, Grigore

Publication type:

Article

Model generation for quantified formulas with application to test data generation.

Published in:

International Journal on Software Tools for Technology Transfer, 2012, v. 14, n. 4, p. 439, doi. 10.1007/s10009-012-0227-0

By:

Gladisch, Christoph

Publication type:

Article

Deductive software verification.

Published in:

International Journal on Software Tools for Technology Transfer, 2011, v. 13, n. 5, p. 397, doi. 10.1007/s10009-011-0211-0

By:

Filliâtre, Jean-Christophe

Publication type:

Article

The common aspect proof environment.

Published in:

International Journal on Software Tools for Technology Transfer, 2012, v. 14, n. 1, p. 41, doi. 10.1007/s10009-011-0191-0

By:

Katz, Shmuel;
Faitelson, David

Publication type:

Article

Finding concurrency-related bugs using random isolation.

Published in:

International Journal on Software Tools for Technology Transfer, 2011, v. 13, n. 6, p. 495, doi. 10.1007/s10009-011-0197-7

By:

Kidd, Nicholas;
Reps, Thomas;
Dolby, Julian;
Vaziri, Mandana

Publication type:

Article

Preface to a special section on verification, model checking, and abstract interpretation.

Published in:

International Journal on Software Tools for Technology Transfer, 2011, v. 13, n. 6, p. 491, doi. 10.1007/s10009-011-0214-x

By:

Jones, Neil;
Müller-Olm, Markus

Publication type:

Article

Scenario-based testing from UML/OCL behavioral models.

Published in:

International Journal on Software Tools for Technology Transfer, 2011, v. 13, n. 5, p. 431, doi. 10.1007/s10009-011-0189-7

By:

Castillos, Kalou;
Dadeau, Frédéric;
Julliand, Jacques

Publication type:

Article

Improved usability and performance of SMT solvers for debugging specifications.

Published in:

International Journal on Software Tools for Technology Transfer, 2010, v. 12, n. 6, p. 467, doi. 10.1007/s10009-010-0138-x

By:

Cok, David R.

Publication type:

Article

Towards an industrial grade IVE for Java and next generation research platform for JML.

Published in:

International Journal on Software Tools for Technology Transfer, 2010, v. 12, n. 6, p. 429, doi. 10.1007/s10009-010-0164-8

By:

Chalin, Patrice;
Robby;
James, Perry R.;
Jooyong Lee;
Karabotsos, George

Publication type:

Article

From objects to services: toward a stepwise migration approach for Java applications.

Published in:

International Journal on Software Tools for Technology Transfer, 2009, v. 11, n. 6, p. 427, doi. 10.1007/s10009-009-0123-4

By:

Marchetto, Alessandro;
Ricca, Filippo

Publication type:

Article

A survey of new trends in symbolic execution for software testing and analysis.

Published in:

International Journal on Software Tools for Technology Transfer, 2009, v. 11, n. 4, p. 339, doi. 10.1007/s10009-009-0118-1

By:

Păsăreanu, Corina;
Visser, Willem

Publication type:

Article