Works matching DE "ORACLE software"

Results: 114

Best Buys.

Published in:

Government Technology, 2010, v. 23, n. 5, p. 26

By:

COLLINS, HILTON

Publication type:

Article

SMT solvers: new oracles for the HOL theorem prover.

Published in:

International Journal on Software Tools for Technology Transfer, 2011, v. 13, n. 5, p. 419, doi. 10.1007/s10009-011-0188-8

By:

Weber, Tjark

Publication type:

Article

Level bundle methods for oracles with on-demand accuracy.

Published in:

Optimization Methods & Software, 2014, v. 29, n. 6, p. 1180, doi. 10.1080/10556788.2013.871282

By:

de Oliveira, W.;
Sagastizábal, C.

Publication type:

Article

PLAINTEXT CHECKABLE ENCRYPTION WITH DESIGNATED CHECKER.

Published in:

Advances in Mathematics of Communications, 2015, v. 9, n. 1, p. 37, doi. 10.3934/amc.2015.9.37

By:

DAS, ANGSUMAN;
ADHIKARI, AVISHEK;
KOUICHI SAKURAI

Publication type:

Article

MEASURING THE PROBLEM-RELEVANT INFORMATION IN INPUT.

Published in:

RAIRO - Theoretical Informatics & Applications, 2009, v. 43, n. 3, p. 585, doi. 10.1051/ita/2009012

By:

DOBREV, STEFAN;
KRÁLOVIČ, RASTISLAV;
PARDUBSKÁ, DANA

Publication type:

Article

A short certificateless aggregate signature against coalition attacks.

Published in:

PLoS ONE, 2018, v. 13, n. 12, p. 1, doi. 10.1371/journal.pone.0205453

By:

Yang, Xiaodong;
Wang, Jinli;
Ma, Tingchun;
Li, Yutong;
Wang, Caifen

Publication type:

Article

Oracle Database 12c: A true cloud database.

Published in:

2013

By:

Shamsudeen, Ruyaj

Publication type:

Product Review

HK org to deploy identity management product.

Published in:: ComputerWorld Hong Kong, 2007, v. 24, n. 10, p. 6
Publication type:: Article

The Oracle Problem in Software Testing: A Survey.

Published in:

IEEE Transactions on Software Engineering, 2015, v. 41, n. 5, p. 507, doi. 10.1109/TSE.2014.2372785

By:

Barr, Earl T.;
Harman, Mark;
McMinn, Phil;
Shahbaz, Muzammil;
Yoo, Shin

Publication type:

Article

How Effectively Does Metamorphic Testing Alleviate the Oracle Problem?

Published in:

IEEE Transactions on Software Engineering, 2014, v. 40, n. 1, p. 4, doi. 10.1109/TSE.2013.46

By:

Liu, Huai;
Kuo, Fei-Ching;
Towey, Dave;
Chen, Tsong Yueh

Publication type:

Article

Model-Based Test Oracle Generation for Automated Unit Testing of Agent Systems.

Published in:

IEEE Transactions on Software Engineering, 2013, v. 39, n. 9, p. 1230, doi. 10.1109/TSE.2013.10

By:

Padgham, Lin;
Zhang, Zhiyong;
Thangarajah, John;
Miller, Tim

Publication type:

Article

The Role of the Tester's Knowledge in Exploratory Software Testing.

Published in:

IEEE Transactions on Software Engineering, 2013, v. 39, n. 5, p. 707, doi. 10.1109/TSE.2012.55

By:

Itkonen, Juha;
Mäntylä, Mika V.;
Lassenius, Casper

Publication type:

Article

Oracles for Distributed Testing.

Published in:

IEEE Transactions on Software Engineering, 2012, v. 38, n. 3, p. 629, doi. 10.1109/TSE.2011.45

By:

Hierons, Robert M.

Publication type:

Article

Mutation-Driven Generation of Unit Tests and Oracles.

Published in:

