Search results for "assumptions"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
20	Yehuda Lindell	Bounded-concurrent secure two-party computation without setup assumptions.	STOC	2003	DBLP DOI BibTeX RDF	secure computation, protocol composition
20	Moni Naor	On Cryptographic Assumptions and Challenges.	CRYPTO	2003	DBLP DOI BibTeX RDF
20	Vyacheslav S. Kharchenko, Olga Tarasyuk, Vladimir V. Sklyar, V. Yu. Dubnitsky	The Method of Software Reliability Growth Models Choice Using Assumptions Matrix.	COMPSAC	2002	DBLP DOI BibTeX RDF
20	Françoise Bellegarde, Samir Chouali, Jacques Julliand	Verification of Dynamic Constraints for B Event Systems under Fairness Assumptions.	ZB	2002	DBLP DOI BibTeX RDF	B event systems1, fairness hypotheses, PLTL verification, specification
20	Héctor Ruíz Barradas, Didier Bert	Specification and Proof of Liveness Properties under Fairness Assumptions in B Event Systems.	IFM	2002	DBLP DOI BibTeX RDF
20	Ron Steinfeld, Joonsang Baek, Yuliang Zheng 0001	On the Necessity of Strong Assumptions for the Security of a Class of Asymmetric Encryption Schemes.	ACISP	2002	DBLP DOI BibTeX RDF
20	Chi-Jen Lu	Derandomizing Arthur-Merlin games under uniform assumptions.	Comput. Complex.	2001	DBLP DOI BibTeX RDF	graph nonisomorphism problem, nondeterminism, Derandomization, uniformity, Arthur-Merlin games
20	Michel Abdalla, Mihir Bellare, Phillip Rogaway	The Oracle Diffie-Hellman Assumptions and an Analysis of DHIES.	CT-RSA	2001	DBLP DOI BibTeX RDF	Cryptographic standards, Diffie-Hellman key exchange, provable security, elliptic curve cryptosystems, generic model, ElGamal encryption
20	Chi-Jen Lu	Derandomizing Arthur-Merlin Games under Uniform Assumptions.	ISAAC	2000	DBLP DOI BibTeX RDF
20	Valentine Kabanets	Easiness Assumptions and Hardness Tests: Trading Time for Zero Error.	CCC	2000	DBLP DOI BibTeX RDF	probabilistic complexity classes, uniform setting, derandomization
20	Pascal Daniel, Jean-Denis Durou	Creation of Real Images which are Valid for the Assumptions Made in Shape from Shading.	ICIAP	1999	DBLP DOI BibTeX RDF
20	Jee Hea An, Mihir Bellare	Constructing VIL-MACsfrom FIL-MACs: Message Authentication under Weakened Assumptions.	CRYPTO	1999	DBLP DOI BibTeX RDF
20	Joe Kilian, Erez Petrank	An Efficient Noninteractive Zero-Knowledge Proof System for NP with General Assumptions.	J. Cryptol.	1998	DBLP DOI BibTeX RDF	Efficient proofs, Noninteractive zero knowledge, Efficient proofs, Noninteractive zero knowledge, Zero knowledge, Zero knowledge, Key words, One-way permutations, One-way permutations, Circuit satisfiability, Circuit satisfiability
20	Francisco Gómez 0001, Suneeta Ramaswami, Godfried T. Toussaint	On Removing Non-degeneracy Assumptions in Computational Geometry.	CIAC	1997	DBLP DOI BibTeX RDF
20	James K. Huggins	The assumptions of computing.	Ethics in Computer Age	1994	DBLP DOI BibTeX RDF
20	Albert V. Ferris-Prabhu	On the assumptions contained in semiconductor yield models.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1992	DBLP DOI BibTeX RDF
20	Stavros Christodoulakis	Implications of Certain Assumptions in Database Performance Evaluation.	ACM Trans. Database Syst.	1984	DBLP DOI BibTeX RDF
19	Corina S. Pasareanu, Dimitra Giannakopoulou, Mihaela Gheorghiu Bobaru, Jamieson M. Cobleigh, Howard Barringer	Learning to divide and conquer: applying the L* algorithm to automate assume-guarantee reasoning.	Formal Methods Syst. Des.	2008	DBLP DOI BibTeX RDF	Model checking, Learning, Labeled transition systems, Compositional verification, Safety properties, Assume-guarantee reasoning, Proof rules
19	Marius Nita, Dan Grossman, Craig Chambers	A theory of platform-dependent low-level software.	POPL	2008	DBLP DOI BibTeX RDF	low-level software, portability, type safety, casts
19	Irem Aktug, Dilian Gurov	State Space Representation for Verification of Open Systems.	AMAST	2006	DBLP DOI BibTeX RDF
19	Paul D. Ezhilchelvan, Santosh K. Shrivastava	A Family of Trusted Third Party Based Fair-Exchange Protocols.	IEEE Trans. Dependable Secur. Comput.	2005	DBLP DOI BibTeX RDF	Trusted Third Party (TTP), crash tolerance, security, distributed systems, smartcards, Fair exchange
19	Geeta Chaudhry, Thomas H. Cormen	Oblivious vs. Distribution-Based Sorting: An Experimental Evaluation.	ESA	2005	DBLP DOI BibTeX RDF
19	Andrey Brito, Francisco Vilar Brasileiro	A Cheap and Safe COTS Wormhole for Local Area Networks.	IPDPS	2005	DBLP DOI BibTeX RDF
19	Boaz Barak, Oded Goldreich 0001	Universal Arguments and their Applications.	CCC	2002	DBLP DOI BibTeX RDF	Probabilistic proof systems, computationally-sound proof systems, zero-knowledge proof systems, probabilistic checkable proofs (PCP), collision-free hashing, witness indistinguishable proof systems, error-correcting codes, proofs of knowledge
19	Ueli M. Maurer	Cryptography 2000±10.	Informatics	2001	DBLP DOI BibTeX RDF
19	Toshikazu Wada, Takashi Matsuyama	Multiobject Behavior Recognition by Event Driven Selective Attention Method.	IEEE Trans. Pattern Anal. Mach. Intell.	2000	DBLP DOI BibTeX RDF	selective attention mechanism, toke propagation, multiviewpoint image, HMM, Behavior recognition, nondeterministic finite automata
19	Richard Butterworth, Ann Blandford, David J. Duke	Demonstrating the Cognitive Plausibility of Interactive System Specifications.	Formal Aspects Comput.	2000	DBLP DOI BibTeX RDF	Programmable User Modelling (PUM), Cognitive plausibility, Electronic diary systems, Human-Computer Interaction (HCI), Interactive systems, Formal modelling
19	Heather M. Hinton	Composing Partially-Specified Systems.	S&P	1998	DBLP DOI BibTeX RDF
19	Martin S. Olivier, Sebastiaan H. von Solms	A Taxonomy for Secure Object-Oriented Databases.	ACM Trans. Database Syst.	1994	DBLP DOI BibTeX RDF	multilevel secure databases, object-orientation, information security, formal security models
19	Rakesh Agrawal 0001, Michael J. Carey 0001, Miron Livny	Concurrency Control Performance Modeling: Alternatives and Implications.	ACM Trans. Database Syst.	1987	DBLP DOI BibTeX RDF
18	Jin Heo, Tarek F. Abdelzaher	AdaptGuard: guarding adaptive systems from instability.	ICAC	2009	DBLP DOI BibTeX RDF	adaptation graphs, causality assumptions, adaptive systems
18	Gloria H. W. Liu, Eric T. G. Wang	A Teleological Perspective towards the Definition and Measurement of Intellectual Capital.	WSKS (2)	2008	DBLP DOI BibTeX RDF	Ontological assumptions, Teleology, Measurement, Definition, Intellectual Capital
18	Idit Keidar, Alexander Shraer	How to Choose a Timing Model?	DSN	2007	DBLP DOI BibTeX RDF	synchrony assumptions, eventual synchrony, consensus algorithms, FT Middleware, failure detectors
18	Paul A. Cairns	HCI... not as it should be: inferential statistics in HCI research.	BCS HCI (1)	2007	DBLP DOI BibTeX RDF	inferential statistics, over-testing, reporting statistics, HCI, research methods, assumptions
18	Emmanuel Bresson, Yassine Lakhnech, Laurent Mazaré, Bogdan Warinschi	A Generalization of DDH with Applications to Protocol Analysis and Computational Soundness.	CRYPTO	2007	DBLP DOI BibTeX RDF	Protocol Security, Provable Scurity, Computational Soundness, Diffie-Hellman Assumptions
18	Kjell Hausken	Returns to information security investment: The effect of alternative information security breach functions on optimal investment and sensitivity to vulnerability.	Inf. Syst. Frontiers	2006	DBLP DOI BibTeX RDF	Security investment, Information protection, Returns assumptions, Information security breach, Logistic function, Vulnerability, Linearity, Convexity, Concavity
18	David G. Jenkins, Lisa A. McCauley	GIS, SINKS, FILL, and disappearing wetlands: unintended consequences in algorithm development and use.	SAC	2006	DBLP DOI BibTeX RDF	assumptions log, ecological ethics, land ethic, wetlands, algorithm, GIS, geographic information systems, hydrologic model
18	Amy J. Ko	Debugging by asking questions about program output.	ICSE	2006	DBLP DOI BibTeX RDF	whyline, debugging, program comprehension, direct manipulation, program understanding, errors, faults, slicing, assumptions, questions, hypotheses
18	Yann Loyer, Nicolas Spyratos, Daniel Stamate	Hypothesis-based semantics of logic programs in multivalued logics.	ACM Trans. Comput. Log.	2004	DBLP DOI BibTeX RDF	Reasoning with incomplete knowledge, assumptions, bilattices
18	Gloria Gonzales-Dholakia	Computing competencies: ensuring student success.	SIGUCCS	2003	DBLP DOI BibTeX RDF	Knowles' Andragogy Theory, andragogy assumptions, computer competency, constructivist theory, computer education, online training, computer training
18	Oded Goldreich 0001	Concurrent zero-knowledge with timing, revisited.	STOC	2002	DBLP DOI BibTeX RDF	black-box simulation, proofs versus arguments, timing assumptions, zero-Knowledge, parallel composition, concurrent composition
18	Don Cohen, Martin S. Feather, Khaled Narayanaswamy, Stephen Fickas	Automatic Monitoring of Software Requirements.	ICSE	1997	DBLP DOI BibTeX RDF	robustness, monitoring, requirements, software evolution, maintenance, assumptions, expectations
18	John H. R. May, A. D. Lunn	A Model of Code Sharing for Estimating Software Failure on Demand Probabilities.	IEEE Trans. Software Eng.	1995	DBLP DOI BibTeX RDF	Software failure on demand, probability of failure on demand, code sharing, demand space partitioning, probabilistic dependence assumptions, statistical estimation, probability model
18	Moni Naor, Omer Reingold	Synthesizers and Their Application to the Parallel Construction of Psuedo-Random Functions.	FOCS	1995	DBLP DOI BibTeX RDF	parallel construction, pseudo-random synthesizer, cryptography, RSA, computational linguistics, computational learning theory, cryptographic primitive, pseudo-random functions, Diffie-Hellman assumptions
18	Jawed I. A. Siddiqi	Challenging Universal Truths of Requirements Engineering.	IEEE Softw.	1994	DBLP DOI BibTeX RDF	software engineering, requirements engineering, systems analysis, user interaction, DP management, assumptions
18	Tiko Kameda, Slawomir Pilarski, André Ivanov	Notes on Multiple Input Signature Analysis.	IEEE Trans. Computers	1993	DBLP DOI BibTeX RDF	multiple input signature analysis, multiple-input compactors, error assumptions, binary memory elements, standard linear algebra notions, logic testing, probability, built-in self test, feedback, aliasing, shift registers, VLSI circuits, error model, irreducible polynomial
16	Panayiotis Koutsabasis, John Darzentas	Methodologies for agent systems development: underlying assumptions and implications for design.	AI Soc.	2009	DBLP DOI BibTeX RDF
16	Iftach Haitner, Omer Horvitz, Jonathan Katz, Chiu-Yuen Koo, Ruggero Morselli, Ronen Shaltiel	Reducing Complexity Assumptions for Statistically-Hiding Commitment.	J. Cryptol.	2009	DBLP DOI BibTeX RDF	Statistical hiding, Regular one way functions, Bit commitment
16	Rafael Dowsley, Jörn Müller-Quade, Anderson C. A. Nascimento	A CCA2 Secure Public Key Encryption Scheme Based on the McEliece Assumptions in the Standard Model.	CT-RSA	2009	DBLP DOI BibTeX RDF
16	Chengjun Liu	Clarification of Assumptions in the Relationship between the Bayes Decision Rule and the Whitened Cosine Similarity Measure.	IEEE Trans. Pattern Anal. Mach. Intell.	2008	DBLP DOI BibTeX RDF	Pattern Recognition, Image Processing and Computer Vision
16	Marco Loog	On Distributional Assumptions and Whitened Cosine Similarities.	IEEE Trans. Pattern Anal. Mach. Intell.	2008	DBLP DOI BibTeX RDF	Statistical, Classifier design and evaluation
16	Rafael Dowsley, Jeroen van de Graaf, Jörn Müller-Quade, Anderson C. A. Nascimento	Oblivious Transfer Based on the McEliece Assumptions.	ICITS	2008	DBLP DOI BibTeX RDF
16	Atilla Elçi, Behnam Rahnama, Saman Kamran	Defining a Strategy to Select Either of Closed/Open World Assumptions on Semantic Robots.	COMPSAC	2008	DBLP DOI BibTeX RDF	Open World Assumption, Semantic Robotics, Labyrinth, Ontology, Close World Assumption
16	Qian Feng, Robyn R. Lutz	Assessing the Effect of Software Failures on Trust Assumptions.	ISSRE	2008	DBLP DOI BibTeX RDF
16	Ueli M. Maurer, Stefano Tessaro	Basing PRFs on Constant-Query Weak PRFs: Minimizing Assumptions for Efficient Symmetric Cryptography.	ASIACRYPT	2008	DBLP DOI BibTeX RDF
16	Jan Mandel, Bedrich Sousedík	BDDC and FETI-DP under minimalist assumptions.	Computing	2007	DBLP DOI BibTeX RDF	65M55, 65Y05, AMS Subject Classifications 65N55
16	Yun Zhang 0017, Alastair Weakley, Ernest A. Edmonds	Resolving Assumptions in Art-Technology Collaboration as a Means of Extending Shared Understanding.	HCI (9)	2007	DBLP DOI BibTeX RDF	Art-technology collaboration, computer-based interactive artwork, case study
16	Heike Winschiers, Jens Fendler	Assumptions Considered Harmful.	HCI (10)	2007	DBLP DOI BibTeX RDF
16	Shoushan Li, Chengqing Zong	Classifier Combining Rules Under Independence Assumptions.	MCS	2007	DBLP DOI BibTeX RDF	Combining Rules, Pattern Classification, Multiple Classifier System
16	Amitanand S. Aiyer, Lorenzo Alvisi, Rida A. Bazzi	Bounded Wait-Free Implementation of Optimally Resilient Byzantine Storage Without (Unproven) Cryptographic Assumptions.	DISC	2007	DBLP DOI BibTeX RDF
16	Kyla Steele	Mapping safety assumptions across the European aviation industry.	ECCE	2007	DBLP DOI BibTeX RDF	safety theory, model, safety, principle, aviation safety, accident
16	Peter Nielsen, Kenn Steger-Jensen	Evaluating the Standard Assumptions of Demand Planning and Control.	APMS	2007	DBLP DOI BibTeX RDF	Demand planning and control, numerical study, performance impact
16	Jim Sheffield, Edward Lau	Surfacing the Philosophical Assumptions of KM Frameworks.	HICSS	2007	DBLP DOI BibTeX RDF
16	Emna Bahri, Nicolas Nicoloyannis, Mondher Maddouri	Improving Boosting by Exploiting Former Assumptions.	MCD	2007	DBLP DOI BibTeX RDF	Data mining, Machine learning, Classification, convergence, Boosting, Recall
16	Ran Canetti, Eyal Kushilevitz, Yehuda Lindell	On the Limitations of Universally Composable Two-Party Computation Without Set-Up Assumptions.	J. Cryptol.	2006	DBLP DOI BibTeX RDF	Universal composability, Secure two-party computation, Impossibility results
16	Antonio Fernández 0001, Ernesto Jiménez, Michel Raynal	Eventual Leader Election with Weak Assumptions on Initial Knowledge, Communication Reliability, and Synchrony.	DSN	2006	DBLP DOI BibTeX RDF
16	Joseph Phillips, Ronald Edwards, Raghuveer Kumarakrishnan	Checking Scientific Assumptions by Modeling.	Discovery Science	2006	DBLP DOI BibTeX RDF
16	Dario Catalano, Yevgeniy Dodis, Ivan Visconti	Mercurial Commitments: Minimal Assumptions and Efficient Constructions.	TCC	2006	DBLP DOI BibTeX RDF
16	Prasenjit Basu, Sayantan Das 0001, Pallab Dasgupta, Partha Pratim Chakrabarti	Discovering the input assumptions in specification refinement coverage.	ASP-DAC	2006	DBLP DOI BibTeX RDF
16	Lubos Brim, Ivana Cerná, Pavel Moravec 0002, Jirí Simsa	On Combining Partial Order Reduction with Fairness Assumptions.	FMICS/PDMC	2006	DBLP DOI BibTeX RDF
16	Iwan Tabakow	An Introduction to Fuzzy Propositional Calculus Using Proofs from Assumptions.	KES (2)	2006	DBLP DOI BibTeX RDF
16	Brian T. Keane, Robert M. Mason	On the Nature of Knowledge: Rethinking Popular Assumptions.	HICSS	2006	DBLP DOI BibTeX RDF
16	Ján Sefránek	Irrelevant Updates and Nonmonotonic Assumptions.	JELIA	2006	DBLP DOI BibTeX RDF	foundations of logic-based AI systems, nonmonotonic knowledge bases, logic programming, updates, nonmonotonic reasoning
16	Bernd Finkbeiner, Sven Schewe, Matthias Brill	Automatic Synthesis of Assumptions for Compositional Model Checking.	FORTE	2006	DBLP DOI BibTeX RDF
16	Qinbao Song, Martin J. Shepperd, Michelle Cartwright	A Short Note on Safest Default Missingness Mechanism Assumptions.	Empir. Softw. Eng.	2005	DBLP DOI BibTeX RDF	missingness mechanism, missing data, Software effort prediction, data imputation
16	Nicolai Bissantz, Hajo Holzmann, Axel Munk	Testing parametric assumptions on band- or time-limited signals under noise.	IEEE Trans. Inf. Theory	2005	DBLP DOI BibTeX RDF
16	Maya Daneva, Roel J. Wieringa	Requirements Engineering for Cross-organizational ERP Implementation: Undocumented Assumptions and Potential Mismatches.	RE	2005	DBLP DOI BibTeX RDF
16	Andriy V. Miranskyy, Nazim H. Madhavji, Matthew Davison 0001, Mark Reesor	Modelling Assumptions and Requirements in the Context of Project Risk.	RE	2005	DBLP DOI BibTeX RDF
16	Ivan Damgård, Kasper Dupont	Efficient Threshold RSA Signatures with General Moduli and No Extra Assumptions.	Public Key Cryptography	2005	DBLP DOI BibTeX RDF
16	Héctor Ruíz Barradas, Didier Bert	A Fixpoint Semantics of Event Systems With and Without Fairness Assumptions.	IFM	2005	DBLP DOI BibTeX RDF	unity logic, weak fairness, minimal progress, set transformer, fairness, action systems, Liveness properties, fixpoints, event systems
16	Felipe Calderero, Alireza Ghodrati, Dana H. Brooks, Gilead Tadmor, Robert S. MacLeod	A Method to Reconstruct Activation Wavefronts Without Isotropy Assumptions Using a Level Sets Approach.	FIMH	2005	DBLP DOI BibTeX RDF
16	Ruijun Yang, Qi Xia, Weinong Wang, Qunhua Pan, Xinli Huang, Minglu Li 0001	Secure Protocols Enhancement Based on Radio-propagation Related Looser Assumptions in Mobile Ad hoc Networks.	PDCAT	2005	DBLP DOI BibTeX RDF
16	Marc Dacier, Fabien Pouget, Hervé Debar	Honeypots: Practical Means to Validate Malicious Fault Assumptions.	PRDC	2004	DBLP DOI BibTeX RDF
16	Damir Isovic, Gerhard Fohler, Liesbeth Steffens	Timing Constraints of MPEG-2 Decoding for High Quality Video: Misconceptions and Realistic Assumptions.	ECRTS	2003	DBLP DOI BibTeX RDF
16	Ran Canetti, Eyal Kushilevitz, Yehuda Lindell	On the Limitations of Universally Composable Two-Party Computation without Set-up Assumptions.	EUROCRYPT	2003	DBLP DOI BibTeX RDF
16	Marcos Kawazoe Aguilera, Carole Delporte-Gallet, Hugues Fauconnier, Sam Toueg	On implementing omega with weak reliability and synchrony assumptions.	PODC	2003	DBLP DOI BibTeX RDF
16	L. S. Hou	Error Estimates for Semidiscrete Finite Element Approximations of the Stokes Equations Under Minimal Regularity Assumptions.	J. Sci. Comput.	2001	DBLP DOI BibTeX RDF	semidiscrete approximation, finite element, error estimate, Stokes equations
16	Pierre-Alain Fouque, Jacques Stern	Fully Distributed Threshold RSA under Standard Assumptions.	ASIACRYPT	2001	DBLP DOI BibTeX RDF	Threshold RSA key generation and signature
16	Emmanouil Magkos, Panayiotis Kotzanikolaou, Vassilios Chrissikopoulos	An Asymmetric Traceability Scheme for Copyright Protection without Trust Assumptions.	EC-Web	2001	DBLP DOI BibTeX RDF
16	Yann Loyer, Nicolas Spyratos, Daniel Stamate	Integration of Information in Four-Valued Logics under Non-Uniform Assumptions.	ISMVL	2000	DBLP DOI BibTeX RDF	integration of heterogeneous information, logic programming, inconsistency, logics of knowledge, four-valued logics
16	John J. Kyaruzi, Jan van Katwijk	Towards Explicit Representation of Architectural Design Assumptions.	ASE	2000	DBLP DOI BibTeX RDF
16	Marcus Plach	Bayesian networks as models of human judgement under uncertainty: The role of causal assumptions in belief updating.	Kognitionswissenschaft	1999	DBLP DOI BibTeX RDF
16	Ravi Kumar 0001, Sridhar Rajagopalan, Amit Sahai	Coding Constructions for Blacklisting Problems without Computational Assumptions.	CRYPTO	1999	DBLP DOI BibTeX RDF	error-correcting codes, copyrights protection, broadcast encryption, blacklisting
16	Michel Defamie, Patrick Jacobs, Jacques Thollembeck	Experience Paper: Software Reliability: Assumptions, Realities and Data.	ICSM	1999	DBLP DOI BibTeX RDF
16	Adam A. Porter	Fundamental Laws and Assumptions of Software Maintenance.	Empir. Softw. Eng.	1997	DBLP DOI BibTeX RDF	Theory Development, Empirical Studies, Software Maintenance, Interdisciplinary Research
16	E. Allen Emerson, A. Prasad Sistla	Utilizing Symmetry when Model-Checking under Fairness Assumptions: An Automata-Theoretic Approach.	ACM Trans. Program. Lang. Syst.	1997	DBLP DOI BibTeX RDF	model-checking, temporal logic, abstraction, symmetry, automata, state explosion
16	Onur Demirörs	Assumptions and difficulties of software quality movement.	EUROMICRO	1997	DBLP DOI BibTeX RDF	software quality movement, change limitations, business management, software quality, software development organizations
16	E. Allen Emerson, A. Prasad Sistla	Utilizing Symmetry when Model Checking under Fairness Assumptions: An Automata-theoretic Approach.	CAV	1995	DBLP DOI BibTeX RDF
16	Norbert Fuhr, Ulrich Pfeifer	Probabilistic Information Retrieval as a Combination of Abstraction, Inductive Learning, and Probabilistic Assumptions.	ACM Trans. Inf. Syst.	1994	DBLP DOI BibTeX RDF	probabilistic indexing, logistic regression, controlled vocabulary, probabilistic retrieval
16	Ivan Damgård	Interactive Hashing can Simplify Zero-Knowledge Protocol Design Without Computational Assumptions (Extended Abstract).	CRYPTO	1993	DBLP DOI BibTeX RDF