The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

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

Publication years (Num. hits)
1958-1973 (16) 1974-1977 (22) 1978-1980 (17) 1981-1983 (21) 1984-1985 (24) 1986-1987 (35) 1988 (39) 1989 (55) 1990 (56) 1991 (53) 1992 (63) 1993 (65) 1994 (80) 1995 (95) 1996 (93) 1997 (118) 1998 (144) 1999 (200) 2000 (314) 2001 (274) 2002 (333) 2003 (405) 2004 (535) 2005 (678) 2006 (743) 2007 (788) 2008 (796) 2009 (545) 2010 (94) 2011 (71) 2012 (67) 2013 (90) 2014 (62) 2015 (76) 2016 (89) 2017 (87) 2018 (91) 2019 (119) 2020 (134) 2021 (127) 2022 (102)
Publication types (Num. hits)
article(2256) incollection(42) inproceedings(5490) phdthesis(27) proceedings(1)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 7022 occurrences of 3995 keywords

Results
Found 7816 publication records. Showing 7816 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
58Ahmad-Reza Sadeghi, Michael Steiner 0001 Assumptions Related to Discrete Logarithms: Why Subtleties Make a Real Difference. Search on Bibsonomy EUROCRYPT The full citation details ... 2001 DBLP  DOI  BibTeX  RDF Cryptographic Assumptions, Square Exponent, Inverse Exponent, Discrete Logarithms, Complexity Theory, Diffie-Hellman, Generic Algorithms
55Robert D. King, Charles D. Turnitsa The landscape of assumptions. Search on Bibsonomy SpringSim The full citation details ... 2008 DBLP  DOI  BibTeX  RDF ontology, assumptions
55Paola Inverardi, Alexander L. Wolf, Daniel Yankelevich Static checking of system behaviors using derived component assumptions. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF chemical abstract machine model, static analysis, component-based systems, assumptions
48Keith W. Miller 0001, Larry J. Morell, Robert E. Noonan, Stephen K. Park, David M. Nicol, Branson W. Murrill, Jeffrey M. Voas Estimating the Probability of Failure When Testing Reveals No Failures. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1992 DBLP  DOI  BibTeX  RDF failure probability estimation, random testing results, input distribution, prior assumptions, failure estimate, discrete sample space statistical model, Bayesian prior assumptions, life-critical applications, probability, program testing, Bayes methods, formulas
47Michael Szydlo A Note on Chosen-Basis Decisional Diffie-Hellman Assumptions. Search on Bibsonomy Financial Cryptography The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Chosen basis, Decisional Diffie-Hellman, Interactive assumptions
47Sebastián Uchitel, Daniel Yankelevich Enhancing Architectural Mismatch Detection with Assumptions. Search on Bibsonomy ECBS The full citation details ... 2000 DBLP  DOI  BibTeX  RDF Verification, Software architectures, Safety Properties, Assumptions
44Kimberly D. Voll, Tom P. Yeh, Verónica Dahl An assumptive logic programming methodology for parsing. Search on Bibsonomy ICTAI The full citation details ... 2000 DBLP  DOI  BibTeX  RDF assumptive logic programming methodology, continuation based linear assumptions, timeless assumptions, datalog grammars, terse treatments, language processing phenomena, concise parser, numbered word boundaries, left-corner parsing, constituent coordination, AI, logic programming, theorem proving, DATALOG, error correction, grammars, test cases, charting, error diagnosis, proof of concept, logic grammars
44Adriano Valenzano, Paolo Montuschi, Luigi Ciminiera Some Properties of Timed Token Medium Access Protocols. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1990 DBLP  DOI  BibTeX  RDF timed token medium access protocols, non-real-time traffic, worst-case values, average token rotation time, synchronous traffic, generic periodic pattern, heavy conditions, theoretical lower bounds, real networks, asynchronous overrun problem, multiple priority classes, worst-case assumptions, best-case assumptions, timed-token protocol parameters, network installation, protocols, throughput, local area network, real-time traffic, token networks, electronic messaging
44Paolo Atzeni, Douglas Stott Parker Jr. Assumptions in Relational Database Theory. Search on Bibsonomy PODS The full citation details ... 1982 DBLP  DOI  BibTeX  RDF
40Maria Eleftheriou, Marios Mavronicolas Linearizability in the Presence of Drifting Clocks and Under Different Delay Assumptions. Search on Bibsonomy DISC The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
40Bernhard Josko Modelchecking of CTL Formulae under Liveness Assumptions. Search on Bibsonomy ICALP The full citation details ... 1987 DBLP  DOI  BibTeX  RDF
39Jaimee Brown, Juan Manuel González Nieto, Colin Boyd Efficient CCA-Secure Public-Key Encryption Schemes from RSA-Related Assumptions. Search on Bibsonomy INDOCRYPT The full citation details ... 2006 DBLP  DOI  BibTeX  RDF RSA assumptions, public key encryption, chosen-ciphertext security
39Samir Chouali, Jacques Julliand, Pierre-Alain Masson, Françoise Bellegarde PLTL-partitioned model checking for reactive systems under fairness assumptions. Search on Bibsonomy ACM Trans. Embed. Comput. Syst. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF PLTL model checking, Refinement design, fairness assumptions, out-of-core model checking
39Michel Abdalla, Bogdan Warinschi On the Minimal Assumptions of Group Signature Schemes. Search on Bibsonomy ICICS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF minimal assumptions, Group signatures, one-way functions, trapdoor permutations
36Jeffrey C. Carver, John Van Voorhis, Victor R. Basili Understanding the Impact of Assumptions on Experimental Validity. Search on Bibsonomy ISESE The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
36Claude Crépeau, Joe Kilian Weakening Security Assumptions and Oblivious Transfer (Abstract). Search on Bibsonomy CRYPTO The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
35Michel Abdalla, David Pointcheval Interactive Diffie-Hellman Assumptions with Applications to Password-Based Authentication. Search on Bibsonomy Financial Cryptography The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Password-based authentication, multi-party protocols, Diffie-Hellman assumptions
34Björn Niehaves, Karsten Klose, Ralf Knackstedt, Jörg Becker 0001 Epistemological Perspectives on IS-Development - A Consensus-Oriented Approach on Conceptual Modeling. Search on Bibsonomy Wissensmanagement (LNCS Volume) The full citation details ... 2005 DBLP  DOI  BibTeX  RDF IS research, epistemological assumptions, epistemological framework, consensus-oriented approach, conceptual modeling, IS development
32Mikhail V. Solodov Global convergence of an SQP method without boundedness assumptions on any of the iterative sequences. Search on Bibsonomy Math. Program. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Mathematics Subject Classification (2000) 90C30, 65K05
32Charles B. Haley, Robin C. Laney, Jonathan D. Moffett, Bashar Nuseibeh Using trust assumptions with security requirements. Search on Bibsonomy Requir. Eng. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
32Charles B. Haley, Robin C. Laney, Jonathan D. Moffett, Bashar Nuseibeh The Effect of Trust Assumptions on the Elaboration of Security Requirements. Search on Bibsonomy RE The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
32Claudio Bettini, Xiaoyang Sean Wang, Elisa Bertino, Sushil Jajodia Semantic Assumptions and Query Evaluation in Temporal Databases. Search on Bibsonomy SIGMOD Conference The full citation details ... 1995 DBLP  DOI  BibTeX  RDF MQL
32Giovanni Di Crescenzo Minimal Assumptions and Round Complexity for Concurrent Zero-Knowledge in the Bare Public-Key Model. Search on Bibsonomy COCOON The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Bare Public-Key Model, Complexity Assumptions, Round Complexity, Zero-Knowledge Protocols, Concurrent Zero-Knowledge
32William S. Cooper Some Inconsistencies and Misidentified Modeling Assumptions in Probabilistic Information Retrieval. Search on Bibsonomy ACM Trans. Inf. Syst. The full citation details ... 1995 DBLP  DOI  BibTeX  RDF bibliographic searching, modeling, consistency, logic, document retrieval, independence, assumptions
32Inmaculada Higueras On Simplifying Assumptions of Runge-Kutta Methods for Index 2 Differential Algebraic Problems. Search on Bibsonomy Computing The full citation details ... 1995 DBLP  DOI  BibTeX  RDF Differential-algebraic systems, order conditions, simplifying assumptions, Runge-Kutta methods
32Robert A. Wagner Finiteness assumptions and intellectual isolation of computer scientists. Search on Bibsonomy Commun. ACM The full citation details ... 1970 DBLP  DOI  BibTeX  RDF Algol vs. Fortran, finite word size, finiteness assumptions, integer variable range, intellectual isolation, memory finiteness
31Pham Ngoc Hung, Toshiaki Aoki, Takuya Katayama A Minimized Assumption Generation Method for Component-Based Software Verification. Search on Bibsonomy ICTAC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF minimal assumption, model checking, learning algorithm, modular verification, assume-guarantee reasoning
30Omkant Pandey, Rafael Pass, Vinod Vaikuntanathan Adaptive One-Way Functions and Applications. Search on Bibsonomy CRYPTO The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Cryptographic Assumptions, Non-malleable Commitment, Non-malleable Zero-knowledge
28David Malone, Ian Dangerfield, Douglas J. Leith Verification of Common 802.11 MAC Model Assumptions. Search on Bibsonomy PAM The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
28Achour Mostéfaoui, Michel Raynal, Corentin Travers Time-Free and Timer-Based Assumptions Can Be Combined to Obtain Eventual Leadership. Search on Bibsonomy IEEE Trans. Parallel Distributed Syst. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF time-free assumption, timer-based assumption, fault tolerance, distributed algorithm, Asynchronous system, leader election, process crash, hybrid protocol
28Henning Christiansen 0001, Verónica Dahl HYPROLOG: A New Logic Programming Language with Assumptions and Abduction. Search on Bibsonomy ICLP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
28Boaz Barak, Ran Canetti, Jesper Buus Nielsen, Rafael Pass Universally Composable Protocols with Relaxed Set-Up Assumptions. Search on Bibsonomy FOCS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
28David Kotz, Calvin C. Newport, Robert S. Gray, Jason Liu, Yougu Yuan, Chip Elliott Experimental evaluation of wireless simulation assumptions. Search on Bibsonomy MSWiM The full citation details ... 2004 DBLP  DOI  BibTeX  RDF ad hoc network, mobile computing, wireless network, MANET, measurement, experiment, 802.11, network simulation, Wi-Fi
28Ron Sun, Dehu Qi Rationality Assumptions and Optimality of Co-learning. Search on Bibsonomy PRIMA The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
28Tatsuaki Okamoto, Kazuo Ohta How to Simultaneously Exchange Secrets by General Assumptions. Search on Bibsonomy CCS The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
28Tatsuaki Okamoto On the Relationship among Cryptographic Physical Assumptions. Search on Bibsonomy ISAAC The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
27Jürg Kohlas, Christian Eichenberger Uncertain Information. Search on Bibsonomy Formal Theories of Information The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
27Vera Hollink, Maarten van Someren, Bob J. Wielinga Navigation behavior models for link structure optimization. Search on Bibsonomy User Model. User Adapt. Interact. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Link structure optimization, Web site efficiency, Navigation menus, Model selection, User behavior models
27Claudio de la Riva, Javier Tuya Modular Model Checking of Software Specifications with Simultaneous Environment Generation. Search on Bibsonomy ATVA The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
27Maria Calzarossa, Domenico Ferrari A Sensitivity Study of the Clustering Approach to Workload Modeling. Search on Bibsonomy SIGMETRICS The full citation details ... 1985 DBLP  DOI  BibTeX  RDF
26Steffen Zschaler, Awais Rashid Aspect assumptions: a retrospective study of AspectJ developers' assumptions about aspect usage. Search on Bibsonomy AOSD The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
26Eric W. K. Tsang Commentary - Assumptions, Explanation, and Prediction in Marketing Science: "It's the Findings, Stupid, Not the Assumptions". Search on Bibsonomy Mark. Sci. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
26Benoît Chevallier-Mames, Marc Joye Chosen-Ciphertext Secure RSA-Type Cryptosystems. Search on Bibsonomy ProvSec The full citation details ... 2009 DBLP  DOI  BibTeX  RDF RSA-based encryption schemes, instance-independence assumptions, one-time mappable chameleon hashing, standard model, public-key encryption, Chosen-ciphertext security
26Georgios K. Giannikis, Aspassia Daskalopulu The role of assumption identification in autonomous agent reasoning. Search on Bibsonomy AAMAS (2) The full citation details ... 2009 DBLP  BibTeX  RDF agents, autonomy, default logic, assumptions
26Antonio Fernández 0001, Ernesto Jiménez, Michel Raynal, Gilles Trédan A Timing Assumption and a t-Resilient Protocol for Implementing an Eventual Leader Service in Asynchronous Shared Memory Systems. Search on Bibsonomy ISORC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Timer property, Timing assumptions, Fault-tolerance, Shared memory, System model, Asynchronous system, Process crash, Atomic register, Omega, Eventual leader
26Hoeteck Wee Lower Bounds for Non-interactive Zero-Knowledge. Search on Bibsonomy TCC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF set-up assumptions, lower bounds, Non-interactive zero-knowledge
26Shuhua Wu, Yuefei Zhu Efficient Augmented Password-Based Encrypted Key Exchange Protocol. Search on Bibsonomy MSN The full citation details ... 2006 DBLP  DOI  BibTeX  RDF encrypted key exchange, password, Diffie-Hellman assumptions
26Ben C. Moszkowski Compositional reasoning about projected and infinite time. Search on Bibsonomy ICECCS The full citation details ... 1995 DBLP  DOI  BibTeX  RDF multiple time granularities, parallel programming, concurrency, temporal logic, temporal logic, concurrency control, theorem proving, multiprocessing systems, deadlock, commitments, concurrent system, assumptions, Interval Temporal Logic
26Scott A. Vander Wiel, Lawrence G. Votta Assessing Software Designs Using Capture-Recapture Methods. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1993 DBLP  DOI  BibTeX  RDF capture-recapture methods, wildlife population estimation, broken assumptions, jackknife estimators, software quality, software reliability, statistical analysis, software designs, maximum likelihood estimators, maximum likelihood estimation, Monte Carlo simulation, software quality assurance, statistical estimation, design reviews
25Miklós Ajtai Oblivious RAMs without cryptogrpahic assumptions. Search on Bibsonomy STOC The full citation details ... 2010 DBLP  DOI  BibTeX  RDF RAM, oblivious
25Jelena Marincic, Angelika Mader, Roel J. Wieringa Classifying Assumptions Made during Requirements Verification of Embedded Systems. Search on Bibsonomy REFSQ The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
25Jose Kooken, Tobias Ley, Robert de Hoog How Do People Learn at the Workplace? Investigating Four Workplace Learning Assumptions. Search on Bibsonomy EC-TEL The full citation details ... 2007 DBLP  DOI  BibTeX  RDF multi-method approach, learning bottlenecks, task driven learning, informal learning, workplace learning
25Jack P. C. Kleijnen White noise assumptions revisited: regression metamodels and experimental designs in practice. Search on Bibsonomy WSC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
25Vishal Suthar, Shantanu Dutt Mixed PLB and Interconnect BIST for FPGAs Without Fault-Free Assumptions. Search on Bibsonomy VTS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
25Giovanni Di Crescenzo, Renwei Ge, Gonzalo R. Arce Improved topology assumptions for threshold cryptography in mobile ad hoc networks. Search on Bibsonomy SASN The full citation details ... 2005 DBLP  DOI  BibTeX  RDF distributed cryptography, mobile ad hoc networks, threshold cryptography, threshold signatures
25Patricia Lago, Hans van Vliet Explicit assumptions enrich architectural models. Search on Bibsonomy ICSE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF software architecture, knowledge management, documentation, architecture model, assumption
25Charles B. Haley, Robin C. Laney, Jonathan D. Moffett, Bashar Nuseibeh Picking Battles: The Impact of Trust Assumptions on the Elaboration of Security Requirements. Search on Bibsonomy iTrust The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
25Dimitra Giannakopoulou, Corina S. Pasareanu, Jamieson M. Cobleigh Assume-Guarantee Verification of Source Code with Design-Level Assumptions. Search on Bibsonomy ICSE The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
25Jamieson M. Cobleigh, Dimitra Giannakopoulou, Corina S. Pasareanu Learning Assumptions for Compositional Verification. Search on Bibsonomy TACAS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
25Jordi Cortadella, Michael Kishinevsky, Steven M. Burns, Alex Kondratyev, Luciano Lavagno, Ken S. Stevens, Alexander Taubin, Alexandre Yakovlev Lazy transition systems and asynchronous circuit synthesis withrelative timing assumptions. Search on Bibsonomy IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
25Andy Yan, Rebecca Cheng, Steven J. E. Wilton On the sensitivity of FPGA architectural conclusions to experimental assumptions, tools, and techniques. Search on Bibsonomy FPGA The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
25Valentin Razmov, Daniel R. Simon Practical Automated Filter Generation to Explicitly Enforce Implicit Input Assumptions. Search on Bibsonomy ACSAC The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
25Giovanni Di Crescenzo Removing Complexity Assumptions from Concurrent Zero-Knowledge Proofs. Search on Bibsonomy COCOON The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
25Jordi Cortadella, Michael Kishinevsky, Steven M. Burns, Ken S. Stevens Synthesis of asynchronous control circuits with automatically generated relative timing assumptions. Search on Bibsonomy ICCAD The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
25Thomas J. Froehlich User assumptions about information retrieval systems: ethical concerns. Search on Bibsonomy Ethics in Computer Age The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
23Daniel von Dincklage, Amer Diwan Optimizing programs with intended semantics. Search on Bibsonomy OOPSLA The full citation details ... 2009 DBLP  DOI  BibTeX  RDF intended semantics, optimization
23Kosheek Sewchurran, Elsje Scott Learning and making sense of project phenomena in information systems education. Search on Bibsonomy ICIS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
23Bella Dubrov, Yuval Ishai On the randomness complexity of efficient sampling. Search on Bibsonomy STOC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF information theoretic cryptography, randomness complexity, compression, derandomization, pseudorandom generators, secure computation
22Eli Gafni, Petr Kuznetsov The weakest failure detector for solving k-set agreement. Search on Bibsonomy PODC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF BG-simulation, synchrony assumptions, weakest failure detector, failure detectors, k-set agreement
22Ian F. Alexander 10 Small Steps to Better Requirements. Search on Bibsonomy IEEE Softw. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF mission, requirements, scenarios, projects, priorities, conflicts, stakeholders, goals, scope, assumptions, justifications, acceptance criteria
22José Ramón Gil-García, Theresa A. Pardo Multiple methods and multiple paradigms for digital government research: understanding the promises and challenges. Search on Bibsonomy DG.O The full citation details ... 2005 DBLP  BibTeX  RDF combination of methods, muti-method approaches, philosophical assumptions, research methods, mixed methods
22Michel Abdalla, David Pointcheval Simple Password-Based Encrypted Key Exchange Protocols. Search on Bibsonomy CT-RSA The full citation details ... 2005 DBLP  DOI  BibTeX  RDF encrypted key exchange, Password, Diffie-Hellman assumptions
22Brian Randell On Failures and Faults. Search on Bibsonomy FME The full citation details ... 2003 DBLP  DOI  BibTeX  RDF fault assumptions, Dependability, formal concepts
22Matthias Nicola, Matthias Jarke Performance Modeling of Distributed and Replicated Databases. Search on Bibsonomy IEEE Trans. Knowl. Data Eng. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF interdatabase communication, modeling assumptions, measurements, benchmarks, distributed databases, replication, Performance models, queueing theory
22Ronan Gaugne A Static Analysis for Program Understanding and Debugging. Search on Bibsonomy ASE The full citation details ... 1997 DBLP  DOI  BibTeX  RDF static pointer analysis technique, C subset, user-defined assertions, static assertions, hypothetical assertions, circular structures, reverse engineering, program understanding, program debugging, automatic verification, assumptions, recursive data structures
22Axel van Lamsweerde, Robert Darimont, Philippe Massonet Goal-directed elaboration of requirements for a meeting scheduler: problems and lessons learnt. Search on Bibsonomy RE The full citation details ... 1995 DBLP  DOI  BibTeX  RDF goal-directed elaboration, requirements engineering languages, nontrivial benchmark, complex requirements engineering tasks, distributed meeting scheduler system, KAOS goal directed language, goal identification, deidelization, interfering goals, abstract descriptions, retractable assumptions, hybrid acquisition strategies, scheduling, formal specification, groupware, case study, specification languages, requirements traceability, formal reasoning, meeting scheduler
22Fabio Grandi 0001, Maria Rita Scalas Block Access Estimation for Clustered Data Using a Finite LRU Buffer. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1993 DBLP  DOI  BibTeX  RDF block access estimation, data access cost evaluation, clustered data, finite LRU buffer, clustering effect, buffer memory, real systems, comprehensive cost model, clustered data retrieval, uniform data clustering assumptions, predictive power, query processing, database management systems, database systems, buffer storage, information retrieval systems, computational costs
22Brigitte Plateau, Karim Atif Stochastic Automata Network For Modeling Parallel Systems. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1991 DBLP  DOI  BibTeX  RDF parallel activities, synchronization points, modular state-transition representation, Markovian assumptions, tensor algebra operators, performance evaluation, parallel algorithms, parallel architectures, parallel system, SAN, decomposition technique, stochastic automata, stochastic automata network, state-space explosion, transition matrix, storage cost
21Susan Hohenberger, Brent Waters Realizing Hash-and-Sign Signatures under Standard Assumptions. Search on Bibsonomy EUROCRYPT The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
21Kai-Yuen Cheong, Takeshi Koshiba Reducing Complexity Assumptions for Oblivious Transfer. Search on Bibsonomy IWSEC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF trapdoor one-way functions, oblivious transfer
21Brent Waters Dual System Encryption: Realizing Fully Secure IBE and HIBE under Simple Assumptions. Search on Bibsonomy CRYPTO The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
21François Ingelrest, David Simplot-Ryl Maximizing the Delivery of MPR Broadcasting Under Realistic Physical Layer Assumptions. Search on Bibsonomy J. Comput. Sci. Technol. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF multipoint relay broadcasting, realistic physical layer, sensor network, ad hoc network
21Marcos Kawazoe Aguilera, Carole Delporte-Gallet, Hugues Fauconnier, Sam Toueg On implementing omega in systems with weak reliability and synchrony assumptions. Search on Bibsonomy Distributed Comput. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
21Wonhong Nam, P. Madhusudan, Rajeev Alur Automatic symbolic compositional verification by learning assumptions. Search on Bibsonomy Formal Methods Syst. Des. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Regular language learning, Formal verification, Symbolic model checking, Compositional verification, Assume-guarantee reasoning, Hypergraph partitioning
21Andreas Podelski, Andrey Rybalchenko, Thomas Wies Heap Assumptions on Demand. Search on Bibsonomy CAV The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
21Oktay Türetken, Özden Özcan Top, Baris Özkan, Onur Demirörs The Impact of Individual Assumptions on Functional Size Measurement. Search on Bibsonomy IWSM/Metrikon/Mensura The full citation details ... 2008 DBLP  DOI  BibTeX  RDF COSMIC FSM, IFPUG FPA, MkII FPA, Functional Size Measurement
21Simon Tjell, João M. Fernandes Expressing Environment Assumptions and Real-time Requirements for a Distributed Embedded System with Shared Variables. Search on Bibsonomy DIPES The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
21Krishnendu Chatterjee, Thomas A. Henzinger, Barbara Jobstmann Environment Assumptions for Synthesis. Search on Bibsonomy CONCUR The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
21Jeffrey S. Pierce, Randy Pausch Generating 3D interaction techniques by identifying and breaking assumptions. Search on Bibsonomy Virtual Real. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Virtual reality, Interaction techniques, 3D interaction, Generative methods
21Xiaodong Li, Sarita V. Adve, Pradip Bose, Jude A. Rivers Architecture-Level Soft Error Analysis: Examining the Limits of Common Assumptions. Search on Bibsonomy DSN The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
21Carmit Hazay, Jonathan Katz, Chiu-Yuen Koo, Yehuda Lindell Concurrently-Secure Blind Signatures Without Random Oracles or Setup Assumptions. Search on Bibsonomy TCC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
21Tal Malkin, Ryan Moriarty, Nikolai Yakovenko Generalized Environmental Security from Number Theoretic Assumptions. Search on Bibsonomy TCC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
21Fabien Laguillaumie, Benoît Libert, Jean-Jacques Quisquater Universal Designated Verifier Signatures Without Random Oracles or Non-black Box Assumptions. Search on Bibsonomy SCN The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
21Anil Bazaz, James D. Arthur, Joseph G. Tront Modeling Security Vulnerabilities: A Constraints and Assumptions Perspective. Search on Bibsonomy DASC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
21Rajeev Alur, P. Madhusudan, Wonhong Nam Symbolic Compositional Verification by Learning Assumptions. Search on Bibsonomy CAV The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
21Emanuela Busetti, Giuliana Dettori, Paola Forcheri, Maria Grazia Ierardi Devising a Typology of LOs Based on Pedagogical Assumptions. Search on Bibsonomy ICWL The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
21Iftach Haitner, Omer Horvitz, Jonathan Katz, Chiu-Yuen Koo, Ruggero Morselli, Ronen Shaltiel Reducing Complexity Assumptions for Statistically-Hiding Commitment. Search on Bibsonomy EUROCRYPT The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
21Farn Wang Model-Checking Distributed Real-Time Systems with States, Events, and Multiple Fairness Assumptions. Search on Bibsonomy AMAST The full citation details ... 2004 DBLP  DOI  BibTeX  RDF model-checking, verification, real-time, Distributed, fairness, events
21Mihir Bellare, Adriana Palacio The Knowledge-of-Exponent Assumptions and 3-Round Zero-Knowledge Protocols. Search on Bibsonomy CRYPTO The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
21Yehuda Lindell Bounded-concurrent secure two-party computation without setup assumptions. Search on Bibsonomy STOC The full citation details ... 2003 DBLP  DOI  BibTeX  RDF secure computation, protocol composition
Displaying result #1 - #100 of 7816 (100 per page; Change: )
Pages: [1][2][3][4][5][6][7][8][9][10][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license