Search results for "k-strong"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
56	Amir Epstein, Michal Feldman, Yishay Mansour	Strong equilibrium in cost sharing connection games.	EC	2007	DBLP DOI BibTeX RDF	cost sharing games, strong equilibrium, strong price of anarchy, game theory, Nash equilibrium, network design, price of anarchy, coalitions
55	Cindy Eisner, Dana Fisman, John Havlicek	A topological characterization of weakness.	PODC	2005	DBLP DOI BibTeX RDF	safety component, semantically weak and strong formulas, syntactically weak and strong formulas, temporal weakness and strength, weak and strong components, safety, liveness
45	Ola Rozenfeld, Moshe Tennenholtz	Strong and Correlated Strong Equilibria in Monotone Congestion Games.	WINE	2006	DBLP DOI BibTeX RDF	Strong Equilibrium, Congestion Games
44	Hiroyuki Iwata, Tomokazu Yoneda, Satoshi Ohtake, Hideo Fujiwara	A DFT Method for RTL Data Paths Based on Partially Strong Testability to Guarantee Complete Fault Efficiency.	Asian Test Symposium	2005	DBLP DOI BibTeX RDF	strong testability, partially strong testability, complete fault efficiency, design-for-testability, data paths
43	Rebecca S. Lipner, Gary W. Strong, Karen E. O'Neill Strong	The Relationship Between Task Structure and Choice of Navigational Aid in Human Computer Interface Design.	HCI (1)	1993	DBLP BibTeX RDF
43	Gary W. Strong, Karen F. O'Neill Strong	Visual Guidance for Information Navigation: A Computer-Human Interface Design Principle Derived from Cognitive Neuroscience.	Interact. Comput.	1991	DBLP DOI BibTeX RDF
43	Florian T. Schneider, Vijay Menon 0002, Tatiana Shpeisman, Ali-Reza Adl-Tabatabai	Dynamic optimization for efficient strong atomicity.	OOPSLA	2008	DBLP DOI BibTeX RDF	virtual machines, code generation, transactional memory, compiler optimizations, dynamic optimizations, strong atomicity
43	Xinyi Huang 0001, Willy Susilo, Yi Mu 0001, Futai Zhang	Short (Identity-Based) Strong Designated Verifier Signature Schemes.	ISPEC	2006	DBLP DOI BibTeX RDF	strong designated verifier signature scheme, random oracle model, short signature, identity based, designated verifier signature
41	Lionel Paris, Richard Ostrowski, Pierre Siegel, Lakhdar Sais	From Horn Strong Backdoor Sets to Ordered Strong Backdoor Sets.	MICAI	2007	DBLP DOI BibTeX RDF
40	Joffroy Beauquier, Sylvie Delaët, Sammy Haddad	A 1-Strong Self-stabilizing Transformer.	SSS	2006	DBLP DOI BibTeX RDF	k-strong, Transformer, Self-stabilization, Fault Containment
40	Wolfgang K. Giloi, C. Hastedt, Friedrich Schön, Wolfgang Schröder-Preikschat	A Distributed Implementation of Shared Virtual Memory with Strong and Weak Coherence.	EDMCC	1991	DBLP DOI BibTeX RDF	virtual shared memory architecture, strong and weak data coherence, communication hardware, parallelizing compilers, Distributed memory architecture
38	Hai-Yang Li, Sheng-Gang Li	Congruences and ideals in pseudoeffect algebras.	Soft Comput.	2008	DBLP DOI BibTeX RDF	Pseudoeffect algebras, Riesz ideals, Normal weak Riesz ideals, Strong congruences, Riesz strong congruences, Congruences, Ideals
37	V. Jeyakumar 0001	A note on strong duality in convex semidefinite optimization: necessary and sufficient conditions.	Optim. Lett.	2008	DBLP DOI BibTeX RDF	Semidefinite optimization, Strong duality, Convex programming, Constraint qualifications
37	Soumaya Marzouk, Maher Ben Jemaa, Mohamed Jmaiel	A serialization based approach for strong mobility of shared object.	PPPJ	2007	DBLP DOI BibTeX RDF	Java thread, shared object migration, strong mobility, distributed applications, Java-RMI, serialization, source code transformation
37	Maria C. F. Ferreira, Delia Kesner, Laurence Puel	lambda-Calculi with Explicit Substitutions Preserving Strong Normalization.	Appl. Algebra Eng. Commun. Comput.	1999	DBLP DOI BibTeX RDF	Preservation of strong normalization, ?-Calculus, Explicit substitutions
34	Sigal Gottlieb, David I. Ketcheson, Chi-Wang Shu	High Order Strong Stability Preserving Time Discretizations.	J. Sci. Comput.	2009	DBLP DOI BibTeX RDF	Multistep methods, Spectral deferred correction methods, Runge-Kutta methods, High order accuracy, Time discretization, Strong stability preserving
34	Martín Abadi, Tim Harris 0001, Mojtaba Mehrara	Transactional memory with strong atomicity using off-the-shelf memory protection hardware.	PPoPP	2009	DBLP DOI BibTeX RDF	transactional memory, stm, memory protection, strong atomicity
34	Emmanuel Bresson, Mark Manulis	Securing group key exchange against strong corruptions.	AsiaCCS	2008	DBLP DOI BibTeX RDF	authenticated group key exchange, strong corruptions, mutual authentication, contributiveness, insider attacks
34	Abdolmajid Mousavi, Behrouz Homayoun Far, Armin Eberlein, Behrouz Heidari	Strong Safe Realizability of Message Sequence Chart Specifications.	FSEN	2007	DBLP DOI BibTeX RDF	Strong safe realizability, stuck states, emergent scenarios
34	Raj Kumar Rajendran, Vishal Misra, Dan Rubenstein	Brief announcement: strong detection of misconfigurations.	PODC	2005	DBLP DOI BibTeX RDF	strong detection, routing, anomaly detection, distance-vector, misconfiguration
34	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
34	Philip M. Johnson, Carleton A. Moore	Investigating strong collaboration with the Annotated Egret Navigator.	WETICE	1995	DBLP DOI BibTeX RDF	strong collaboration, Annotated Egret Navigator, structured hypertext document, graduate seminar, indirect authoring mechanisms, direct authoring mechanisms, context-sensitive change information, intermediate work products, groupware, hypermedia, database integrity, agent-based architecture
33	Nir Andelman, Michal Feldman, Yishay Mansour	Strong price of anarchy.	SODA	2007	DBLP BibTeX RDF
33	Mario Bravetti, Gianluigi Zavattaro	A Theory for Strong Service Compliance.	COORDINATION	2007	DBLP DOI BibTeX RDF
33	V. Jeyakumar 0001	The strong conical hull intersection property for convex programming.	Math. Program.	2006	DBLP DOI BibTeX RDF	Mathematics Subject Classification 41A65, 90C30, 41A29
33	Francis Y. L. Chin, Henry C. M. Leung, Siu-Ming Yiu, Tak Wah Lam, Roni Rosenfeld, Wai Wan Tsang, David K. Smith 0001, Y. Jiang	Finding motifs for insufficient number of sequences with strong binding to transcription facto.	RECOMB	2004	DBLP DOI BibTeX RDF	binding energy, DNA microarray, transcription factor, motif finding
32	Seiki Akama	Three-Valued Constructive Logic and Logic Programs.	ISMVL	1995	DBLP DOI BibTeX RDF	three-valued constructive logic, three valued constructive logic, strong negation 3N, N completion, intuitive semantics, N completion semantics, computational complexity, semantics, logic programming, logic programs, ternary logic, model theory, strong negation, negation as failure
32	Guo-Huang Hsu, Jimmy J. M. Tan	A Local Diagnosability Measure for Multiprocessor Systems.	IEEE Trans. Parallel Distributed Syst.	2007	DBLP DOI BibTeX RDF	local diagnosability, strong local diagnosability property, PMC model
31	Amos Fiat, Haim Kaplan, Meital Levy, Svetlana Olonetsky	Strong Price of Anarchy for Machine Load Balancing.	ICALP	2007	DBLP DOI BibTeX RDF	Strong Nash equilibria, Load balancing, Game theory, Price of Anarchy
31	Jin-Oh Jeon, Su-Bong Ryu, Sang-Jo Park, Min-Sup Kang	Strong Authentication Protocol for RFID Tag Using SHA-1 Hash Algorithm.	ICCSA (1)	2007	DBLP DOI BibTeX RDF	Strong authentication protocol, SHA-1 hash algorithm, Three-way challenge response, ISO/IEC 1800-3 standard, Digital Codec design, RFID Tag
31	Bing Yang, Huaping Hu, Xiangwen Duan, Shiyao Jin	An Intelligent Network-Warning Model with Strong Survivability.	CANS	2007	DBLP DOI BibTeX RDF	Strong Survivability, Network-Warning, Intelligence, Equality
31	M. Hossein Sheikh Attar, M. Tamer Özsu	Alternative Architectures and Protocols for Providing Strong Consistency in Dynamic Web Applications.	World Wide Web	2006	DBLP DOI BibTeX RDF	caching dynamic web, mid-tier database caching, web caching, strong consistency, database caching
31	Sigal Gottlieb, Steven J. Ruuth	Optimal Strong-Stability-Preserving Time-Stepping Schemes with Fast Downwind Spatial Discretizations.	J. Sci. Comput.	2006	DBLP DOI BibTeX RDF	total-variation-diminishing, linear multistep methods, Runge-Kutta methods, time discretization, Strong-stability-preserving
31	Norihiro Kamide	Phase Semantics and Petri Net Interpretation for Resource-Sensitive Strong Negation.	J. Log. Lang. Inf.	2006	DBLP DOI BibTeX RDF	electric circuit, linear logic with strong negation, Petri net with inhibitor arc, phase semantics, medical diagnosis
31	Debrup Chakraborty, Palash Sarkar 0001	A New Mode of Encryption Providing a Tweakable Strong Pseudo-random Permutation.	FSE	2006	DBLP DOI BibTeX RDF	tweakable encryption, strong pseudo-random permutation, mode of operation
31	Wei-Chi Ku	A hash-based strong-password authentication scheme without using smart cards.	ACM SIGOPS Oper. Syst. Rev.	2004	DBLP DOI BibTeX RDF	password-file compromise attack, strong password, user authentication, replay attack, denial-of-service attack
31	Ya-Fen Chang, Chin-Chen Chang 0001	A secure and efficient strong-password authentication protocol.	ACM SIGOPS Oper. Syst. Rev.	2004	DBLP DOI BibTeX RDF	strong password, smart card, password authentication, mutual authentication, denial-of-service attack, stolen-verifier attack
31	Venkata Duvvuri, Prashant J. Shenoy, Renu Tewari	Adaptive Leases: A Strong Consistency Mechanism for the World Wide Web.	IEEE Trans. Knowl. Data Eng.	2003	DBLP DOI BibTeX RDF	Web proxy servers, Web caching, cache consistency, leases, strong consistency
31	Rafael Ayala, Eladio Domínguez, Angel R. Francés, Antonio Quintero	A Digital Lighting Function for Strong 26-Surfaces.	DGCI	1999	DBLP DOI BibTeX RDF	Lighting function, strong 26-surface, digital surface
31	Ernst-Rüdiger Olderog	Strong bisimilarity on nets: a new concept for comparing net semantics.	REX Workshop	1988	DBLP DOI BibTeX RDF	Strong bisimilarity, labelled place/transitions nets, causal nets, process terms, COSY, operational and compositional net semantics, CSP, CCS, safeness
29	Arthur W. Apter	Diamond, square, and level by level equivalence.	Arch. Math. Log.	2005	DBLP DOI BibTeX RDF	Supercompact cardinal, Strongly compact cardinal, Strong cardinal, Diamond, Level by level equivalence between strong compactness and supercompactness, Square
29	Jørgen Bang-Jensen, Anders Yeo	Decomposing k-arc-Strong Tournaments Into Strong Spanning Subdigraphs.	Comb.	2004	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000): 05C20, 05C70, 05C38, 05C40
29	Nathan Grasso Bronson, Christos Kozyrakis, Kunle Olukotun	Feedback-directed barrier optimization in a strongly isolated STM.	POPL	2009	DBLP DOI BibTeX RDF	bytecode rewriting, deoptimization, strong isolation, weak isolation, transactional memory, hot swap
29	Ken Kaneiwa	Description Logics with Contraries, Contradictories, and Subcontraries.	New Gener. Comput.	2007	DBLP DOI BibTeX RDF	Constructive Description Logic, Terminological Knowledge Representation, Strong Negation, Negative Information
28	Stephen Ponzio, Ray Strong	Semisynchrony and Real-Time (Extended Abstract).	WDAG	1992	DBLP DOI BibTeX RDF
27	ZuTao Zhang, Jiashu Zhang	A novel strong tracking finite-difference extended Kalman filter for nonlinear eye tracking.	Sci. China Ser. F Inf. Sci.	2009	DBLP DOI BibTeX RDF	strong tracking finite-difference extended Kalman filter (STFDEKF), extended Kalman filter (EKF), suboptimal fading factor, eye tracking
27	Bogdan Staruch	HSP-type Characterization of Strong Equational Classes of Partial Algebras.	Stud Logica	2009	DBLP DOI BibTeX RDF	strong equational class, equation, equational logic, partial algebra
27	Matthew Spinks, Robert Veroff	Constructive Logic with Strong Negation is a Substructural Logic. II.	Stud Logica	2008	DBLP DOI BibTeX RDF	Nelson algebra, algebra, residuated lattice, substructural logic, strong negation, Constructive logic
27	Matthew Spinks, Robert Veroff	Constructive Logic with Strong Negation is a Substructural Logic. I.	Stud Logica	2008	DBLP DOI BibTeX RDF	Nelson algebra, FL ew -algebra, residuated lattice, substructural logic, strong negation, Constructive logic
27	Gerard R. Renardel de Lavalette, Barteld P. Kooi, Rineke Verbrugge	Strong Completeness and Limited Canonicity for PDL.	J. Log. Lang. Inf.	2008	DBLP DOI BibTeX RDF	Canonical model, Model disharmony, Propositional dynamic logic, Strong completeness
27	Go Ohtake, Goichiro Hanaoka, Kazuto Ogawa	An Efficient Strong Key-Insulated Signature Scheme and Its Application.	EuroPKI	2008	DBLP DOI BibTeX RDF	strong key-insulated signature, key leakage, DL assumption, random oracle model, adaptive security
27	Kai Xiong, Zhen Xiang, Jianhong Ge	Evaluation of the Human Eye Glare after Strong Exposure.	BMEI (1)	2008	DBLP DOI BibTeX RDF	Glare, Glare evaluation, Recovery time, Strong exposure
27	Keiichirou Kusakari, Masahiko Sakai	Enhancing dependency pair method using strong computability in simply-typed term rewriting.	Appl. Algebra Eng. Commun. Comput.	2007	DBLP DOI BibTeX RDF	Simply-typed term rewriting system, Plain function- passing, Strong computability, Termination, Dependency pair
27	JaeCheol Ha, Sang-Jae Moon, Juan Manuel González Nieto, Colin Boyd	Low-Cost and Strong-Security RFID Authentication Protocol.	EUC Workshops	2007	DBLP DOI BibTeX RDF	strong-privacy, authentication, traceability, RFID system, indistinguishability
27	Soumaya Marzouk, Maher Ben Jemaa, Mohamed Jmaiel	A Serialisation Based Approach for Processes Strong Mobility.	DAIS	2007	DBLP DOI BibTeX RDF	Strong Mobility, Java Thread, Distributed systems, Source code transformation, Serialisation
27	Chi Cao Minh, Martin Trautmann, JaeWoong Chung, Austen McDonald, Nathan Grasso Bronson, Jared Casper, Christos Kozyrakis, Kunle Olukotun	An effective hybrid transactional memory system with strong isolation guarantees.	ISCA	2007	DBLP DOI BibTeX RDF	strong isolation, parallel programming, transactional memory, multi-core architectures
27	Ziheng Zhou, Adam Prügel-Bennett, Robert I. Damper	A Bayesian Framework for Extracting Human Gait Using Strong Prior Knowledge.	IEEE Trans. Pattern Anal. Mach. Intell.	2006	DBLP DOI BibTeX RDF	strong prior, hidden Markov model, Bayesian framework, articulated motion, human gait
27	Rudolf Ahlswede, Ning Cai 0001	A Strong Converse Theorem for Quantum Multiple Access Channels.	GTIT-C	2006	DBLP DOI BibTeX RDF	classical quantum multiple access channel, strong converse, wringing technique, non–stationary memoryless classical quantum channel
27	Hideyuki Ichihara, Tomoo Inoue, Naoki Okamoto, Toshinori Hosokawa, Hideo Fujiwara	An Effective Design for Hierarchical Test Generation Based on Strong Testability.	Asian Test Symposium	2005	DBLP DOI BibTeX RDF	Hierarchical test generation, strong testability, datapath, test plan
27	Huafei Zhu	Constructing Committed Signatures from Strong-RSA Assumption in the Standard Complexity Model.	Public Key Cryptography	2004	DBLP DOI BibTeX RDF	Committed signatures, strong RSA assumption, fair exchange protocols
27	Geir Agnarsson, Magnús M. Halldórsson	Strong Colorings of Hypergraphs.	WAOA	2004	DBLP DOI BibTeX RDF	strong coloring, composition width, approximation, hypergraph
27	Andrea Capotorti, L. Galli, Barbara Vantaggi	Locally strong coherence and inference with lower-upper probabilities.	Soft Comput.	2003	DBLP DOI BibTeX RDF	Lower-upper probabilities, Locally strong coherence, Inference
27	Sigal Gottlieb, Lee-Ad Gottlieb	Strong Stability Preserving Properties of Runge-Kutta Time Discretization Methods for Linear Constant Coefficient Operators.	J. Sci. Comput.	2003	DBLP DOI BibTeX RDF	Runge-Kutta methods, high order accuracy, time discretization, Strong stability preserving
27	Robert W. Irving, David F. Manlove, Sandy Scott	Strong Stability in the Hospitals/Residents Problem.	STACS	2003	DBLP DOI BibTeX RDF	stable matching problem, hospitals/ residents problem, lower bound, NP-completeness, polynomial-time algorithm, strong stability
27	Li Yang, J. S. Yuan	A decoupling technique for CMOS strong-coupled structures.	ACM Great Lakes Symposium on VLSI	2003	DBLP DOI BibTeX RDF	fast-timing simulation, gate modeling, strong coupled components, waveform relaxation, decoupling, look-up table, feedback loop, hysteresis
27	Benjamin Grégoire, Xavier Leroy	A compiled implementation of strong reduction.	ICFP	2002	DBLP DOI BibTeX RDF	beta-equivalence, calculus of constructions, normalization by evaluation, strong reduction, virtual machine, abstract machine, Coq
27	Mehmet Hakan Karaata	Self-Stabilizing Strong Fairness under Weak Fairness.	IEEE Trans. Parallel Distributed Syst.	2001	DBLP DOI BibTeX RDF	strong fairness, schedulers, Distributed systems, fairness, self-stabilization
27	Josep Maria Font, Ramon Jansana	Leibniz filters and the strong version of a protoalgebraic logic.	Arch. Math. Log.	2001	DBLP DOI BibTeX RDF	Leibniz filter, Strong version, Leibniz operator, Transfer theorem, Modal logics, Many-valued logics, Algebraizable logic, Quantum logics, Abstract algebraic logic, Protoalgebraic logic
27	Byoungcheon Lee, Heesun Kim, Kwangjo Kim	Secure Mobile Agent Using Strong Non-designated Proxy Signature.	ACISP	2001	DBLP DOI BibTeX RDF	Secure mobile agent, strong non-designated proxy signature, multi-proxy signature
27	Jasmine Burguet, Rémy Malgouyres	Strong Thinning and Polyhedrization of the Surface of a Voxel Object.	DGCI	2000	DBLP DOI BibTeX RDF	strong homotopy, polyhedrization, parallel algorithm, thinning, digital surface
27	Avishai Mandelbaum, William A. Massey, Martin I. Reiman	Strong approximations for Markovian service networks.	Queueing Syst. Theory Appl.	1998	DBLP DOI BibTeX RDF	strong approximations, fluid approximations, queues with abandonment, queues with retrials, nonstationary queues, queueing networks, priority queues, diffusion approximations, Jackson networks, multiserver queues
27	Hanqin Zhang, Guang-Hui Hsu	Strong approximations for priority queues; head-of-the-line-first discipline.	Queueing Syst. Theory Appl.	1992	DBLP DOI BibTeX RDF	strong approximation, Priority queue, Wiener process
27	Rupert Paget	Strong Markov Random Field Model.	IEEE Trans. Pattern Anal. Mach. Intell.	2004	DBLP DOI BibTeX RDF	contingency table analysis, texture, Markov processes, nonparametric statistics, model development
27	Yevgeniy Dodis, Jonathan Katz, Shouhuai Xu, Moti Yung	Strong Key-Insulated Signature Schemes.	Public Key Cryptography	2003	DBLP DOI BibTeX RDF
27	Maria C. F. Ferreira, Delia Kesner, Laurence Puel	Lambda-Calculi with Explicit Substitutions and Composition Which Preserve Beta-Strong Normalization.	ALP	1996	DBLP DOI BibTeX RDF
26	Jin Li 0002, Kwangjo Kim, Fangguo Zhang, Duncan S. Wong	Generic Security-Amplifying Methods of Ordinary Digital Signatures.	ACNS	2008	DBLP DOI BibTeX RDF	Weak Chosen Message Attack, q-SDH Assumption, Signature, Strong-RSA Assumption, Strong Unforgeability
26	S. Karunanithi, Arthur D. Friedman	Some New Types of Logical Completeness.	IEEE Trans. Computers	1978	DBLP DOI BibTeX RDF	weak completeness, Combinational functions, complement completeness, dual completeness, logic primitives, necessary and sufficient conditions for c-completeness, strong c-completeness, weak c-completeness, strong completeness
25	Kaoru Kurosawa, Katja Schmidt-Samoa	New Online/Offline Signature Schemes Without Random Oracles.	Public Key Cryptography	2006	DBLP DOI BibTeX RDF	Online/offline signatures, trapdoor hash, division intractability, strong RSA assumption
25	Mustafa Demirci	Constructions of fuzzy functions based on fuzzy equalities.	Soft Comput.	2003	DBLP DOI BibTeX RDF	Strong fuzzy function, Fuzzy equivalence, Fuzzy partition, Fuzzy equality, Fuzzy function
25	Ghajendran Poovanandran, Wen Chean Teh	Strong (2 ⋅ t) and Strong (3 ⋅ t) Transformations for Strong M-Equivalence.	Int. J. Found. Comput. Sci.	2019	DBLP DOI BibTeX RDF
25	Ghajendran Poovanandran, Wen Chean Teh	Strong 2.t and Strong 3.t Transformations for Strong M-equivalence.	CoRR	2017	DBLP BibTeX RDF
25	Gildas Avoine, Xavier Carpent, Benjamin Martin 0002	Strong Authentication and Strong Integrity (SASI) Is Not That Strong.	RFIDSec	2010	DBLP DOI BibTeX RDF
24	Aleksander Wojdyga	Short Proofs of Strong Normalization.	MFCS	2008	DBLP DOI BibTeX RDF	permutative reductions, lambda calculus, system F, CPS-translation, strong normalization
24	Ping Yu 0006, Stephen R. Tate	An Online/Offline Signature Scheme Based on the Strong RSA Assumption.	AINA Workshops (1)	2007	DBLP DOI BibTeX RDF	Online/Offline Signing, Suitable Hash Function, Digital Signature, Random Oracle, Strong RSA Assumption
24	Stefan Blom, Simona Orzan	A distributed algorithm for strong bisimulation reduction of state spaces.	Int. J. Softw. Tools Technol. Transf.	2005	DBLP DOI BibTeX RDF	Strong bisimulation, Distributed tools, Multirelational coarsest partition problem, Model checking, State space reduction
24	Norihiro Kamide	Quantized Linear Logic, Involutive Quantales and Strong Negation.	Stud Logica	2004	DBLP DOI BibTeX RDF	involutive quantales, quantization principle, linear logic, strong negation
24	Inmaculada Higueras	On Strong Stability Preserving Time Discretization Methods.	J. Sci. Comput.	2004	DBLP DOI BibTeX RDF	monotonicity, Runge-Kutta methods, strong-stability preserving, SSP
24	Wei-Chi Ku, Hao-Chuan Tsai, Shuai-Min Chen	Two simple attacks on Lin-Shen-Hwang's strong-password authentication protocol.	ACM SIGOPS Oper. Syst. Rev.	2003	DBLP DOI BibTeX RDF	strong password, password authentication, replay attack, denial-of-service attack, stolen-verifier attack
24	Steven J. Ruuth, Raymond J. Spiteri	Two Barriers on Strong-Stability-Preserving Time Discretization Methods.	J. Sci. Comput.	2002	DBLP DOI BibTeX RDF	total variation diminishing, Runge-Kutta methods, high-order accuracy, time discretization, strong stability preserving
24	M. G. Charalambous	Strong Nearness Frames Having Enough Cauchy Filters.	Appl. Categorical Struct.	2000	DBLP DOI BibTeX RDF	sums and direct limits of frames, strong nearness frames, Cauchy filters, Cauchy points, uniform frames
24	Roberto Di Cosmo, Stefano Guerrini	Strong Normalization of Proof Nets Modulo Structural Congruences.	RTA	1999	DBLP DOI BibTeX RDF	Linear Logic, Proof Nets, Strong Normalization
24	Wolfgang Bibel, Elmar Eder	Decomposition of tautologies into regular formulas and strong completeness of connection-graph resolution.	J. ACM	1997	DBLP DOI BibTeX RDF	connection-graph resolution, decomposition of unsatisfiable formulas, semantic trees, regular graphs, strong completeness
24	Steve Chien, Alistair Sinclair	Strong and Pareto Price of Anarchy in Congestion Games.	ICALP (1)	2009	DBLP DOI BibTeX RDF
24	Scott C. Douglas, Jan Eriksson, Visa Koivunen	Equivariant Algorithms for Estimating the Strong-Uncorrelating Transform in Complex Independent Component Analysis.	ICA	2006	DBLP DOI BibTeX RDF
24	Yu-Tian Zhang, Qi Luo	Oscillation and Strong Oscillation for Impulsive Neutral Parabolic Differential Systems with Delays.	ICIC (2)	2005	DBLP DOI BibTeX RDF
24	Jirí Srba	Strong bisimilarity of simple process algebras: complexity lower bounds.	Acta Informatica	2003	DBLP DOI BibTeX RDF
24	Ronen Shaltiel	Towards Proving Strong Direct Product Theorems.	CCC	2001	DBLP DOI BibTeX RDF
24	Peter Triantafillou, Carl Neilson	Achieving Strong Consistency in a Distributed File System.	IEEE Trans. Software Eng.	1997	DBLP DOI BibTeX RDF	consistency semantics, concurrency, caching, replication, Availability, recovery, distributed file systems
24	Phan Minh Dung	On the strong completion of logic programs.	ALP	1990	DBLP DOI BibTeX RDF	predicate completion, two-valued logic, Logic programming, negation, three-valued logic, stable models, circumscription, well-founded models
23	Denis Caromel	Keynote 1 - Strong Programming Model for Strong Weak Mobility: The ProActive Parallel Suite.	MDM	2008	DBLP DOI BibTeX RDF