Search results for "black-box"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
35	Petr Posík	Comparison of cauchy EDA and BIPOP-CMA-ES algorithms on the BBOB noiseless testbed.	GECCO (Companion)	2010	DBLP DOI BibTeX RDF	benchmarking, estimation-of-distribution algorithm, black-box optimization, evolutionary strategy, covariance matrix adaptation, cauchy distribution
35	Samuel J. Huston, W. Bruce Croft	Evaluating verbose query processing techniques.	SIGIR	2010	DBLP DOI BibTeX RDF	verbose queries, query reformulation, black box
35	Michal Armoni	Reduction in CS: A (Mostly) Quantitative Analysis of Reductive Solutions to Algorithmic Problems.	ACM J. Educ. Resour. Comput.	2009	DBLP DOI BibTeX RDF	Reduction, black box, reductive thinking
35	Carlos García-Martínez, Manuel Lozano 0001	A continuous variable neighbourhood search based on specialised EAs: application to the noiseless BBO-benchmark 2009.	GECCO (Companion)	2009	DBLP DOI BibTeX RDF	specialised evolutionary algorithms, variable neighbourhood search, evolutionary computation, benchmarking, black-box optimization, hybrid metaheuristics
35	Daniel Molina, Manuel Lozano 0001, Francisco Herrera	A memetic algorithm using local search chaining forblack-box optimization benchmarking 2009 for noise free functions.	GECCO (Companion)	2009	DBLP DOI BibTeX RDF	evolutionary computation, benchmarking, black-box optimization, memetic algorithms, hybrid metaheuristics
35	Anne Auger, Nikolaus Hansen	Benchmarking the (1+1)-CMA-ES on the BBOB-2009 noisy testbed.	GECCO (Companion)	2009	DBLP DOI BibTeX RDF	evolutionary computation, benchmarking, black-box optimization, CMA-ES
35	Anne Auger	Benchmarking the (1+1)-ES with one-fifth success rule on the BBOB-2009 noisy testbed.	GECCO (Companion)	2009	DBLP DOI BibTeX RDF	evolutionary computation, benchmarking, black-box optimization
35	Anne Auger, Nikolaus Hansen	Benchmarking the (1+1)-CMA-ES on the BBOB-2009 function testbed.	GECCO (Companion)	2009	DBLP DOI BibTeX RDF	evolutionary computation, benchmarking, black-box optimization, CMA-ES
35	Carlos García-Martínez, Manuel Lozano 0001	A continuous variable neighbourhood search based on specialised eas: application to the noisy BBO-benchmark 2009 testbed.	GECCO (Companion)	2009	DBLP DOI BibTeX RDF	specialised evolutionary algorithms, variable neighbourhood search, evolutionary computation, benchmarking, black-box optimization, hybrid metaheuristics
35	Eike Kiltz, Krzysztof Pietrzak	On the Security of Padding-Based Encryption Schemes - or - Why We Cannot Prove OAEP Secure in the Standard Model.	EUROCRYPT	2009	DBLP DOI BibTeX RDF	Padding-based encryption, ideal trapdoor permutations, black-box, OAEP
35	Jonathan Katz, Yehuda Lindell	Handling Expected Polynomial-Time Strategies in Simulation-Based Security Proofs.	J. Cryptol.	2008	DBLP DOI BibTeX RDF	Expected polynomial-time, Black-box simulation, Zero-knowledge, Secure multiparty computation
35	Ralf Küsters, Anupam Datta, John C. Mitchell, Ajith Ramanathan	On the Relationships between Notions of Simulation-Based Security.	J. Cryptol.	2008	DBLP DOI BibTeX RDF	Simulation-based security, Reactive Simulatability, Black-Box Simulatability, Universal Composability, Process calculus
35	Ronen Shaltiel, Emanuele Viola	Hardness amplification proofs require majority.	STOC	2008	DBLP DOI BibTeX RDF	amplification, natural proofs, black-box, hardness, average-case complexity, constant-depth circuits, majority
35	Hoeteck Wee	One-Way Permutations, Interactive Hashing and Statistically Hiding Commitments.	TCC	2007	DBLP DOI BibTeX RDF	Interactive hashing, statistically hiding commitments, black-box lower bounds
35	Achim D. Brucker, Burkhart Wolff	Test-Sequence Generation with Hol-TestGen with an Application to Firewall Testing.	TAP	2007	DBLP DOI BibTeX RDF	symbolic test case generations, theorem proving, computer security, black box testing, Isabelle/HOL, test sequence generation
35	Yuval Ishai, Eyal Kushilevitz, Rafail Ostrovsky, Amit Sahai	Zero-knowledge from secure multiparty computation.	STOC	2007	DBLP DOI BibTeX RDF	cryptography, zero-knowledge, secure computation, black-box reductions
35	Takeshi Mishima, Hiroshi Nakamura	A Proposal of New Dependable Database Middleware with Consistency and Concurrency Control.	PRDC	2007	DBLP DOI BibTeX RDF	black box method, concurrency, dependability, consistency, database server
35	Torsten Adolph, Willi Schönauer	Parallelization of the Mesh Refinement Algorithm of the FDEM Program Package.	PARA	2006	DBLP DOI BibTeX RDF	Non-linear PDEs, Black-box solver, Parallelization, Error estimate, Unstructured grid, Finite difference method, Mesh refinement
35	Fabrice Bouquet, Frédéric Dadeau, Julien Groslambert, Jacques Julliand	Safety Property Driven Test Generation from.	FATES/RV	2006	DBLP DOI BibTeX RDF	JavaCard, automated testing, black-box testing, safety properties, Java Modeling Language
35	Retsef Levi, Robin Roundy, David B. Shmoys	Provably near-optimal sampling-based algorithms for Stochastic inventory control models.	STOC	2006	DBLP DOI BibTeX RDF	inventory problems, sampling-based algorithms, approximation algorithms, black box
35	Markus Clermont, David Lorge Parnas	Using information about functions in selecting test cases.	ACM SIGSOFT Softw. Eng. Notes	2005	DBLP DOI BibTeX RDF	test data generation, black box testing, tabular expressions
35	Markus Clermont, David Lorge Parnas	Using information about functions in selecting test cases.	A-MOST	2005	DBLP DOI BibTeX RDF	test data generation, black box testing, tabular expressions
35	Kim Guldstrand Larsen, Marius Mikucionis, Brian Nielsen, Arne Skou	Testing real-time embedded software using UPPAAL-TRON: an industrial case study.	EMSOFT	2005	DBLP DOI BibTeX RDF	real-time systems, embedded systems, black-box testing, online testing, control software
35	Joshua D. Knowles, Evan J. Hughes	Multiobjective Optimization on a Budget of 250 Evaluations.	EMO	2005	DBLP DOI BibTeX RDF	expensive black-box functions, ParEGO, DACE, Bin_MSOPS, landscape approximation, multiobjective optimization, test suites, response surfaces
35	Erich L. Kaltofen, Dmitriy Morozov, George Yuhasz	Generic matrix multiplication and memory management in linBox.	ISSAC	2005	DBLP DOI BibTeX RDF	C++ allocator, exact linear algebra, garbage collection, memory management, system integration, C++ templates, black box matrix
35	Joachim von zur Gathen, Igor E. Shparlinski	Polynomial interpolation from multiples.	SODA	2004	DBLP BibTeX RDF	black box polynomial, hidden polynomial, integer lattices, short vectors, approximate computation
35	Adam L. Young, Moti Yung	Relationships Between Diffie-Hellman and "Index Oracles".	SCN	2004	DBLP DOI BibTeX RDF	Diffie-Hellman (DH), Computational Diffie-Hellman, Decision Diffie-Hellman, JDL, LDL, Public Key Cryptography, Oracles, Black-Box Reductions, Discrete-Log
35	Scott Aaronson	Lower bounds for local search by quantum arguments.	STOC	2004	DBLP DOI BibTeX RDF	query complexity (black box, decision tree), local search, quantum computing, PLS, local optima
35	Wayne Eberly	Reliable Krylov-based algorithms for matrix null space and rank.	ISSAC	2004	DBLP DOI BibTeX RDF	Frobenius decomposition, block lanczos algorithm, linear system solution, matrix rank, randomized algorithm, black box matrix
35	Naina Mittal, Ira Acharya	An Open Framework for Managed Regression Testing.	TestCom	2003	DBLP DOI BibTeX RDF	managed testing, networking equipment, test bench, hierarchical test case management, test plan tree, framework deployment, test-cycle reduction, testing tool collaboration, regression testing, black-box testing, Test automation, test framework, test planning, test execution, test scripts
35	Yao-Wen Huang, Shih-Kun Huang, Tsung-Po Lin, Chung-Hung Tsai	Web application security assessment by fault injection and behavior monitoring.	WWW	2003	DBLP DOI BibTeX RDF	complete crawling, fault injection, black-box testing, security assessment, web application testing
35	Jens Jägersküpper	Analysis of a Simple Evolutionary Algorithm for Minimization in Euclidean Spaces.	ICALP	2003	DBLP DOI BibTeX RDF	Continuous Search Space, Expected Runtime, Mutation Adaptation, Evolutionary Algorithms, Black-Box Optimization
35	Tao Ye, Shivkumar Kalyanaraman	A recursive random search algorithm for large-scale network parameter configuration.	SIGMETRICS	2003	DBLP DOI BibTeX RDF	global optimization, network management, black-box optimization, random sampling
35	Brian King	A Comment on Group Independent Threshold Sharing.	WISA	2003	DBLP DOI BibTeX RDF	integer span programs, group independent threshold schemes, black-box sharing, secret sharing, threshold cryptography, monotone span programs
35	Erich L. Kaltofen	Polynomial factorization: a success story.	ISSAC	2003	DBLP DOI BibTeX RDF	black box polynomial, randomized algorithm, polynomial factorization, lattice basis reduction, symbolic/numeric hybrid method, straight line program
35	Willi Schönauer, Torsten Adolph	Higher Order May Be Better or May Not Be Better: Investigations with the FDEM (Finite Difference Element Method).	J. Sci. Comput.	2002	DBLP DOI BibTeX RDF	selfadaptation, black-box solver, finite difference method, higher order
35	Jean-Guillaume Dumas, B. David Saunders, Gilles Villard	Integer Smith form via the valence: experience with large sparse matrices from homology.	ISSAC	2000	DBLP DOI BibTeX RDF	Valence algorithm, Wiedemann algorithm, integer Smith form, large sparse matrix, Gaussian elimination, black box, simplicial complexes, homology groups
35	Ransom Richardson, Joe Kilian	On the Concurrent Composition of Zero-Knowledge Proofs.	EUROCRYPT	1999	DBLP DOI BibTeX RDF	Asynchronous Attacks, Black-box Simulation, Zero Knowledge
35	Rachel Cardell-Oliver, Tim Glover	A Practical and Complete Algorithm for Testing Real-Time Systems.	FTRTFT	1998	DBLP DOI BibTeX RDF	real-time systems, timed automata, black-box testing
35	Paulo S. C. Alencar, Donald D. Cowan, Torsten Nelson, Carlos José Pereira de Lucena	Viewpoints as an evolutionary approach to software system maintenance.	ICSM	1997	DBLP DOI BibTeX RDF	software system maintenance, black box approach, software system evolution, NACHOS file system, object oriented software systems, general transformational approach, semantics, software maintenance, case study, software design, viewpoints, evolutionary approach
35	Stéphane Barbey, Didier Buchs, Cécile Péraire	A Theory of Specification-Based Testing for Object-Oriented Software.	EDCC	1996	DBLP DOI BibTeX RDF	black-box testing strategy, testing, formal methods, object-orientation, validation and verification, test and evaluation
35	Mei-Chen Hsueh	Large complex system test: objectives and approaches.	ICECCS	1995	DBLP DOI BibTeX RDF	large complex system test, black-box system testing, system test objectives, usage-model approach, system application environments, functional aspects, structure testing technique, nonfunctional aspects, distributed processing, program verification, program testing
35	Wei-Tek Tsai, Dmitry Volovik, Thomas F. Keefe	Automated Test Case Generation for Programs Specified by Relational Algebra Queries.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	black-box software testing, relational algebra queries, arbitrary specifications, relational algebra expressions, automated test case generation method, formal specification, relational databases, program testing, automatic programming
35	Carlos Urias Munoz	An Approach to Software Product Testing.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	software product testing, self-checking test cases, black box test cases, random test cases, correctness measurements, defect circumvention, sampling, program testing, program testing, automatic test case generation, exhaustive testing
34	Robert Law	Using student blogs for documentation in software development projects.	ITiCSE	2011	DBLP DOI BibTeX RDF
34	Huidong Qiao, Jiangchun Ren, Zhiying Wang 0003, Ying Hu	Disabling Tracing in Black-Box-Traceable CP-ABE System: Alert Decryption Black Box.	Symmetry	2024	DBLP DOI BibTeX RDF
34	Ryan Giordano, Martin Ingram, Tamara Broderick	Black Box Variational Inference with a Deterministic Objective: Faster, More Accurate, and Even More Black Box.	CoRR	2023	DBLP DOI BibTeX RDF
34	Antonio Barbalau, Adrian Cosma, Radu Tudor Ionescu, Marius Popescu	Black-Box Ripper: Copying black-box models using generative evolutionary algorithms.	CoRR	2020	DBLP BibTeX RDF
34	Antonio Barbalau, Adrian Cosma, Radu Tudor Ionescu, Marius Popescu	Black-Box Ripper: Copying black-box models using generative evolutionary algorithms.	NeurIPS	2020	DBLP BibTeX RDF
34	Giovanni Cherubin	Black-box security: measuring black-box information leakage via machine learning.		2019	RDF
34	Dino Pedreschi, Fosca Giannotti, Riccardo Guidotti, Anna Monreale, Luca Pappalardo, Salvatore Ruggieri, Franco Turini	Open the Black Box Data-Driven Explanation of Black Box Decision Systems.	CoRR	2018	DBLP BibTeX RDF
34	Anne Auger	Thèse d'habilitation à diriger des recherches "Analysis of Comparison-based Stochastic Continuous Black-Box Optimization Algorithms". (Thèse d'habilitation à diriger des recherches "Analysis of Comparison-based Stochastic Continuous Black-Box Optimization Algorithms").		2016	RDF
34	Vipul Goyal, Rafail Ostrovsky, Alessandra Scafuro, Ivan Visconti	Black-Box Non-Black-Box Zero Knowledge.	IACR Cryptol. ePrint Arch.	2014	DBLP BibTeX RDF
34	Vipul Goyal, Rafail Ostrovsky, Alessandra Scafuro, Ivan Visconti	Black-box non-black-box zero knowledge.	STOC	2014	DBLP DOI BibTeX RDF
34	Stephan Arlt	Program analysis and black-box GUI testing = Program Analysis und Black-box GUI Testing.		2014	RDF
34	Mohammad Mahmoody, Rafael Pass	The Curious Case of Non-Interactive Commitments - On the Power of Black-Box vs. Non-Black-Box Use of Primitives.	CRYPTO	2012	DBLP DOI BibTeX RDF
34	Benoît Libert, Damien Vergnaud	Towards Practical Black-Box Accountable Authority IBE: Weak Black-Box Traceability With Short Ciphertexts and Private Keys.	IEEE Trans. Inf. Theory	2011	DBLP DOI BibTeX RDF
33	Vipul Goyal, Abhishek Jain 0002	On the round complexity of covert computation.	STOC	2010	DBLP DOI BibTeX RDF	covert computation, cryptography, round complexity
33	Chi-Jen Lu, Shi-Chun Tsai, Hsin-Lung Wu	On the Complexity of Hardness Amplification.	IEEE Trans. Inf. Theory	2008	DBLP DOI BibTeX RDF
33	Nenad Dedic, Danny Harnik, Leonid Reyzin	Saving Private Randomness in One-Way Functions and Pseudorandom Generators.	TCC	2008	DBLP DOI BibTeX RDF
33	Vinod Nair, Joshua M. Susskind, Geoffrey E. Hinton	Analysis-by-Synthesis by Learning to Invert Generative Black Boxes.	ICANN (1)	2008	DBLP DOI BibTeX RDF
33	Krzysztof Pietrzak	Compression from Collisions, or Why CRHF Combiners Have a Long Output.	CRYPTO	2008	DBLP DOI BibTeX RDF
33	Rafail Ostrovsky, William E. Skeith III	Communication Complexity in Algebraic Two-Party Protocols.	CRYPTO	2008	DBLP DOI BibTeX RDF	fully homomorphic encryption, PIR writing, algebraic lower bounds, communication complexity, keyword search, private information retrieval, homomorphic encryption
33	Tafline Murnane, Karl Reed, Richard Hall	On the Learnability of Two Representations of Equivalence Partitioning and Boundary Value Analysis.	ASWEC	2007	DBLP DOI BibTeX RDF
33	Lanxiang Chen, Dan Feng 0001, Lingfang Zeng, Yu Zhang	A Direction to Avoid Re-encryption in Cryptographic File Sharing.	NPC	2007	DBLP DOI BibTeX RDF	FPGA, access control, ASIC, cryptographic file system
33	Oded Goldreich 0001	On Expected Probabilistic Polynomial-Time Adversaries: A Suggestion for Restricted Definitions and Their Benefits.	TCC	2007	DBLP DOI BibTeX RDF
33	Shafi Goldwasser, Guy N. Rothblum	On Best-Possible Obfuscation.	TCC	2007	DBLP DOI BibTeX RDF
33	Nelly Fazio, Antonio Nicolosi, Duong Hieu Phan	Traitor Tracing with Optimal Transmission Rate.	ISC	2007	DBLP DOI BibTeX RDF	Constant Transmission Rate, Bilinear Maps, Traitor Tracing, Fingerprint Codes
33	Krzysztof Pietrzak, Johan Sjödin	Range Extension for Weak PRFs; The Good, the Bad, and the Ugly.	EUROCRYPT	2007	DBLP DOI BibTeX RDF
33	Scott Diehl	Lower Bounds for Swapping Arthur and Merlin.	APPROX-RANDOM	2007	DBLP DOI BibTeX RDF
33	Erich L. Kaltofen, Zhengfeng Yang	On exact and approximate interpolation of sparse rational functions.	ISSAC	2007	DBLP DOI BibTeX RDF	hybrid symbolic-numeric computation, rational vector recovery, sparse rational function interpolation, lattice basis reduction, early termination
33	Swapna S. Gokhale, Kishor S. Trivedi	Analytical Models for Architecture-Based Software Reliability Prediction: A Unification Framework.	IEEE Trans. Reliab.	2006	DBLP DOI BibTeX RDF
33	A. Guergachi, Guillaume Patry	Constructing a Model Hierarchy With Background Knowledge for Structural Risk Minimization: Application to Biological Treatment of Wastewater.	IEEE Trans. Syst. Man Cybern. Part A	2006	DBLP DOI BibTeX RDF
33	Ahto Buldas, Sven Laur	Do Broken Hash Functions Affect the Security of Time-Stamping Schemes?	ACNS	2006	DBLP DOI BibTeX RDF
33	Michael W. Whalen, Ajitha Rajan, Mats Per Erik Heimdahl, Steven P. Miller	Coverage metrics for requirements-based testing.	ISSTA	2006	DBLP DOI BibTeX RDF
33	Harsha V. Madhyastha, Thomas E. Anderson, Arvind Krishnamurthy, Neil Spring, Arun Venkataramani	A structural approach to latency prediction.	Internet Measurement Conference	2006	DBLP DOI BibTeX RDF	latency prediction, route measurements, internet topology
33	Mark Giesbrecht, George Labahn, Wen-shin Lee	Symbolic-numeric sparse interpolation of multivariate polynomials.	ISSAC	2006	DBLP DOI BibTeX RDF	symbolic-numeric computing, multivariate interpolation
33	Henry C. Lin, Luca Trevisan, Hoeteck Wee	On Hardness Amplification of One-Way Functions.	TCC	2005	DBLP DOI BibTeX RDF
33	Alexander W. Dent, John Malone-Lee	The Physically Observable Security of Signature Schemes.	IMACC	2005	DBLP DOI BibTeX RDF
33	Chi-Jen Lu, Shi-Chun Tsai, Hsin-Lung Wu	On the Complexity of Hardness Amplification.	CCC	2005	DBLP DOI BibTeX RDF
33	Rafael Pass, Alon Rosen	Bounded-Concurrent Secure Two-Party Computation in a Constant Number of Rounds.	FOCS	2003	DBLP DOI BibTeX RDF
33	Adam L. Young, Moti Yung	Bandwidth-Optimal Kleptographic Attacks.	CHES	2001	DBLP DOI BibTeX RDF	Leakage attacks, the Newton channel, design methodologies for asymmetric ciphers, kleptographic attacks, attack bandwidth, discrete logarithm based systems, tamper-proof hardware designs, public scrutiny, hardware technologies: EEPROM, ferroelectric, trust, DSA, ElGamal, subliminal channels, non-volatile memory
33	Ivan Petrovic, Mato Baotic, Nedjeljko Peric	Model Structure Selection for Nonlinear System Identification Using Feedforward Neural Networks.	IJCNN (1)	2000	DBLP DOI BibTeX RDF
33	Chul-Jin Ahn, Seong-Uk Choi, Myong-Soon Park, Jin-Young Choi	The Design and Evaluation of Policy-Controllable Buffer Cache.	ICPADS	1997	DBLP DOI BibTeX RDF
33	Diana Patterson	The myth and realities of C.A.S.E. for documentation.	SIGDOC	1989	DBLP DOI BibTeX RDF
33	Neil V. Murray, Erik Rosenthal	Theory Links in Semantic Graphs.	CADE	1986	DBLP DOI BibTeX RDF
33	Fuad Rahman 0001, Yuliya Tarnikova, Aman Kumar, Hassan Alam	Second Guessing a Commercial 'Black Box' Classifier by an 'In House' Classifier: Serial Classifier Combination in a Speech Recognition Application.	Multiple Classifier Systems	2004	DBLP DOI BibTeX RDF
33	Emmanuel Pintelas, Ioannis E. Livieris, Panayiotis E. Pintelas	A Grey-Box Ensemble Model Exploiting Black-Box Accuracy and White-Box Intrinsic Interpretability.	Algorithms	2020	DBLP DOI BibTeX RDF
33	Martin Lippert	Tool-box frameworks - the new challenge beyond black-box and white-box.	OOPSLA Addendum	2000	DBLP DOI BibTeX RDF
33	Francisco Cruz 0002, Gonzalo Acuña, Francisco A. Cubillos, Vicente Moreno, Danilo Bassi	Indirect Training of Grey-Box Models: Application to a Bioprocess.	ISNN (2)	2007	DBLP DOI BibTeX RDF
33	Stefan Gossens, Fevzi Belli, Sami Beydeda, Mario Dal Cin	View Graphs for Analysis and Testing of Programs at Different Abstraction Levels.	HASE	2005	DBLP DOI BibTeX RDF
33	Gianluca Bontempi, Wido Kruijtzer	The use of intelligent data analysis techniques for system-level design: a software estimation example.	Soft Comput.	2004	DBLP DOI BibTeX RDF
33	Frank Lammermann, André Baresel, Joachim Wegener	Evaluating Evolutionary Testability with Software-Measurements.	GECCO (2)	2004	DBLP DOI BibTeX RDF
33	Walter Dosch, Annette Stümpel	Transforming Stream Processing Functions into State Transition Machines.	SERA	2004	DBLP DOI BibTeX RDF
33	André Baresel, Hartmut Pohlheim, Sadegh Sadeghipour	Structural and Functional Sequence Test of Dynamic and State-Based Software with Evolutionary Algorithms.	GECCO	2003	DBLP DOI BibTeX RDF
33	Zan Yang, Byeong Min, Gwan Choi	Simulation Using Code-Perturbation: Black- and White-Box Approach.	ISQED	2001	DBLP DOI BibTeX RDF
29	Wolfgang Günther 0001, Nicole Drechsler, Rolf Drechsler, Bernd Becker 0001	Verification of Designs Containing Black Boxes.	EUROMICRO	2000	DBLP DOI BibTeX RDF
28	Hector Garcia-Molina	Pair-Wise entity resolution: overview and challenges.	CIKM	2006	DBLP DOI BibTeX RDF	data cleaning, entity resolution
28	Cheng Li, Zhe Dang	Decompositional Algorithms for Safety Verification and Testing of Aspect-Oriented Systems.	FATES/RV	2006	DBLP DOI BibTeX RDF
28	Timour Katchaounov, Vanja Josifovski, Tore Risch	Scalable View Expansion in a Peer Mediator System.	DASFAA	2003	DBLP DOI BibTeX RDF