IEEE Transactions on Software Engineering, 2012, v. 38, n. 2, p. 278, doi. 10.1109/TSE.2011.93

By:

Fraser, Gordon;
Zeller, Andreas

Publication type:

Article

Inter-thread communication efficiency.

Published in:

Annales UMCS, Informatica, 2015, v. 15, n. 1, p. 12, doi. 10.17951/ai.2015.15.1.12-15

By:

Sagan, Jarosław

Publication type:

Article

Counting the back-and-forth types.

Published in:

Journal of Logic & Computation, 2012, v. 22, n. 4, p. 857, doi. 10.1093/logcom/exq048

By:

Montalbán, Antonio

Publication type:

Article

LITERATURE REVIEW ON SOFTWARE COMPLEXITY, SOFTWARE USABILITY AND SOFTWARE DELIVERABILITY.

Published in:

International Journal of Advanced Research in Computer Science, 2018, v. 9, n. 2, p. 438, doi. 10.26483/ijarcs.v9i2.5853

By:

Khan, Mohd. Kamran;
Ahmad, Faiyaz;
Khanum, Mohammadi Akheela

Publication type:

Article

SURVEY OF VARIOUS DATABASES AND ITS APPLICATIONS IN THE REAL WORLD.

Published in:

International Journal of Advanced Research in Computer Science, 2018, v. 9, n. 2, p. 237, doi. 10.26483/ijarcs.v9i2.5573

By:

Vardhan, Gutti Vishnu;
Rahamathulla, V.

Publication type:

Article

Trends in Hash Partition for Effective Object Data Access in Oracle Object-Oriented Database System.

Published in:

International Journal of Advanced Research in Computer Science, 2012, v. 3, n. 3, p. 410

By:

Tauro, Clarence J. M.;
S., Guruprasanna;
S. R., Girish;
Thomas, Joby

Publication type:

Article

OrChem.

Published in:

2010

By:

Rijnbeek, Mark

Publication type:

Abstract

CBIR Based Testing Oracles: An Experimental Evaluation of Similarity Functions.

Published in:

International Journal of Software Engineering & Knowledge Engineering, 2015, v. 25, n. 8, p. 1271, doi. 10.1142/S0218194015500254

By:

Nunes, Fátima L. S.;
Delamaro, Márcio Eduardo;
Gonçalves, Vagner Mendonça;
Lauretto, Marcelo De Souza

Publication type:

Article

Prediction of Vehicle Reliability using ANN.

Published in:

International Journal of Performability Engineering, 2012, v. 8, n. 3, p. 321

By:

Prasad, B. Hari;
Bhattacharjee, P.;
Venugopal, A.

Publication type:

Article

Possibilities for Unification of Hardware and Software Testing.

Published in:

Baltic Journal of Modern Computing, 2014, v. 2, n. 4, p. 227

By:

SEINAUSKAS, Rimantas;
SEINAUSKAS, Vytenis

Publication type:

Article

On the Performance of Oracle Grid Engine Queuing System for Computing Intensive Applications.

Published in:

Journal of Information Processing Systems, 2014, v. 10, n. 4, p. 491, doi. 10.3745/JIPS.01.0004

By:

Kolici, Vladi;
Herrero, Albert;
Xhafa, Fatos

Publication type:

Article

AN ANALOGUE-DIGITAL CHURCH-TURING THESIS.

Published in:

International Journal of Foundations of Computer Science, 2014, v. 25, n. 4, p. 373, doi. 10.1142/S0129054114400012

By:

BEGGS, EDWIN;
COSTA, JOSÉ FÉLIX;
POÇAS, DIOGO;
TUCKER, JOHN V.

Publication type:

Article

RECOVERING STRINGS IN ORACLES: QUANTUM AND CLASSIC.

Published in:

International Journal of Foundations of Computer Science, 2013, v. 24, n. 7, p. 979, doi. 10.1142/S0129054113400261

By:

