Search results for "adjacent pairs"

Found 11 publication records. Showing 11 according to the selection in the facets

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
2	Lawrence C. Paulson	Mechanized proofs for a recursive authentication protocol.	CSFW	1997	DBLP DOI BibTeX RDF	mechanized proofs, recursive authentication protocol, inductive approach, message nesting, basic security theorem, adjacent pairs, honest agents, protocol complexity, agents, protocols, specification, symmetry, mutual authentication, Isabelle/HOL, session keys
1	Shaohe Lv, Xiaodong Wang, Xingming Zhou, Jianping Yin	Towards a New Methodology for Estimating Available Bandwidth on Network Paths.	APPT	2007	DBLP DOI BibTeX RDF
1	Joaquín Adiego, Pablo de la Fuente	On the Use of Words as Source Alphabet Symbols in PPM.	DCC	2006	DBLP DOI BibTeX RDF
1	André M. M. Neves, Flávia A. Barros, C. Hodges	iAIML: a Mechanism to Treat Intentionality in AIML Chatterbots.	ICTAI	2006	DBLP DOI BibTeX RDF
1	Krishnan Sundaresan, Nihar R. Mahapatra	Accurate Energy Dissipation and Thermal Modeling for Nanometer-Scale Buses.	HPCA	2005	DBLP DOI BibTeX RDF
1	François Baccelli, Augustin Chaintreau, Zhen Liu, Anton Riabov	The one-to-many TCP overlay: a scalable and reliable multicast architecture.	INFOCOM	2005	DBLP DOI BibTeX RDF
1	Alantha Newman, Matthias Ruhl	Combinatorial Problems on Strings with Applications to Protein Folding.	LATIN	2004	DBLP DOI BibTeX RDF
1	Jinson Koppanalil, Prakash Ramrakhyani, Sameer Desai, Anu Vaidyanathan, Eric Rotenberg	A case for dynamic pipeline scaling.	CASES	2002	DBLP DOI BibTeX RDF	configurable pipeline, fetch gating, power and energy management, shallow and deep pipelines, variable-depth pipeline, dynamic voltage scaling, clock gating
1	Alantha Newman	A new algorithm for protein folding in the HP model.	SODA	2002	DBLP DOI BibTeX RDF
1	Bengt Jonsson	A Hierarchy of Compositional Models of I/O-Automata (Extended Abstract).	MFCS	1990	DBLP DOI BibTeX RDF
1	Rudolf Ahlswede	Simple hypergraphs with maximal number of adjacent pairs of edges.	J. Comb. Theory, Ser. B	1980	DBLP DOI BibTeX RDF

Displaying result #1 - #11 of 11 (100 per page; Change: )