The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for oracle with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1959-1983 (17) 1984-1986 (15) 1987-1988 (23) 1989 (15) 1990 (15) 1991 (20) 1992 (21) 1993 (23) 1994 (30) 1995 (37) 1996 (29) 1997 (42) 1998 (65) 1999 (59) 2000 (75) 2001 (103) 2002 (137) 2003 (135) 2004 (187) 2005 (234) 2006 (258) 2007 (277) 2008 (262) 2009 (231) 2010 (76) 2011 (77) 2012 (84) 2013 (67) 2014 (75) 2015 (93) 2016 (99) 2017 (87) 2018 (84) 2019 (135) 2020 (155) 2021 (163) 2022 (213) 2023 (214) 2024 (46)
Publication types (Num. hits)
article(1213) book(77) data(1) incollection(21) inproceedings(2658) phdthesis(8)
Venues (Conferences, Journals, ...)
CoRR(358) IACR Cryptol. ePrint Arch.(138) CRYPTO(72) ASIACRYPT(66) EUROCRYPT(60) SIGMOD Conference(49) Public Key Cryptography(45) FOCS(38) ACISP(37) ICALP(36) CCC(35) CT-RSA(34) STOC(33) COLT(32) STACS(32) ICDE(31) More (+10 of total 1197)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 2360 occurrences of 1141 keywords

