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 |
|