IWAMA, KAZUO;
NISHIMURA, HARUMICHI

Publication type:

Article

Concept and Establishment of the Mine Information System within the CROMAC GIP Project.

Published in:

Cartography & Geoinformation / Kartografija i Geoinformacije, 2006, v. 5, n. 6, p. 76

By:

Biljecki, Zvonko;
Pavičić, Stipica;
Tonković, Tomislav

Publication type:

Article

Automatic Calculation of 3D Characteristics of a Cadastal Parcel for the Purposes of Mass Valuation.

Published in:

Cartography & Geoinformation / Kartografija i Geoinformacije, 2006, v. 5, n. 6, p. 14

By:

Matijević, Hrvoje;
Ivić, Siniša Mastelić;
Cetl, Vlado

Publication type:

Article

SOFTWARE COPYRIGHT'S ORACLE FROM THE CLOUD.

Published in:

Berkeley Technology Law Journal, 2015, v. 30, n. 1, p. 161

By:

Determam, Lothar;
Nimmer, David

Publication type:

Article

Blind Spot Detection for Safe Sim-to-Real Transfer.

Published in:

Journal of Artificial Intelligence Research, 2020, v. 67, p. 191, doi. 10.1613/jair.1.11436

By:

Ramakrishnan, Ramya;
Kamar, Ece;
Dey, Debadeepta;
Horvitz, Eric;
Shah, Julie

Publication type:

Article

Computer-Integrated Construction Management with Procore.

Published in:

Professional Constructor: The Journal of the American Institute of Constructors, 2024, v. 49, n. 1, p. 50

By:

Ashoka, Vedanth;
Syal, M. G. Matt

Publication type:

Article

Editorial for special issue of STVR on software testing, verification, and validation - volume 2 (extended selected papers from ICST 2011).

Published in:

Software Testing: Verification & Reliability, 2013, v. 23, n. 7, p. 529, doi. 10.1002/stvr.1506

By:

Harman, Mark;
Korel, Bogdan

Publication type:

Article

Checked coverage: an indicator for oracle quality.

Published in:

Software Testing: Verification & Reliability, 2013, v. 23, n. 7, p. 531, doi. 10.1002/stvr.1497

By:

Schuler, David;
Zeller, Andreas

Publication type:

Article

Organizing Hierarchical Data in a Relational Database by "Carry-along Sort" Algorithm.

Published in:

International Journal of Intelligent Information Technology Application, 2009, v. 2, n. 4, p. 187

By:

Sethuraman, Prabhakaran;
Rajamani, Lakshmi

Publication type:

Article

Heterogeneous hybrid signcryption for multi-message and multi-receiver.

Published in:

PLoS ONE, 2017, v. 12, n. 9, p. 1, doi. 10.1371/journal.pone.0184407

By:

Niu, Shufen;
Niu, Ling;
Yang, Xiyan;
Wang, Caifen;
Jia, Xiangdong

Publication type:

Article

Jury returns verdict for Google in question of fair use of Oracle’s code.

Published in:

Journal of Intellectual Property Law & Practice, 2016, v. 11, n. 11, p. 816, doi. 10.1093/jiplp/jpw112

By:

Macedo, Charles R.;
O'Neill, Trevor M.

Publication type:

Article

Stochastic Intermediate Gradient Method for Convex Problems with Stochastic Inexact Oracle.

Published in:

Journal of Optimization Theory & Applications, 2016, v. 171, n. 1, p. 121, doi. 10.1007/s10957-016-0999-6

By:

Dvurechensky, Pavel;
Gasnikov, Alexander

Publication type:

Article

LimsPortal and BonsaiLIMS: development of a lab information management system for translational medicine.

Published in:

Source Code for Biology & Medicine, 2011, v. 6, n. 1, p. 9, doi. 10.1186/1751-0473-6-9

By:

Bath, Timothy G.;
Bozdag, Selcuk;
Afzal, Vackar;
Crowther, Daniel