Results
Found 3978 publication records. Showing 3978 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
24Guillaume Lecué Optimal Oracle Inequality for Aggregation of Classifiers Under Low Noise Condition. Search on Bibsonomy COLT The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
24Frank Wang, Na Helian Mining Global Association Rules on an Oracle Grid by Scanning Once Distributed Databases. Search on Bibsonomy Euro-Par The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
24Zhen Hua Liu, Muralidhar Krishnaprasad, Vikas Arora Native Xquery processing in oracle XMLDB. Search on Bibsonomy SIGMOD Conference The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
24Amit Phalgune, Cory Kissinger, Margaret M. Burnett, Curtis R. Cook, Laura Beckwith, Joseph R. Ruthruff Garbage in, Garbage out? An Empirical Look at Oracle Mistakes by End-User Programmers. Search on Bibsonomy VL/HCC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
24Ran Canetti, Oded Goldreich 0001, Shai Halevi On the Random-Oracle Methodology as Applied to Length-Restricted Signature Schemes. Search on Bibsonomy TCC The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
24Shaohua Alex Wang, Yang C. Fann, Huey Cheung, Frank Pecjak, Barg Upender, Adam Frazin, Raj Lingam, Sarada Chintala, Gladys Wang, Marc Kellogg, Robert L. Martino, Calvin A. Johnson Performance of Using Oracle XMLDB in the Evaluation of CDISC ODM for a Clinical Study Informatics System. Search on Bibsonomy CBMS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
24Gilles Barthe, Sabrina Tarento A Machine-Checked Formalization of the Random Oracle Model. Search on Bibsonomy TYPES The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
24Gilles Barthe, Jan Cederquist, Sabrina Tarento A Machine-Checked Formalization of the Generic Model and the Random Oracle Model. Search on Bibsonomy IJCAR The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
24Kothuri Venkata Ravi Kanth, Siva Ravada, Weisheng Xu Spatial Processing using Oracle Table Functions. Search on Bibsonomy ICDE The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
24Dieter Gawlick, Shailendra Mishra Information sharing with the Oracle database. Search on Bibsonomy DEBS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF apply, post dating, reliable messaging, database, type system, rules, publish/subscribe, auditing, retention, JMS, capture, expression evaluation
24Xin Wang, Qi Yan 0001, XinJun Mao, Zhi-Chang Qi Generating Test Oracle for Role Binding in Multi-Agent Systems. Search on Bibsonomy APSEC The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
24Philippe Schnoebelen Oracle Circuits for Branching-Time Model Checking. Search on Bibsonomy ICALP The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
24Jeremy Ashley, Kristin Desmond Oracle. Search on Bibsonomy Interactions The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
24Masayuki Abe Securing "Encryption + Proof of Knowledge" in the Random Oracle Model. Search on Bibsonomy CT-RSA The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
24Michela Bertolotto, James D. Carswell, Liam McGeown, John McMahon ISMART(tm) + i-Spatia(tm) - Information Server: Deploying Integrated Web-Based Spatial Applications within an Oracle Database Environment. Search on Bibsonomy WISE (2) The full citation details ... 2001 DBLP  DOI  BibTeX  RDF Web-Based Spatial Applications, GIS, Spatial Databases
24Nader H. Bshouty, Avi Owshanko Learning Regular Sets with an Incomplete Membership Oracle. Search on Bibsonomy COLT/EuroCOLT The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
24Roberto Barbuti, Michael Codish, Roberto Giacobazzi, Michael J. Maher Oracle Semantics for Prolog. Search on Bibsonomy ALP The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
24Klaus W. Wagner On Restricting the Access to an NP-Oracle. Search on Bibsonomy ICALP The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
24Uriel Feige, Adi Shamir, Moshe Tennenholtz The Noisy Oracle Problem. Search on Bibsonomy CRYPTO The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
24Andrew Witkowski Performance Evaluation of Multiversion with the Oracle Synchronization. Search on Bibsonomy SIGMETRICS The full citation details ... 1986 DBLP  DOI  BibTeX  RDF
24Zhiyuan Wang, Mingan Gao, Gehao Lu Research on Oracle Technology Based on Multi-Threshold Aggregate Signature Algorithm and Enhanced Trustworthy Oracle Reputation Mechanism. Search on Bibsonomy Sensors The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
24Anna Gorawska, Piotr Swierzy Decentralized Oracle Network for Enhanced User Authentication: Transitioning from Centralized Oracle. Search on Bibsonomy HICSS The full citation details ... 2024 DBLP  BibTeX  RDF
24Diptarka Chakraborty, Sourav Chakraborty 0001, Gunjan Kumar, Kuldeep S. Meel Approximate Model Counting: Is SAT Oracle More Powerful than NP Oracle? Search on Bibsonomy CoRR The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
24Jing Li, Qiu-Feng Wang, Kaizhu Huang, Rui Zhang 0012, Siyuan Wang Diff-Oracle: Diffusion Model for Oracle Character Generation with Controllable Styles and Contents. Search on Bibsonomy CoRR The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
24Diptarka Chakraborty, Sourav Chakraborty 0001, Gunjan Kumar, Kuldeep S. Meel Approximate Model Counting: Is SAT Oracle More Powerful Than NP Oracle? Search on Bibsonomy ICALP The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
24Nimisha Limaye, Animesh Basak Chowdhury, Christian Pilato, Mohammed Thari Nabeel, Ozgur Sinanoglu, Siddharth Garg, Ramesh Karri Fortifying RTL Locking Against Oracle-Less (Untrusted Foundry) and Oracle-Guided Attacks. Search on Bibsonomy DAC The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
24Junheng Gao, Xun Liang 0001 Distinguishing Oracle Variants Based on the Isomorphism and Symmetry Invariances of Oracle-Bone Inscriptions. Search on Bibsonomy IEEE Access The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
24Carlos Javier Hernández-Castro, Shujun Li, María D. R.-Moreno All about uncertainties and traps: Statistical oracle-based attacks on a new CAPTCHA protection against oracle attacks. Search on Bibsonomy Comput. Secur. The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
24Emmanouil Kalligeros, Nikolaos Karousos, Irene G. Karybali Oracle-based Logic Locking Attacks: Protect the Oracle Not Only the Netlist. Search on Bibsonomy DATE The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
24Jici Xing, Guoying Liu, Jing Xiong Oracle bone inscription detection: a survey of Oracle bone inscription detection based on deep learning algorithm. Search on Bibsonomy AIIPCC The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
24Nassim Benharrat Model-Based Testing of Timed Distributed Systems : A Constraint-Based Approach for Solving the Oracle Problem. (Test à base de modèles de systèmes temporisés distribués : une approche basée sur les contraintes pour résoudre le problème de l'oracle). Search on Bibsonomy 2018   RDF
24Carlos Javier Hernández-Castro, María D. R.-Moreno, David F. Barrero, Shujun Li An oracle-based attack on CAPTCHAs protected against oracle attacks. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
24Duy Tung Luu Aggregation for low complexity recovery: Oracle inequalities and algorithms. (Agrégation pour la restauration de faible complexité : Inégalités Oracle et algorithmes). Search on Bibsonomy 2017   RDF
24Dmitry Ermoshin Инструменты Oracle для создания частных облаков (Oracle Tools for Private Clouds). Search on Bibsonomy RCDL The full citation details ... 2012 DBLP  BibTeX  RDF
24Olga Gorchinskaja Oracle для анализа и исследования Больших Данных (Oracle Technologies for Analysis and Study of Big Data). Search on Bibsonomy RCDL The full citation details ... 2012 DBLP  BibTeX  RDF
24Andrey Pivovarov Технологии Oracle для работы с Большими Данными (Oracle for Big Data). Search on Bibsonomy RCDL The full citation details ... 2012 DBLP  BibTeX  RDF
24Steven Feuerstein, Bill Pribyl Oracle PL / SQL Programming - Covers Versions Through Oracle Database 11g Release 2 (5. ed). Search on Bibsonomy 2009   RDF
24Niloy Mukherjee, Amit Ganesh, Krishna Kunchithapadam, Sujatha Muthulingam Oracle Secureiles - A Filesystem Architecture in Oracle Database Server. Search on Bibsonomy ICSOFT (SE/MUSE/GSDCA) The full citation details ... 2008 DBLP  BibTeX  RDF
24Steven Feuerstein Oracle PL/SQL best practices - write the best PL/SQL code of your life: covers Oracle database 11g (2. ed.). Search on Bibsonomy 2007   RDF
24David C. Kreines Oracle DBA pocket guide - quick reference for database administration: includes Oracle database 10g. Search on Bibsonomy 2005   RDF
24Jonathan Gennick Oracle SQL*Plus pocket reference - SQL*Plus and SQL syntax: covers Oracle databases 10g (3 ed.). Search on Bibsonomy 2005   RDF
24Steven Feuerstein, Bill Pribyl Oracle PL / SQL programming - covers all versions through Oracle database 20g release 2 (4. Aufl.). Search on Bibsonomy 2005   RDF
24Sanjay Mishra Oracle utilities pocket reference - a quick reference for DBAs and developers: covers Oracle database 10g. Search on Bibsonomy 2005   RDF
24Arup Nanda, Steven Feuerstein Oracle PL / SQL for DBAs - security, scheduling, performance and more: covers through Oracle database 10g, release 2. Search on Bibsonomy 2005   RDF
24Jonathan Gennick, Peter Linsley Oracle regular expressions - pocket reference: tutorial and quick reference: new in Oracle database 10g. Search on Bibsonomy 2003   RDF
24Rick Greenwald, David C. Kreines Oracle in a nutshell - covers Oracle versions through Oracle9i: a desktop quick reference. Search on Bibsonomy 2002   RDF
24Steven Feuerstein, Bill Pribyl Oracle PL/SQL programming - Oracle development languages: covers versions through Oracle9i (3. ed.). Search on Bibsonomy 2002   RDF
24Sanjay Mishra, Alan Beaulieu Mastering Oracle SQL - putting Oracle SQL to work: covers Oracle9i. Search on Bibsonomy 2002   RDF
24Hugo Toledo, Jonathan Gennick Oracle Net8 configuration and troubleshooting - help with Oracle networking: covers LDAP. Search on Bibsonomy 2001   RDF
24Jonathan Gennick, Sanjay Mishra Oracle SQl*Loader - the definitive guide: loading data into an Oracle database. Search on Bibsonomy 2001   RDF
24Steven Feuerstein Oracle PL/SQL best practices - optimizing Oracle code: includes quick-reference card. Search on Bibsonomy 2001   RDF
24Jason Price Java programming with Oracle SQLJ - Oracle and Java Programming: covers SQLJ in Oracle9i. Search on Bibsonomy 2001   RDF
24Herschel DeCouto Tutorial on Performance Management of Oracle Using Oracle Enterprise Manager. Search on Bibsonomy Int. CMG Conference The full citation details ... 2001 DBLP  BibTeX  RDF
24David C. Kreines Oracle SQL - the essential reference: a quick reference for Oracle DBAs and developers, covers Oracle8 and Oracle8i. Search on Bibsonomy 2000   RDF
24Steven Feuerstein, Andrew Odewahn Oracle PL/SQL developer's workbook - Oracle development languages: covers Oracle8i. Search on Bibsonomy 2000   RDF
24David C. Kreines, Brian Laskey Oracle database administration - the essential reference: a quick reference for the Oracle DBA, covers Oracle7 and Oracle8. Search on Bibsonomy 1999   RDF
24Steven Feuerstein Oracle PL/SQL programming - guide to Oracle8i features: Oracle development languages: includes calling Java from PL/SQL. Search on Bibsonomy 1999   RDF
24Rick Greenwald, Robert Stackowiak, Jonathan Stern Oracle essentials - Oracle8 and Oracle8i: what you need to know about Oracle database architecture and features. Search on Bibsonomy 1999   RDF
24Steven Feuerstein, Charles Dye, John Beresniewicz Oracle built-in packages - Oracle development languages. Search on Bibsonomy 1998   RDF
24Marlene Theriault, William Heney Oracle security - protecting Oracle databases: covers Oracle7 and Oracle8. Search on Bibsonomy 1998   RDF
20Shiyan Hu, Zhuo Li 0001, Charles J. Alpert A faster approximation scheme for timing driven minimum cost layer assignment. Search on Bibsonomy ISPD The full citation details ... 2009 DBLP  DOI  BibTeX  RDF dynamic programming, np-complete, oracle, fully polynomial time approximation scheme, layer assignment
20Qingfeng Cheng, Chuangui Ma, Xuexian Hu A New Strongly Secure Authenticated Key Exchange Protocol. Search on Bibsonomy ISA The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Extended Canetti-Krawczyk model, Gap Diffie-Hellman assumption, Random oracle model, Authenticated key exchange
20Jun Shao, Zhenfu Cao CCA-Secure Proxy Re-encryption without Pairings. Search on Bibsonomy Public Key Cryptography The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Unidirectional PRE, DDH, CCA security, random oracle, collusion-resistance
20Jian Weng 0001, Yanjiang Yang, Qiang Tang 0001, Robert H. Deng, Feng Bao 0001 Efficient Conditional Proxy Re-encryption with Chosen-Ciphertext Security. Search on Bibsonomy ISC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Conditional proxy re-encryption, random oracle, chosen-ciphertext security
20S. Sharmila Deva Selvi, S. Sree Vivek, C. Pandu Rangan On the Security of Identity Based Ring Signcryption Schemes. Search on Bibsonomy ISC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Ring Signcryption, Adaptive Chosen Ciphertext Attack, Cryptanalysis, Provable Security, Confidentiality, Bilinear Pairing, Random Oracle Model, Chosen Plaintext Attack
20Akira Numayama, Keisuke Tanaka On the Weak Ideal Compression Functions. Search on Bibsonomy ACISP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF weak ideal compression function, indifferentiability, hash construction, random oracle
20David Galindo, Flavio D. Garcia A Schnorr-Like Lightweight Identity-Based Signature Scheme. Search on Bibsonomy AFRICACRYPT The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Schnorr, provable security, random oracle model, identity-based signature, lightweight cryptography
20Jon Lee 0001, Shmuel Onn, Robert Weismantel Nonlinear Optimization over a Weighted Independence System. Search on Bibsonomy AAIM The full citation details ... 2009 DBLP  DOI  BibTeX  RDF independence system, oracle computation, exponential running time, Frobenius number, approximation algorithm, combinatorial optimization, integer programming, nonlinear optimization, matroid
20Arnak S. Dalalyan, Alexandre B. Tsybakov Aggregation by exponential weighting, sharp PAC-Bayesian bounds and sparsity. Search on Bibsonomy Mach. Learn. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Oracle inequalities, Aggregation, Sparsity, Nonparametric regression
20Shaohui Wang Modification and Improvement on Group Signature Scheme without Random Oracles. Search on Bibsonomy ISECS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Anonymity, Group Signature, Random Oracle Model, Bilinear
20Go Ohtake, Goichiro Hanaoka, Kazuto Ogawa An Efficient Strong Key-Insulated Signature Scheme and Its Application. Search on Bibsonomy EuroPKI The full citation details ... 2008 DBLP  DOI  BibTeX  RDF strong key-insulated signature, key leakage, DL assumption, random oracle model, adaptive security
20Shengke Zeng, Mingxing He, Weidong Luo New Efficient and Authenticated Key Agreement Protocol in Dynamic Peer Group. Search on Bibsonomy ARES The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Dynamic Peer Group, Provable Security, Key Agreement, Random Oracle Model, ID-Based Signature
20Véronique Cariou, Jérôme Cubillé, Christian Derquenne, Sabine Goutier, Françoise Guisnel, Henri Klajnmic Built-In Indicators to Discover Interesting Drill Paths in a Cube. Search on Bibsonomy DaWaK The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Olap Mining, Oracle 10g, Data Mining, OLAP, Data cube
20Wei Wu 0001, Yi Mu 0001, Willy Susilo, Xinyi Huang 0001 Server-Aided Verification Signatures: Definitions and New Constructions. Search on Bibsonomy ProvSec The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Server-aided computation, server-aided verification, BLS, ZSS, untrusted server, random oracle
20Raylin Tso, Xun Yi, Xinyi Huang 0001 Efficient and Short Certificateless Signature. Search on Bibsonomy CANS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Bilinear pairing, random oracle, short signature, certificateless signature
20Zhenchuan Chai, Zhenfu Cao, Yuan Zhou Efficient ID-Based Multi-Decrypter Encryption with Short Ciphertexts. Search on Bibsonomy J. Comput. Sci. Technol. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF multi-user cryptography, proven security, random oracle, ID-based cryptography
20Zhenchuan Chai, Zhenfu Cao, Xiaolei Dong Identity-based signature scheme based on quadratic residues. Search on Bibsonomy Sci. China Ser. F Inf. Sci. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF proven security, factoring, random oracle, ID-based signature, quadratic residue
20Seiichiro Tani An Improved Claw Finding Algorithm Using Quantum Walk. Search on Bibsonomy MFCS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF oracle computation, Quantum computing, query complexity
20Véronique Cariou, Jérôme Cubillé, Christian Derquenne, Sabine Goutier, Françoise Guisnel, Henri Klajnmic Built-In Indicators to Automatically Detect Interesting Cells in a Cube. Search on Bibsonomy DaWaK The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Olap Mining, Atypical Values, Test-value, Oracle 10g, Data Mining, OLAP, Data cube, Chi-Square
20Guilhem Castagnos, Damien Vergnaud Trapdoor Permutation Polynomials of Z/ n Z and Public Key Cryptosystems. Search on Bibsonomy ISC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Polynomial Diffie-Hellman Problems, Standard Model, Public Key Encryption, Random Oracle Model, Semantic Security, Chosen-Ciphertext Attacks
20Xinyi Huang 0001, Yi Mu 0001, Willy Susilo, Duncan S. Wong, Wei Wu 0001 Certificateless Signature Revisited. Search on Bibsonomy ACISP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Certificateless cryptology, Signature, Security model, Random oracle
20Licheng Wang, Zhenfu Cao, Shihui Zheng, Xiaofang Huang, Yixian Yang Transitive Signatures from Braid Groups. Search on Bibsonomy INDOCRYPT The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Transitive signature, one-more matching conjugate problem, provable security, random oracle model, braid group
20Duo Lei, Chao Li Extended Multi-Property-Preserving and ECM-Construction. Search on Bibsonomy INDOCRYPT The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Merkle-Damgård, almost uniform distribution, Hash functions, random oracle, pseudo random function, collision resistance
20Raylin Tso, Juan Manuel González Nieto, Takeshi Okamoto, Colin Boyd, Eiji Okamoto Verifier-Key-Flexible Universal Designated-Verifier Signatures. Search on Bibsonomy IMACC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF universal designated-verifier signature, verifier-key-flexible, random oracle, ECDSA
20Lei Zhang 0009, Futai Zhang, Fangguo Zhang New Efficient Certificateless Signature Scheme. Search on Bibsonomy EUC Workshops The full citation details ... 2007 DBLP  DOI  BibTeX  RDF certificateless signature scheme, cryptography, bilinear map, random oracle model
20Lei Zhang 0009, Futai Zhang, Wei Wu 0001 A Provably Secure Ring Signature Scheme in Certificateless Cryptography. Search on Bibsonomy ProvSec The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Provable Security, Random Oracle model, Ring Signature, Certificateless Cryptography
20Lan Zhou, Willy Susilo, Yi Mu 0001 New Construction of Group Secret Handshakes Based on Pairings. Search on Bibsonomy ICICS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF pairings, random oracle, Secret Handshake, Credential System
20W. K. Chan 0001, Tsong Yueh Chen, S. C. Cheung 0001, T. H. Tse, Zhenyu Zhang 0004 Towards the Testing of Power-Aware Software Applications for Wireless Sensor Networks. Search on Bibsonomy Ada-Europe The full citation details ... 2007 DBLP  DOI  BibTeX  RDF WSN application, Wireless sensor network, software testing, power awareness, test automation, test oracle, metamorphic testing
20Michael J. C. Gordon, Warren A. Hunt Jr., Matt Kaufmann, James Reynolds An embedding of the ACL2 logic in HOL. Search on Bibsonomy ACL2 The full citation details ... 2006 DBLP  DOI  BibTeX  RDF HOL4, proof oracle, sound translation, verification, formal methods, logic, first-order logic, higher-order logic, ACL2, HOL
20P. Vinod 0002, Gwenaël J. Doërr, Prabin Kumar Bora Assessing motion-coherency in video watermarking. Search on Bibsonomy MM&Sec The full citation details ... 2006 DBLP  DOI  BibTeX  RDF motion coherency, oracle, video watermarking
20Michel Raynal, Corentin Travers In Search of the Holy Grail: Looking for the Weakest Failure Detector for Wait-Free Set Agreement. Search on Bibsonomy OPODIS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Leader oracle, Participating process, Consensus, Asynchronous system, Shared object, Atomic register, Set agreement, Asynchronous algorithm, Wait-free algorithm
20David Galindo, Sebastià Martín Molleví, Paz Morillo, Jorge Luis Villar Fujisaki-Okamoto hybrid encryption revisited. Search on Bibsonomy Int. J. Inf. Sec. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Okamoto-Uchiyama scheme, Public-key cryptography, Random Oracle Model, Chosen-ciphertext security, Tight reduction
20Yuichi Komano, Kazuo Ohta, Atsushi Shimbo, Shin-ichi Kawamura On the Security of Probabilistic Multisignature Schemes and Their Optimality. Search on Bibsonomy Mycrypt The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Optimal security, Provable security, Random oracle model, Multisignature, Aggregate signature
20Victor V. Kuliamin, Nick V. Pakoulin, Alexander K. Petrenko Practical Approach to Specification and Conformance Testing of Distributed Network Applications. Search on Bibsonomy ISAS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF asynchronous events specification, distributed system specification, formalization of standards, automated test construction, specification extension of programming language, test oracle generation, UniTesK, model based testing, conformance testing, Design by Contract
20Roy Friedman, Achour Mostéfaoui, Michel Raynal Building and Using Quorums Despite any Number of Process of Crashes. Search on Bibsonomy EDCC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Leader oracle, Fault tolerance, Distributed algorithm, Consensus, Asynchronous system, Quorum, Process crash, Unreliable failure detector
20Mario Döller, Harald Kosch Approximating the selectivity of multimedia range queries. Search on Bibsonomy ICME The full citation details ... 2005 DBLP  DOI  BibTeX  RDF selectivity approximation, image database query, DBSCAN clustering technique, scalable color descriptor, Oracle multimedia database system, extensible optimizer architecture, MPEG-7
20Martijn Stam A Key Encapsulation Mechanism for NTRU. Search on Bibsonomy IMACC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Key Encapsulation, Random Oracle Model, NTRU, Plaintext Awareness
20Haifeng Qian, Zhenfu Cao A Novel ID-Based Partial Delegation with Warrant Proxy Signature Scheme. Search on Bibsonomy ISPA Workshops The full citation details ... 2005 DBLP  DOI  BibTeX  RDF RSA, provably secure, random oracle model, proxy signature, identity-based signature
20Adam L. Young, Moti Yung Malicious Cryptography: Kleptographic Aspects. Search on Bibsonomy CT-RSA The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Rabin, malicious cryptography, RSA, public key cryptography, attacks, random oracle, security threats, kleptography, SETUP
20Gérard Assayag, Shlomo Dubnov Using Factor Oracles for Machine Improvisation. Search on Bibsonomy Soft Comput. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Variable markov models, Prediction suffix trees, Factor oracle, Machine learning, Suffix trees, Computer music, Improvisation, Incremental parsing
Displaying result #201 - #300 of 3978 (100 per page; Change: )
Pages: [<<][1][2][3][4][5][6][7][8][9][10][11][12][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license