Search results for "impossibility"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
10	Rosana L. de B. A. Rocha, Leonardo Figueiredo Cardoso, Jano Moreira de Souza	Performance Tests in Data Warehousing ETLM Process for Detection of Changes in Data Origin.	DaWaK	2003	DBLP DOI BibTeX RDF
10	Cuihong Li, Uday Rajan, Shuchi Chawla 0001, Katia Sycara-Cyranski	Mechanisms for coalition formation and cost sharing in an electronic marketplace.	ICEC	2003	DBLP DOI BibTeX RDF
10	Mihir Bellare, Tadayoshi Kohno	A Theoretical Treatment of Related-Key Attacks: RKA-PRPs, RKA-PRFs, and Applications.	EUROCRYPT	2003	DBLP DOI BibTeX RDF
10	Rachid Guerraoui, Michel Raynal	A Generic Framework for Indulgent Consensus.	ICDCS	2003	DBLP DOI BibTeX RDF
10	Tuomas Sandholm	Automated Mechanism Design: A New Application Area for Search Algorithms.	CP	2003	DBLP DOI BibTeX RDF
10	Jason D. Hartline, Edwin S. Hong, Alexander E. Mohr, William R. Pentney, Emily Rocke	Characterizing History Independent Data Structures.	ISAAC	2002	DBLP DOI BibTeX RDF
10	Jay Sethuraman, Chung-Piaw Teo, Rakesh Vohra	Integer Programming and Arrovian Social Welfare Functions.	IPCO	2002	DBLP DOI BibTeX RDF
10	Carlo Blundo, Paolo D'Arco, Alfredo De Santis, Douglas R. Stinson	New Results on Unconditionally Secure Distributed Oblivious Transfer.	Selected Areas in Cryptography	2002	DBLP DOI BibTeX RDF
10	Heikki Hyyrö, Gonzalo Navarro 0001	Faster Bit-Parallel Approximate String Matching.	CPM	2002	DBLP DOI BibTeX RDF
10	Michael J. Maher	Propagation Completeness of Reactive Constraints.	ICLP	2002	DBLP DOI BibTeX RDF
10	David J. Blezard, Jerry Marceau	One user, one password: integrating unix accounts and active directory.	SIGUCCS	2002	DBLP DOI BibTeX RDF	authentication, integration, Unix, accounts, Active Directory, Windows 2000
10	Hagit Attiya, Zvi Avidor	Wait-Free n-Set Consensus When Inputs Are Restricted.	DISC	2002	DBLP DOI BibTeX RDF
10	Michael Jackson 0001	Where, Exactly, Is Software Development?	10th Anniversary Colloquium of UNU/IIST	2002	DBLP DOI BibTeX RDF
10	Donald Beaver	On Deniability in Quantum Key Exchange.	EUROCRYPT	2002	DBLP DOI BibTeX RDF
10	Ventzislav Nikov, Svetla Nikova, Bart Preneel, Joos Vandewalle	On Unconditionally Secure Distributed Oblivious Transfer.	INDOCRYPT	2002	DBLP DOI BibTeX RDF
10	Koji Iwanuma, Katsumi Inoue	Minimal Answer Computation and SOL.	JELIA	2002	DBLP DOI BibTeX RDF
10	Dongyang Long	Improving Information Retrieval System Security via an Optimal Maximal Coding Scheme.	EurAsia-ICT	2002	DBLP DOI BibTeX RDF
10	Yehuda Lindell, Anna Lysyanskaya, Tal Rabin	On the composition of authenticated byzantine agreement.	STOC	2002	DBLP DOI BibTeX RDF
10	Joan Feigenbaum, Arvind Krishnamurthy, Rahul Sami, Scott Shenker	Hardness Results for Multicast Cost Sharing.	FSTTCS	2002	DBLP DOI BibTeX RDF
10	Daniel E. Geer Jr., John Harthorne	Penetration Testing: A Duet.	ACSAC	2002	DBLP DOI BibTeX RDF
10	Roberto Barbieri, Danilo Bruschi, Emilia Rosti	Voice over IPsec: Analysis and Solutions.	ACSAC	2002	DBLP DOI BibTeX RDF
10	Mikhail Nesterenko, Anish Arora	Tolerance to Unbounded Byzantine Faults.	SRDS	2002	DBLP DOI BibTeX RDF
10	Klaus Kursawe	Asynchronous Byzantine Group Communication.	SRDS	2002	DBLP DOI BibTeX RDF
10	Alan D. Fekete, Nancy A. Lynch, Alexander A. Shvartsman	Specifying and using a partitionable group communication service.	ACM Trans. Comput. Syst.	2001	DBLP DOI BibTeX RDF	composable building blocks, conditional performance analysis, message-passing protocols, ordered broadcast, total-order broadcast, distributed algorithms, service specification, group communication protocols
10	Massimo Franceschetti, Jehoshua Bruck	A Group Membership Algorithm with a Practical Specification.	IEEE Trans. Parallel Distributed Syst.	2001	DBLP DOI BibTeX RDF	Distributed agreement algorithms, asynchronous systems, group membership
10	Rida A. Bazzi, Gil Neiger	Simplifying fault-tolerance: providing the abstraction of crash failures.	J. ACM	2001	DBLP DOI BibTeX RDF	fault-tolerance, translations, crash failures
10	Naoki Abe, Roni Khardon, Thomas Zeugmann	Editors' Introduction.	ALT	2001	DBLP DOI BibTeX RDF
10	Manuel M. Oliveira	Correcting Texture Mapping Errors Introduced by Graphics Hardware.	PG	2001	DBLP DOI BibTeX RDF
10	Yevgeniy Dodis, Amit Sahai, Adam D. Smith	On Perfect and Adaptive Security in Exposure-Resilient Cryptography.	EUROCRYPT	2001	DBLP DOI BibTeX RDF
10	Gabor Fichtinger, Sheng Xu 0001, Attila Tanács, Kieran Murphy, Lee Myers, Jeffery Williams	Approximate Volumetric Reconstruction from Projected Images.	MICCAI	2001	DBLP DOI BibTeX RDF
10	Cyril Prissette	Unconditionally Secure Key Agreement Protocol.	IMACC	2001	DBLP DOI BibTeX RDF
10	Christof Fetzer, Michel Raynal, Frederic Tronel	An Adaptive Failure Detection Protocol.	PRDC	2001	DBLP DOI BibTeX RDF
10	Boaz Barak, Oded Goldreich 0001, Russell Impagliazzo, Steven Rudich, Amit Sahai, Salil P. Vadhan, Ke Yang 0005	On the (Im)possibility of Obfuscating Programs.	CRYPTO	2001	DBLP DOI BibTeX RDF
10	Bernadette Charron-Bost	Agreement Problems in Fault-Tolerant Distributed Systems.	SOFSEM	2001	DBLP DOI BibTeX RDF
10	Floriana Esposito, Nicola Fanizzi, Stefano Ferilli, Giovanni Semeraro	Refining Logic Theories under OI-Implication.	ISMIS	2000	DBLP DOI BibTeX RDF
10	Jaume Vergés-Llahí, Alberto Sanfeliu, Joan Climent	Color Image Segmentation Solving Hard-Constraints on Graph Partitioning Greedy Algorithms.	ICPR	2000	DBLP DOI BibTeX RDF
10	Faith E. Fich, Eric Ruppert	Lower Bounds in Distributed Computing.	DISC	2000	DBLP DOI BibTeX RDF
10	Simon Schubiger	A Resource Classification System for the WOS.	DCW	2000	DBLP DOI BibTeX RDF
10	Rachid Guerraoui	Indulgent algorithms (preliminary version).	PODC	2000	DBLP DOI BibTeX RDF
10	Dimitris A. Karras, Vasilios Zorkadis	A Novel Suite of Tests for Evaluating One-Way Hash Functions for Electronic Commerce Applications.	EUROMICRO	2000	DBLP DOI BibTeX RDF	Cryptographic Mechanisms, One-way Hash Function Quality, Neural Networks, Authentication, Data Integrity, Electronic Commerce, Digital Signature, Security Protocols, Multilayer Perceptrons
10	Priscila Machado Vieira Lima	A Neural Propositional Reasoner that is Goal-Driven and Works without Pre-Compiled Knowledge.	SBRN	2000	DBLP DOI BibTeX RDF	propositional inference with ANNs, Resolution-based inference, logical inference
10	Arto Juhola, Kimmo Ahola, Jarmo Mölsä, Sami Lehtonen	Mobile Active Overlay.	IWAN	2000	DBLP DOI BibTeX RDF
10	Andrzej Izworski, Ryszard Tadeusiewicz, Andrzej Paslawski	The Utilization of Context Signals in the Analysis of ABR Potentials by Application of Neural Networks.	ECML	2000	DBLP DOI BibTeX RDF
10	Michel Hurfin, Michel Raynal	A Simple and Fast Asynchronous Consensus Protocol Based on a Weak Failure Detector.	Distributed Comput.	1999	DBLP DOI BibTeX RDF	Fault-tolerance, Asynchronous distributed systems, Crash failures, Unreliable failure detectors, Consensus problem
10	Brigitte Séroussi, Jacques Bouaud, Éric-Charles Antoine	Enhancing Clinical Practice Guideline Compliance by Involving Physicians in the Decision Process.	AIMDM	1999	DBLP DOI BibTeX RDF
10	Nadjib Badache, Michel Hurfin, Raimundo José de Araújo Macêdo	Solving the consensus problem in a mobile environment.	IPCCC	1999	DBLP DOI BibTeX RDF
10	Jürgen Assfalg, Alberto Del Bimbo, Pietro Pala	The Photographer Metaphor for Content Based Image Retrieval.	ICIAP	1999	DBLP DOI BibTeX RDF
10	Jürgen Assfalg, Alberto Del Bimbo, Pietro Pala	Querying by Photographs: Using Virtual Reality for Content-Based Image Retrieval.	ICMCS, Vol. 1	1999	DBLP DOI BibTeX RDF	Virtual Reality, Image Databases, Content-Based Retrieval
10	Juraj Hromkovic	Stability of Approximation Algorithms for Hard Optimization Problems.	SOFSEM	1999	DBLP DOI BibTeX RDF
10	Yuh-Jzer Joung, Scott A. Smolka	Strong Interaction Fairness Via Randomization.	IEEE Trans. Parallel Distributed Syst.	1998	DBLP DOI BibTeX RDF	strong interaction fairness, weak interaction fairness, committee coordination, distributed algorithms, Randomized algorithms, multiparty interaction
10	Narutoshi Umemoto, Hirotsugu Kakugawa, Masafumi Yamashita	A Self-Stabilizing Ring Orientation Algorithm With a Smaller Number of Processor States.	IEEE Trans. Parallel Distributed Syst.	1998	DBLP DOI BibTeX RDF	ring orientation, fault-tolerance, Distributed algorithm, self-stabilization, ring network
10	Prasad Jayanti, Tushar Deepak Chandra, Sam Toueg	Fault-Tolerant Wait-Free Shared Objects.	J. ACM	1998	DBLP DOI BibTeX RDF	fault-tolerance, synchronization, implementation, shared memory, MIMD, shared objects, asynchronous computing
10	Dirk O. Keck, Paul J. Kühn	The Feature and Service Interaction Problem in Telecommunications Systems. A Survey.	IEEE Trans. Software Eng.	1998	DBLP DOI BibTeX RDF	supplementary service, service interference, feature interference, feature interaction, Telecommunication service, service interaction
10	Micah Adler, Bruce M. Maggs	Protocols for Asymmetric Communication Channels.	FOCS	1998	DBLP DOI BibTeX RDF	communication complexity, network protocols, asymmetric
10	Siegfried Kanngießer	Inside and Outside the Chinese Room.	Foundations of Computer Science: Potential - Theory - Cognition	1997	DBLP DOI BibTeX RDF
10	Rachid Guerraoui, André Schiper	Genuine Atomic Multicast.	WDAG	1997	DBLP DOI BibTeX RDF
10	Marcos Kawazoe Aguilera, Wei Chen 0013, Sam Toueg	Heartbeat: A Timeout-Free Failure Detector for Quiescent Reliable Communication.	WDAG	1997	DBLP DOI BibTeX RDF
10	Marios Mavronicolas, Marina Papatriantafilou, Philippas Tsigas	The Impact of Timing on Linearizability in Counting Networks.	IPPS	1997	DBLP DOI BibTeX RDF
10	Ueli M. Maurer	Information-Theoretically Secure Secret-Key Agreement by NOT Authenticated Public Discussion.	EUROCRYPT	1997	DBLP DOI BibTeX RDF
10	Maciej Liskiewicz	Interactive Proof Systems with Public Coin: Lower Space Bounds and Hierarchies of Complexity Classes.	STACS	1997	DBLP DOI BibTeX RDF
10	Michel Hurfin, Frederic Tronel	A Solution to Atomic Commitment Based on an Extended Consensus Protocol.	FTDCS	1997	DBLP DOI BibTeX RDF
10	Victor Varshavsky, Vyacheslav Marakhovsky	Asynchronous Control Device Design by Net Model Behavior Simulation.	Application and Theory of Petri Nets	1996	DBLP DOI BibTeX RDF
10	Maurice Herlihy, Sergio Rajsbaum	Algebraic Topology and Distributed Computing: A Primer.	Computer Science Today	1995	DBLP DOI BibTeX RDF
10	Danny Dolev	Theory and Practice in Distributed Systems (Abstract).	WDAG	1995	DBLP DOI BibTeX RDF
10	Özalp Babaoglu, Renzo Davoli, Luigi-Alberto Giachini, Paolo Sabattini	The Inherent Cost of Strong-Partial View-Synchronous Communication.	WDAG	1995	DBLP DOI BibTeX RDF
10	Jaap-Henk Hoepman, Marina Papatriantafilou, Philippas Tsigas	Self-Stabilization of Wait-Free Shared Memory Objects.	WDAG	1995	DBLP DOI BibTeX RDF
10	Andrea Bonarini, Gianluca Bontempi	A Qualitative Simulation Approach for Fuzzy Dynamical Models.	ACM Trans. Model. Comput. Simul.	1994	DBLP DOI BibTeX RDF	simulation of approximate dynamical models, simulation of fuzzy dynamical models
10	Jaap-Henk Hoepman	Uniform Deterministic Self-Stabilizing Ring-Orientation on Odd-Length Rings.	WDAG	1994	DBLP DOI BibTeX RDF	Communication, Synchronization, Shared Memory, Self-Stabilization, Orientation, Rings, Symmetry Breaking
10	Juan A. Garay	Reaching (and Maintaining) Agreement in the Presence of Mobile Faults (Extended Abstract).	WDAG	1994	DBLP DOI BibTeX RDF
10	Berthold K. P. Horn, Richard Szeliski, Alan L. Yuille	Impossible Shaded Images.	IEEE Trans. Pattern Anal. Mach. Intell.	1993	DBLP DOI BibTeX RDF	shaded images, local extremum, lower gradient, light area, orientation discontinuity, isolated surface patch, image recognition
10	Uffe Engberg, Glynn Winskel	Completeness Results for Linear Logic on Petri Nets.	MFCS	1993	DBLP DOI BibTeX RDF
10	Uffe Engberg, Glynn Winskel	Linear Logic on Petri Nets.	REX School/Symposium	1993	DBLP DOI BibTeX RDF	Petri nets, Linear logic
10	Donald Beaver, Nicol So	Global, Unpredictable Bit Generation Without Broadcast.	EUROCRYPT	1993	DBLP DOI BibTeX RDF
10	Francis Alexandre	A technique for Transforming Logic Programs by Fold-Unfold Transformations.	PLILP	1992	DBLP DOI BibTeX RDF	definite program, fold-unfold, program transformation, schema
10	Rida A. Bazzi, Gil Neiger	Simulating Crash Failures with Many Faulty Processors (Extended Abstract).	WDAG	1992	DBLP DOI BibTeX RDF
10	Ronit Lubitch, Shlomo Moran	Closed Schedulers: Constructions and Applications to Consensus Protocols.	WDAG	1992	DBLP DOI BibTeX RDF
10	Jürgen Nehmer, Thomas Becker 0006	A Fault Tolerance Approach for Distributed ISDN Control Systems.	ACM SIGOPS Oper. Syst. Rev.	1991	DBLP DOI BibTeX RDF
10	Eugene W. Stark	On the Relations Computable by a Class of Concurrent Automata.	POPL	1990	DBLP DOI BibTeX RDF
10	Gerrit Bleumer, Birgit Pfitzmann, Michael Waidner	A Remark on a Signature Scheme Where Forgery Can Be Proved.	EUROCRYPT	1990	DBLP DOI BibTeX RDF
10	Ambuj K. Singh	An Axiomatization of Wait-Freedom and Low-Atomicity.	ICCI	1990	DBLP DOI BibTeX RDF
10	Ramesh Subrahmanyam	Complexity of Algebraic Specification.	FSTTCS	1990	DBLP DOI BibTeX RDF
10	Inês Duarte	X-Bar Theory: Its Role in GB Theory.	EAIA	1990	DBLP DOI BibTeX RDF
10	David A. Basin, Peter Del Vecchio	Verification Of Combinational Logic in Nuprl.	Hardware Specification, Verification and Synthesis	1989	DBLP DOI BibTeX RDF
10	Benny Chor, Eyal Kushilevitz	Secret Sharing Over Infinite Domains (Extended Abstract).	CRYPTO	1989	DBLP DOI BibTeX RDF
10	Neil W. Rickert	Non Byzantine Clock Synchronization - A Programming Experiment.	ACM SIGOPS Oper. Syst. Rev.	1988	DBLP DOI BibTeX RDF
10	Prakash Panangaden, Eugene W. Stark	Computations, Residuals, and the POwer of Indeterminancy.	ICALP	1988	DBLP DOI BibTeX RDF
10	Nicola Santoro, Stuart J. Sidney, Jorge Urrutia	Geometric Containment, Common Roots of Polynomials and Partial Orders.	STACS	1988	DBLP DOI BibTeX RDF
10	Leslie Lamport, P. M. Melliar-Smith	Byzantine Clock Synchronization.	ACM SIGOPS Oper. Syst. Rev.	1986	DBLP DOI BibTeX RDF
10	Joan R. Zak	When a data processing department inherits software.	AFIPS National Computer Conference	1983	DBLP DOI BibTeX RDF
10	A. J. Herbert, Roger M. Needham	Sequencing Computation Steps in a Network.	SOSP	1981	DBLP DOI BibTeX RDF
10	Ken C. Liu, Arthur C. Fleck	String Pattern Matching in Polynomial Time.	POPL	1979	DBLP DOI BibTeX RDF