Publication type:

Article

Comparación entre Oracle BPM y JBPM en la optimización de un proceso de admisiones.

Published in:

Revista Facultad de Ingeniería - UPTC, 2013, v. 22, n. 34, p. 85, doi. 10.19053/01211129.2221

By:

Camargo Cuervo, Jorge Leonardo;
Suárez Mendoza, Edgar Fernando;
Ballesteros Ricaurte, Javier Antonio

Publication type:

Article

The notion of H-IFS: An approach for enhancing the OLAP capabilities in oracle10g.

Published in:

International Journal of Intelligent Systems, 2011, v. 26, n. 3, p. 262, doi. 10.1002/int.20466

By:

Chountas, Panagiotis;
Rogova, Ermir;
Atanassov, Krassimir

Publication type:

Article

Weak factor automata: The failure of failure factor oracles?

Published in:

South African Computer Journal, 2014, v. 53, p. 1, doi. 10.18489/sacj.v53i0.199

By:

Cleophas, Loek;
Kourie, Derrick G.;
Watson, Bruce W.

Publication type:

Article

Password Authenticated Key Exchange and Protected Password Change Protocols.

Published in:

Symmetry (20738994), 2017, v. 9, n. 8, p. 134, doi. 10.3390/sym9080134

By:

Ting-Yi Chang;
Min-Shiang Hwang;
Chou-Chen Yang

Publication type:

Article

Design and construction of system for marine geophysics data sharing based on WebGIS.

Published in:

Journal of Earth Science, 2012, v. 23, n. 6, p. 914, doi. 10.1007/s12583-012-0302-1

By:

Wang, Jiancun;
Su, Tianyun;
Li, Xinzhong;
Li, Jiagang;
Li, Qingping;
Lei, Fanghui;
Li, Zhongtao

Publication type:

Article

Application of the Progressive Wavelet Correlation in Image Retrieving.

Published in:

Journal of Computer Science & Control Systems, 2010, v. 3, n. 2, p. 77

By:

Stojanovic, Igor;
Bogdanova, Sofija;
Bogdanov, Momcilo

Publication type:

Article

Database based Operational Eddy Detection in High-Frequency Radar Surface Velocities.

Published in:

Bollettino di Geofisica Teorica ed Applicata, 2016, v. 57, p. 214

By:

Ivanković, Damir;
Dadić, Vlado;
Muslim, Stipe

Publication type:

Article

Truly Non-Repudiation Certificateless Short Signature Scheme from Bilinear Pairings.

Published in:

Journal of Information Science & Engineering, 2011, v. 27, n. 3, p. 969

By:

CHUN-I FAN;
RUEI-HAU HSU;
PEI-HSIU HO

Publication type:

Article

A Secure ID-Based Authenticated Group Key Exchange Protocol Resistant to Insider Attacks.

Published in:

Journal of Information Science & Engineering, 2011, v. 27, n. 3, p. 915

By:

TSU-YANG WU;
YUH-MIN TSENG;
CHING-WEN YU

Publication type:

Article

Specification-driven model transformation testing.

Published in:

Software & Systems Modeling, 2015, v. 14, n. 2, p. 623, doi. 10.1007/s10270-013-0369-x

By:

Guerra, Esther;
Soeken, Mathias

Publication type:

Article

A weight optimized artificial neural network for automated software test oracle.

Published in:

Soft Computing - A Fusion of Foundations, Methodologies & Applications, 2020, v. 24, n. 17, p. 13501, doi. 10.1007/s00500-020-05197-9

By:

Kamaraj, K.;
Arvind, C.;
Srihari, K.

Publication type:

Article

Triumvirate of ERP Failures: A Comparative Review of Worth, Southeast Power and Barrett.

Published in:

Computer Law Review International, 2023, v. 24, n. 1, p. 16, doi. 10.9785/cri-2023-240104

By:

Beardwood, John

Publication type:

Article