Search results for "impossibility"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
10	Eli Gafni, Petr Kuznetsov	The weakest failure detector for solving k-set agreement.	PODC	2009	DBLP DOI BibTeX RDF	BG-simulation, synchrony assumptions, weakest failure detector, failure detectors, k-set agreement
10	Kai-Yuen Cheong, Takeshi Koshiba	Reducing Complexity Assumptions for Oblivious Transfer.	IWSEC	2009	DBLP DOI BibTeX RDF	trapdoor one-way functions, oblivious transfer
10	Soraya Bououden, Foudil Abdessemed, Abderraouf Benali	Control of a Bipedal Walking Robot Using a Fuzzy Precompensator.	KES-AMSTA	2009	DBLP DOI BibTeX RDF	Dynamic Walking, Computed Torque, Fuzzy Precompensator, Biped Robot
10	Joël Alwen, Jonathan Katz, Yehuda Lindell, Giuseppe Persiano, Abhi Shelat, Ivan Visconti	Collusion-Free Multiparty Computation in the Mediated Model.	CRYPTO	2009	DBLP DOI BibTeX RDF
10	Nishanth Chandran, Vipul Goyal, Ryan Moriarty, Rafail Ostrovsky	Position Based Cryptography.	CRYPTO	2009	DBLP DOI BibTeX RDF
10	Marco Grassi	Developing HEO Human Emotions Ontology.	COST 2101/2102 Conference	2009	DBLP DOI BibTeX RDF
10	Mohit Tiwari, Hassan M. G. Wassel, Bita Mazloom, Shashidhar Mysore, Frederic T. Chong, Timothy Sherwood	Complete information flow tracking from the gates up.	ASPLOS	2009	DBLP DOI BibTeX RDF	provably sound, gate level, information flow tracking
10	Jiji Zhang	Error probabilities for inference of causal directions.	Synth.	2008	DBLP DOI BibTeX RDF	Bayesian network, Consistency, Error probability, Causal inference
10	Reuven Cohen, Pierre Fraigniaud, David Ilcinkas, Amos Korman, David Peleg	Label-guided graph exploration by a finite automaton.	ACM Trans. Algorithms	2008	DBLP DOI BibTeX RDF	Distributed algorithms, labeling schemes, graph exploration
10	Xabiel G. Pañeda, David Melendi, Manuel Vilas, Roberto García 0002, Víctor G. García, Isabel Rodríguez	FESORIA: An integrated system for analysis, management and smart presentation of audio/video streaming services.	Multim. Tools Appl.	2008	DBLP DOI BibTeX RDF	Audio/video streaming, Management, Analysis, System, Presentation
10	Achour Mostéfaoui, Sergio Rajsbaum, Michel Raynal, Corentin Travers	On the computability power and the robustness of set agreement-oriented failure detector classes.	Distributed Comput.	2008	DBLP DOI BibTeX RDF	Fault-tolerance, Distributed algorithm, Asynchronous system, Unreliable failure detector, Set-agreement
10	David Ginat	Separating between foes.	ACM SIGCSE Bull.	2008	DBLP DOI BibTeX RDF
10	Robert Schaefer	Debugging debugged, a metaphysical manifesto of systems integration.	ACM SIGSOFT Softw. Eng. Notes	2008	DBLP DOI BibTeX RDF
10	Sudipto Guha, Piotr Indyk, Andrew McGregor 0001	Sketching information divergences.	Mach. Learn.	2008	DBLP DOI BibTeX RDF	Information divergences, Data stream model, Approximation algorithms, Sketches, Communication complexity
10	Amotz Bar-Noy, Richard E. Ladner, Jacob Christensen 0001, Tami Tamir	A general buffer scheme for the windows scheduling problem.	ACM J. Exp. Algorithmics	2008	DBLP DOI BibTeX RDF	Periodic scheduling, media-on-demand
10	Yoann Dieudonné, Ouiddad Labbani-Igbida, Franck Petit	Circle formation of weak mobile robots.	ACM Trans. Auton. Adapt. Syst.	2008	DBLP DOI BibTeX RDF	formation of geometric patterns, Distributed computing, self-deployment, mobile robot networks
10	Gregory R. Wheeler	Applied Logic without Psychologism.	Stud Logica	2008	DBLP DOI BibTeX RDF	Belief structures, pure invariantism, sub-System P logics, psychologism, non-monotonic logic
10	Alban Ponse, Mark van der Zwaag	Risk Assessment for One-Counter Threads.	Theory Comput. Syst.	2008	DBLP DOI BibTeX RDF	One-counter systems, Risk assessment, Reachability, Thread algebra
10	Javier Montero	The impact of fuzziness in social choice paradoxes.	Soft Comput.	2008	DBLP DOI BibTeX RDF	Fuzzy preferences, Group decision making, Social choice
10	Vasil S. Denchev, Gopal Pandurangan	Distributed quantum computing: a new frontier in distributed systems or science fiction?	SIGACT News	2008	DBLP DOI BibTeX RDF
10	Michael A. Bender, Raphaël Clifford, Kostas Tsichlas	Scheduling algorithms for procrastinators.	J. Sched.	2008	DBLP DOI BibTeX RDF	Hit-the-highest-nail, Interval stretch, Procrastinate, Procrastinator, Sum-of-squares problem, NP-complete, Online scheduling, Stretch
10	Adrian Popescu 0001, Gregory Grefenstette, Pierre-Alain Moëllic	Improving Image Retrieval Using Semantic Resources.	Advances in Semantic Media Adaptation and Personalization	2008	DBLP DOI BibTeX RDF
10	Masahiro Inuiguchi, Yukihiro Yoshioka	Several Reducts in Dominance-Based Rough Set Approach.	Interval / Probabilistic Uncertainty and Non-Classical Logics	2008	DBLP DOI BibTeX RDF
10	Marc Pauly	Formal Methods and the Theory of Social Choice.	RelMiCS	2008	DBLP DOI BibTeX RDF
10	Marcin Poturalski, Panagiotis Papadimitratos, Jean-Pierre Hubaux	Towards provable secure neighbor discovery in wireless networks.	FMSE	2008	DBLP DOI BibTeX RDF	secure neighbor discovery, relay attack, wireless networks security
10	Guilherme Palermo Coelho, Fabrício Olivetti de França, Fernando J. Von Zuben	A Multi-Objective Multipopulation Approach for Biclustering.	ICARIS	2008	DBLP DOI BibTeX RDF	multipopulation search, collaborative filtering, multi-objective optimization, artificial immune systems, gene expression, biclustering
10	Alejandro Pauly, Markus Schneider 0001	Spatial vagueness and imprecision in databases.	SAC	2008	DBLP DOI BibTeX RDF
10	Simone Ferraresi, Emanuele Francocci, Alessio Quaglini, Andrea Baiocchi	Algorithm to automatically solve security policy conflicts among IP devices configurations.	NOMS	2008	DBLP DOI BibTeX RDF
10	Adrian Rusu, Chu Yao, Andrew Crowell	A Planar Straight-line Grid Drawing Algorithm for High Degree General Trees with User-Specified Angular Coefficient.	IV	2008	DBLP DOI BibTeX RDF
10	Shahar Dobzinski, Ron Lavi, Noam Nisan	Multi-unit Auctions with Budget Limits.	FOCS	2008	DBLP DOI BibTeX RDF
10	Christos H. Papadimitriou, Michael Schapira, Yaron Singer	On the Hardness of Being Truthful.	FOCS	2008	DBLP DOI BibTeX RDF
10	Alexander Mintchev	Interoperability among Service Registry Implementations: Is UDDI Standard Enough?	ICWS	2008	DBLP DOI BibTeX RDF
10	Marcos Kawazoe Aguilera, Eli Gafni, Leslie Lamport	The Mailbox Problem.	DISC	2008	DBLP DOI BibTeX RDF
10	Cristian S. Calude, Marius Zimand	Algorithmically Independent Sequences.	Developments in Language Theory	2008	DBLP DOI BibTeX RDF
10	Ei Ando, Hirotaka Ono 0001, Kunihiko Sadakane, Masafumi Yamashita	The space complexity of the leader election in anonymous networks.	IPDPS	2008	DBLP DOI BibTeX RDF
10	Indrani Medhi, Geeta Menon, Kentaro Toyama	Challenges in computerized job search for the developing world.	CHI Extended Abstracts	2008	DBLP DOI BibTeX RDF	domestic laborers, paper-based system, developing world, ngo
10	Pierluigi Del Nostro, Stefano Paolozzi, Paolo Atzeni	Extending MIDST to Semantic Annotation.	DEXA Workshops	2008	DBLP DOI BibTeX RDF	Semantic Web, Interoperability, Semantic annotation, Model management
10	Daniel Serrano, Antonio Maña, Athanasios-Dimitrios Sotirious	Towards Precise Security Patterns.	DEXA Workshops	2008	DBLP DOI BibTeX RDF	Security patterns repositories, secure development
10	Shayak Banerjee, Praveen Elakkumanan, Lars Liebmann, Michael Orshansky	Electrically driven optical proximity correction based on linear programming.	ICCAD	2008	DBLP DOI BibTeX RDF
10	Nishanth Chandran, Vipul Goyal, Amit Sahai	New Constructions for UC Secure Computation Using Tamper-Proof Hardware.	EUROCRYPT	2008	DBLP DOI BibTeX RDF
10	José Ghislain Quenum	Generic Protocol Configuration and Execution within a Coalition.	IAT	2008	DBLP DOI BibTeX RDF
10	Si-Cheol Noh, Hae-Ki Min, Woo-Jin Yu, Moon-Kyu Park, Jang-Woo Kwon, Hong-Ki Min, Heung-Ho Choi	Development of Electromagnetic Therapy System with Individually Patterned Protocol for Urine Incontinence Patients.	BMEI (1)	2008	DBLP DOI BibTeX RDF	electromagnetic therapy, patterned protocol, incontinence
10	Stéphane Devismes, Sébastien Tixeuil, Masafumi Yamashita	Weak vs. Self vs. Probabilistic Stabilization.	ICDCS	2008	DBLP DOI BibTeX RDF
10	François Bonnet 0001, Michel Raynal	Conditions for Set Agreement with an Application to Synchronous Systems.	ICDCS	2008	DBLP DOI BibTeX RDF
10	Giovanni Malnati, Caterina Maria Cuva, Claudia Barberis	JThreadSpy: A Tool for Improving the Effectiveness of Concurrent System Teaching and Learning.	CSSE (5)	2008	DBLP DOI BibTeX RDF
10	Carlos Diego Rodrigues, Philippe Michelon, Manoel B. Campêlo	Recent Hybrid Techniques for the Multi-Knapsack Problem.	CP	2008	DBLP DOI BibTeX RDF
10	Ching Yu Ng, Willy Susilo, Yi Mu 0001, Reihaneh Safavi-Naini	RFID Privacy Models Revisited.	ESORICS	2008	DBLP DOI BibTeX RDF
10	Carlo Blundo, Giuseppe Persiano, Ahmad-Reza Sadeghi, Ivan Visconti	Improved Security Notions and Protocols for Non-transferable Identification.	ESORICS	2008	DBLP DOI BibTeX RDF	Non-transferability, reset attacks, e-passports
10	Martin Gude, Stefan M. Grünvogel, Andreas Pütz	Predicting Future User Behaviour in Interactive Live TV.	EuroITV	2008	DBLP DOI BibTeX RDF	interactive live TV, multistream, recommender system
10	Rica Gonen	On the Hardness of Truthful Online Auctions with Multidimensional Constraints.	CiE	2008	DBLP DOI BibTeX RDF
10	Jason D. Hartline, Tim Roughgarden	Optimal mechanism design and money burning.	STOC	2008	DBLP DOI BibTeX RDF	money burning, optimal mechanism design, mechanism design
10	Anupam Gupta 0001, Kunal Talwar	How to Complete a Doubling Metric.	LATIN	2008	DBLP DOI BibTeX RDF
10	Manoj Prabhakaran 0001, Mike Rosulek	Cryptographic Complexity of Multi-Party Computation Problems: Classifications and Separations.	CRYPTO	2008	DBLP DOI BibTeX RDF
10	Jurek Czyzowicz, Stefan Dobrev, Evangelos Kranakis, Danny Krizanc	The Power of Tokens: Rendezvous and Symmetry Detection for Two Mobile Agents in a Ring.	SOFSEM	2008	DBLP DOI BibTeX RDF
10	Luca Didaci, Gian Luca Marcialis, Fabio Roli	A Theoretical and Experimental Analysis of Template Co-update in Biometric Verification Systems.	SSPR/SPR	2008	DBLP DOI BibTeX RDF
10	Probal Dasgupta	Concrete knowledge, the conversational turn, and translation.	AI Soc.	2007	DBLP DOI BibTeX RDF	Concrete Knowledge, The Conversational Turn, Translation
10	Yael Tauman Kalai, Yehuda Lindell, Manoj Prabhakaran 0001	Concurrent Composition of Secure Protocols in the Timing Model.	J. Cryptol.	2007	DBLP DOI BibTeX RDF
10	Carlo Blundo, Paolo D'Arco, Alfredo De Santis, Douglas R. Stinson	On Unconditionally Secure Distributed Oblivious Transfer.	J. Cryptol.	2007	DBLP DOI BibTeX RDF
10	Yehuda Afek, Eli Gafni, Adam Morrison 0001	Common2 extended to stacks and unbounded concurrency.	Distributed Comput.	2007	DBLP DOI BibTeX RDF	Common2, Unbounded concurrency, Immediate snapshot, Stacks, Wait-free
10	Daniil Ryabko	Sample Complexity for Computational Classification Problems.	Algorithmica	2007	DBLP DOI BibTeX RDF
10	Samuel Ieong, Mukund Sundararajan, Anthony Man-Cho So	Mechanism design for stochastic optimization problems.	SIGecom Exch.	2007	DBLP DOI BibTeX RDF	stochastic programming
10	Sheng Zhong 0002, Li Erran Li, Yanbin Grace Liu, Yang Richard Yang	On designing incentive-compatible routing and forwarding protocols in wireless ad-hoc networks.	Wirel. Networks	2007	DBLP DOI BibTeX RDF	Routing, Ad hoc networks, Incentive compatibility, Packet forwarding
10	Oscar Harari, Cristina Rubio-Escudero, Patricio Traverso, Marcelo Santos, Igor Zwir	Learning Robust Dynamic Networks in Prokaryotes by Gene Expression Networks Iterative Explorer (GENIE).	NICSO	2007	DBLP DOI BibTeX RDF
10	Michel Raynal	Eventual Leader Service in Unreliable Asynchronous Systems: Why? How?	NCA	2007	DBLP DOI BibTeX RDF	Assumption coverage, Behavioral assumption, Eventual tsource, Eventual timely link, Fault-tolerance, Distributed algorithm, System model, Asynchronous system, Oracle, Failure detector, Process crash, Partial synchrony, Omega, Message pattern, Eventual leader
10	Taisuke Izumi, Koichi Wada 0001	On the Probabilistic Omission Adversary.	SSS	2007	DBLP DOI BibTeX RDF
10	Davide Canepa, Maria Gradinariu Potop-Butucaru	Stabilizing Flocking Via Leader Election in Robot Networks.	SSS	2007	DBLP DOI BibTeX RDF
10	Felix C. Freiling, Arshad Jhumka	Global Predicate Detection in Distributed Systems with Small Faults.	SSS	2007	DBLP DOI BibTeX RDF
10	Hoeteck Wee	Lower Bounds for Non-interactive Zero-Knowledge.	TCC	2007	DBLP DOI BibTeX RDF	set-up assumptions, lower bounds, Non-interactive zero-knowledge
10	Remo Meier, Bartosz Przydatek, Jürg Wullschleger	Robuster Combiners for Oblivious Transfer.	TCC	2007	DBLP DOI BibTeX RDF	robust combiners, weak oblivious transfer, oblivious transfer
10	Mira Gonen, Rica Gonen, Elan Pavlov	Characterizing Truthful Market Design.	WINE	2007	DBLP DOI BibTeX RDF
10	Giovanni Denaro, Mauro Pezzè, Davide Tosi	Designing Self-Adaptive Service-Oriented Applications.	ICAC	2007	DBLP DOI BibTeX RDF
10	Nancy A. Lynch	DISC 20th Anniversary: Invited Talk My Early Days in Distributed Computing Theory: 1979-1982.	DISC	2007	DBLP DOI BibTeX RDF
10	Ran Canetti	Obtaining Universally Compoable Security: Towards the Bare Bones of Trust.	ASIACRYPT	2007	DBLP DOI BibTeX RDF
10	Rachid Guerraoui, Michel Raynal	From Unreliable Objects to Reliable Objects: The Case of Atomic Registers and Consensus.	PaCT	2007	DBLP DOI BibTeX RDF
10	Nicole Immorlica, Jon M. Kleinberg, Mohammad Mahdian, Tom Wexler	The role of compatibility in the diffusion of technologies through social networks.	EC	2007	DBLP DOI BibTeX RDF	contagion on networks, diffusion of innovations, algorithmic game theory
10	Yan Shen, Jun Bi, Jianping Wu, Qiang Liu	The Automatic Peer-to-Peer Signature for Source Address Validation.	KES (1)	2007	DBLP DOI BibTeX RDF	Source Address Spoofing, Spoofing Prevention, Key Management
10	Jonathan Katz	Universally Composable Multi-party Computation Using Tamper-Proof Hardware.	EUROCRYPT	2007	DBLP DOI BibTeX RDF
10	Sara Tucci Piergiovanni, Roberto Baldoni	Connectivity in Eventually Quiescent Dynamic Distributed Systems.	LADC	2007	DBLP DOI BibTeX RDF
10	Chien-Chung Huang	Cheating to Get Better Roommates in a Random Stable Matching.	STACS	2007	DBLP DOI BibTeX RDF
10	Masahito Hayashi, Kazuo Iwama, Harumichi Nishimura, Rudy Raymond Harry Putra, Shigeru Yamashita	Quantum Network Coding.	STACS	2007	DBLP DOI BibTeX RDF
10	Lélia Blin, Maria Gradinariu Potop-Butucaru, Sébastien Tixeuil	On the Self-stabilization of Mobile Robots in Graphs.	OPODIS	2007	DBLP DOI BibTeX RDF
10	Moumen Hamouma, Achour Mostéfaoui, Gilles Trédan	Byzantine Consensus with Few Synchronous Links.	OPODIS	2007	DBLP DOI BibTeX RDF	Eventually timely link, Fault tolerance, Distributed algorithm, Consensus, Resilience, Asynchronous distributed system, Byzantine process
10	Ping Li 0001, Trevor Hastie, Kenneth Ward Church	Nonlinear Estimators and Tail Bounds for Dimension Reduction in l 1 Using Cauchy Random Projections.	COLT	2007	DBLP DOI BibTeX RDF
10	Vladimir A. Golovko, Leanid U. Vaitsekhovich, Pavel A. Kochurko, Uladzimir S. Rubanau	Dimensionality Reduction and Attack Recognition using Neural Network Approaches.	IJCNN	2007	DBLP DOI BibTeX RDF
10	Alaeddine El Fawal, Jean-Yves Le Boudec, Kavé Salamatian	Multi-hop broadcast from theory to reality: practical design for ad hoc networks.	Autonomics	2007	DBLP DOI BibTeX RDF
10	Jonathan Katz	On achieving the "best of both worlds" in secure multiparty computation.	STOC	2007	DBLP DOI BibTeX RDF	secure computation
10	Dan Gutfreund, Amnon Ta-Shma	Worst-Case to Average-Case Reductions Revisited.	APPROX-RANDOM	2007	DBLP DOI BibTeX RDF
10	Raul Vicen-Bueno, Maria P. Jarabo-Amores, Manuel Rosa-Zurera, Roberto Gil-Pita, David de la Mata-Moya	Performance Analysis of MLP-Based Radar Detectors in Weibull-Distributed Clutter with Respect to Target Doppler Frequency.	ICANN (2)	2007	DBLP DOI BibTeX RDF
10	Amos Beimel, Tal Malkin, Kobbi Nissim, Enav Weinreb	How Should We Solve Search Problems Privately?	CRYPTO	2007	DBLP DOI BibTeX RDF
10	Davide Lorenzoli, Davide Tosi, Salvatore Venticinque, Rosa Anna Micillo	Designing multi-layers self-adaptive complex applications.	SOQUA	2007	DBLP DOI BibTeX RDF	distributed systems, context awareness, mobile devices, service-oriented applications, self-adaptive systems
10	Natalia Cherchago, Pascal Hitzler, Steffen Hölldobler	Decidability Under the Well-Founded Semantics.	RR	2007	DBLP DOI BibTeX RDF
10	Alon Altman, Moshe Tennenholtz	Incentive compatible ranking systems.	AAMAS	2007	DBLP DOI BibTeX RDF	ranking systems, multiagent systems, incentives, social choice
10	Jose L. Martinez Lastra, Ivan M. Delamer	Semantic web services in factory automation: fundamental insights and research roadmap.	IEEE Trans. Ind. Informatics	2006	DBLP DOI BibTeX RDF
10	Leslie Lamport	Lower bounds for asynchronous consensus.	Distributed Comput.	2006	DBLP DOI BibTeX RDF	Fault tolerance, Distributed algorithms, Consensus, Paxos
10	Stephen Paynter, Neil Henderson, James M. Armstrong	Metastability in Asynchronous Wait-Free Protocols.	IEEE Trans. Computers	2006	DBLP DOI BibTeX RDF	asynchronous operation, model checking, formal models, Protocol verification
10	Carlo Marchetti, Roberto Baldoni, Sara Tucci Piergiovanni, Antonino Virgillito	Fully Distributed Three-Tier Active Software Replication.	IEEE Trans. Parallel Distributed Syst.	2006	DBLP DOI BibTeX RDF	software replication in wide-area networks, architectures for dependable services, replication protocols, Dependable distributed systems
10	Yehuda Lindell, Anna Lysyanskaya, Tal Rabin	On the composition of authenticated Byzantine Agreement.	J. ACM	2006	DBLP DOI BibTeX RDF	Authenticated Byzantine Agreement, lower bounds, randomized protocols, protocol composition
10	Ling-Yu Duan, Jesse S. Jin, Qi Tian 0002, Changsheng Xu	Nonparametric motion characterization for robust classification of camera motion patterns.	IEEE Trans. Multim.	2006	DBLP DOI BibTeX RDF
10	Dan Dobre, Neeraj Suri	One-step Consensus with Zero-Degradation.	DSN	2006	DBLP DOI BibTeX RDF
10	Martin Hutle, Dahlia Malkhi, Ulrich Schmid 0001, Lidong Zhou	Brief Announcement: Chasing the Weakest System Model for Implementing Omega and Consensus.	SSS	2006	DBLP DOI BibTeX RDF