Search results for "AKA"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
13	Vishal Verma, Jack Snoeyink	Reducing the memory required to find a geodesic shortest path on a large mesh.	GIS	2009	DBLP DOI BibTeX RDF
13	Alfred Kobsa, Rahim Sonawalla, Gene Tsudik, Ersin Uzun, Yang Wang 0005	Serial hook-ups: a comparative usability study of secure device pairing methods.	SOUPS	2009	DBLP DOI BibTeX RDF
13	Sumit Kumar Jha 0001, Edmund M. Clarke, Christopher James Langmead, Axel Legay, André Platzer, Paolo Zuliani	A Bayesian Approach to Model Checking Biological Systems.	CMSB	2009	DBLP DOI BibTeX RDF
13	Baudoin Collard, François-Xavier Standaert	A Statistical Saturation Attack against the Block Cipher PRESENT.	CT-RSA	2009	DBLP DOI BibTeX RDF
13	Dennis Hofheinz, Eike Kiltz	The Group of Signed Quadratic Residues and Applications.	CRYPTO	2009	DBLP DOI BibTeX RDF	Hybrid ElGamal/DHIES, Public-key encryption, chosen-ciphertext security
13	Saraju P. Mohanty	Unified Challenges in Nano-CMOS High-Level Synthesis.	VLSI Design	2009	DBLP DOI BibTeX RDF
13	Caimu Tang, Dapeng Oliver Wu	Mobile Privacy in Wireless Networks-Revisited.	IEEE Trans. Wirel. Commun.	2008	DBLP DOI BibTeX RDF
13	Supriya Krishnamurthy, Sameh El-Ansary, Erik Aurell, Seif Haridi	An analytical study of a structured overlay in the presence of dynamic membership.	IEEE/ACM Trans. Netw.	2008	DBLP DOI BibTeX RDF	performance analysis, peer-to-peer networks, stochastic systems
13	Jordi Cortadella, Michael Kishinevsky, Dmitry Bufistov, Josep Carmona 0001, Jorge Júlvez	Elasticity and Petri Nets.	Trans. Petri Nets Other Model. Concurr.	2008	DBLP DOI BibTeX RDF
13	Tino Teige, Martin Fränzle	Stochastic Satisfiability Modulo Theories for Non-linear Arithmetic.	CPAIOR	2008	DBLP DOI BibTeX RDF
13	Venkatesan Guruswami, Atri Rudra	Concatenated codes can achieve list-decoding capacity.	SODA	2008	DBLP BibTeX RDF
13	S. D. Madhu Kumar, Umesh Bellur	Availability models for underlay aware overlay networks.	DEBS	2008	DBLP DOI BibTeX RDF	manifest and latent availability, reduced underlay, underlay, availability, overlay network, overlays, event based system
13	Shengke Zeng, Mingxing He, Weidong Luo	New Efficient and Authenticated Key Agreement Protocol in Dynamic Peer Group.	ARES	2008	DBLP DOI BibTeX RDF	Dynamic Peer Group, Provable Security, Key Agreement, Random Oracle Model, ID-Based Signature
13	Ferdinando Cicalese, Eduardo Sany Laber	Function Evaluation Via Linear Programming in the Priced Information Model.	ICALP (1)	2008	DBLP DOI BibTeX RDF
13	Vincent Conitzer	Anonymity-Proof Voting Rules.	WINE	2008	DBLP DOI BibTeX RDF
13	Georgiana Ifrim, Gökhan H. Bakir, Gerhard Weikum	Fast logistic regression for text categorization with variable-length n-grams.	KDD	2008	DBLP DOI BibTeX RDF	fast logistic regression, n-gram learning, variable-length n-grams, text categorization
13	Mutsuhiro Terauchi, Yoshiyuki Tanaka, Toshio Tsuji	Real-Time Hand and Eye Coordination for Flexible Impedance Control of Robot Manipulator.	RobVis	2008	DBLP DOI BibTeX RDF
13	Joaquín Torres Márquez, Antonio Izquierdo, Mildrey Carbonell, José María Sierra	Network Smart Card Performing U(SIM) Functionalities in AAA Protocol Architectures.	WISTP	2008	DBLP DOI BibTeX RDF	Network smart cards, authentication and authorization architectures, WLAN/3G interworking, secure protocols
13	Luc De Raedt, Kristian Kersting	Probabilistic Inductive Logic Programming.	Probabilistic Inductive Logic Programming	2008	DBLP DOI BibTeX RDF
13	T. Andrew Yang, Dan J. Kim 0001, Vishal Dhalwani, Tri K. Vu	The 8C Framework as a Reference Model for Collaborative Value Webs in the Context of Web 2.0.	HICSS	2008	DBLP DOI BibTeX RDF
13	Stephan Schosser, Klemens Böhm, Bodo Vogt	Competition vs. Fairness - Analyzing Structured Networks by Means of User Experiments.	Web Intelligence	2008	DBLP DOI BibTeX RDF
13	Shashank Prasad	Fast Congestion Aware Routing for Pin Assignment.	VLSI Design	2008	DBLP DOI BibTeX RDF
13	Therese Berg, Bengt Jonsson 0001, Harald Raffelt	Regular Inference for State Machines Using Domains with Equality Tests.	FASE	2008	DBLP DOI BibTeX RDF
13	David L. Bean	How Advances in Search Combine Databases, Sentence Diagramming, and "Just the Facts".	IT Prof.	2007	DBLP DOI BibTeX RDF
13	Carlo Combi, Angelo Montanari, Giuseppe Pozzi	The t4sql temporal query language.	CIKM	2007	DBLP DOI BibTeX RDF	sql, temporal query language
13	John McLean	Formal methods in security engineering: where we've been, where we are, where we need to go.	FMSE	2007	DBLP DOI BibTeX RDF	formal methods, computer security
13	Hemal Khatri, Jianchun Fan, Yi Chen 0001, Subbarao Kambhampati	QPIAD: Query Processing over Incomplete Autonomous Databases.	ICDE	2007	DBLP DOI BibTeX RDF
13	P. Yeung, A. Torres, P. Batra	Interactive presentation: Novel test infrastructure and methodology used for accelerated bring-up and in-system characterization of the multi-gigahertz interfaces on the cell processor.	DATE	2007	DBLP DOI BibTeX RDF
13	Alexandr Andoni, Robert Krauthgamer	The Computational Hardness of Estimating Edit Distance [Extended Abstract].	FOCS	2007	DBLP DOI BibTeX RDF
13	Muhammad Sher, Thomas Magedanz	3G-WLAN Convergence: Vulnerability, Attacks Possibilities and Security Model.	ARES	2007	DBLP DOI BibTeX RDF
13	Christopher Lueg, Samuel P. Martin	Users dealing with spam and spam filters: some observations and recommendations.	CHINZ	2007	DBLP DOI BibTeX RDF	information retrieval, spam, electronic mail, information search, informative interfaces
13	Björn Regnell, Martin Höst, Richard Berntsson-Svensson	A Quality Performance Model for Cost-Benefit Analysis of Non-functional Requirements Applied to the Mobile Handset Domain.	REFSQ	2007	DBLP DOI BibTeX RDF
13	Mathias Boc, Anne Fladenmuller, Marcelo Dias de Amorim	Otiy: locators tracking nodes.	CoNEXT	2007	DBLP DOI BibTeX RDF
13	Giovanni Maria Sacco	Research Results in Dynamic Taxonomy and Faceted Search Systems.	DEXA Workshops	2007	DBLP DOI BibTeX RDF
13	Georgios Amanatidis, Alexandra Boldyreva, Adam O'Neill	Provably-Secure Schemes for Basic Query Support in Outsourced Databases. (PDF / PS)	DBSec	2007	DBLP DOI BibTeX RDF
13	Brian P. Doherty	A real-time benchmark for Java.	JTRES	2007	DBLP DOI BibTeX RDF	SPECjbb2005, Java, real-time, benchmarks, RTSJ
13	Tarek Hamrouni, Petko Valtchev, Sadok Ben Yahia, Engelbert Mephu Nguifo	About the Lossless Reduction of the Minimal Generator Family of a Context.	ICFCA	2007	DBLP DOI BibTeX RDF
13	Craig Macdonald, Iadh Ounis	Using Relevance Feedback in Expert Search.	ECIR	2007	DBLP DOI BibTeX RDF
13	Venkatesan Guruswami, Atri Rudra	Better Binary List-Decodable Codes Via Multilevel Concatenation.	APPROX-RANDOM	2007	DBLP DOI BibTeX RDF
13	Stijn Verwulgen	An Isometric Representation of the Dual of C(X, R).	Appl. Categorical Struct.	2006	DBLP DOI BibTeX RDF	Riesz representation theorem, locally convex approach space, Mackey structure, duality
13	José A. Blakeley, David Campbell, S. Muralidhar, Anil Nori	The ADO.NET entity framework: making the conceptual level real.	SIGMOD Rec.	2006	DBLP DOI BibTeX RDF
13	Dominique Poulalhon, Gilles Schaeffer	Optimal Coding and Sampling of Triangulations.	Algorithmica	2006	DBLP DOI BibTeX RDF
13	Firas Swidan, Michal Ziv-Ukelson, Ron Y. Pinter	On the Repeat-Annotated Phylogenetic Tree Reconstruction Problem.	CPM	2006	DBLP DOI BibTeX RDF
13	Pascal Urien, Mesmin Dandjinou	Designing Smartcards for Emerging Wireless Networks.	CARDIS	2006	DBLP DOI BibTeX RDF
13	Eugenio G. Omodeo, Domenico Cantone, Alberto Policriti, Jacob T. Schwartz	A Computerized Referee.	Reasoning, Action and Interaction in AI Theories and Systems	2006	DBLP DOI BibTeX RDF
13	Marius Marin, Leon Moonen, Arie van Deursen	FINT: Tool Support for Aspect Mining.	WCRE	2006	DBLP DOI BibTeX RDF
13	José A. Blakeley, S. Muralidhar, Anil Nori	The ADO.NET Entity Framework: Making the Conceptual Level Real.	ER	2006	DBLP DOI BibTeX RDF
13	Giovanni M. Bianco, Simonetta Tinazzi	One step further the ACM K-12 final report: a proposal for level 1: computer organization for K-8.	ITiCSE	2006	DBLP DOI BibTeX RDF	fantasy, self-identification, children, hardware, analogy, play, PC
13	Stuart Reeves, Tony P. Pridmore, Andy Crabtree, Jonathan Green, Steve Benford, Claire O'Malley	The spatial character of sensor technology.	Conference on Designing Interactive Systems	2006	DBLP DOI BibTeX RDF	seams, computing, ubiquitou, space, sensor technology
13	Hui Gao, Vladimir Cherkassky	Real-Time Pricing of Mutual Funds.	IJCNN	2006	DBLP DOI BibTeX RDF
13	Andrea Esuli, Tiziano Fagni, Fabrizio Sebastiani 0001	MP-Boost: A Multiple-Pivot Boosting Algorithm and Its Application to Text Categorization.	SPIRE	2006	DBLP DOI BibTeX RDF
13	Gérard Boudol	Shared-Variable Concurrency: A Proposal.	FSTTCS	2006	DBLP DOI BibTeX RDF
13	Stefan J. Johansson	On using multi-agent systems in playing board games.	AAMAS	2006	DBLP DOI BibTeX RDF	diplomacy, multiagent system architecture, risk, board games
13	Vincent Conitzer, Tuomas Sandholm	A technique for reducing normal-form games to compute a Nash equilibrium.	AAMAS	2006	DBLP DOI BibTeX RDF	computing nash equilibria, game theory, preprocessing
13	Deepavali Bhagwat, Laura Chiticariu, Wang Chiew Tan, Gaurav Vijayvargiya	An annotation management system for relational databases.	VLDB J.	2005	DBLP DOI BibTeX RDF	Annotation propagation, Metadata, Data provenance, Lineage
13	Henning Christiansen 0001, Davide Martinenghi	Incremental Integrity Checking: Limitations and Possibilities.	LPAR	2005	DBLP DOI BibTeX RDF
13	Pavlos Kokosis, Vlassis Krikos, Sofia Stamou, Dimitris Christodoulakis	HiBO: a system for automatically organizing bookmarks.	JCDL	2005	DBLP DOI BibTeX RDF	bookmarks hierarchical organization, categorization, ordering
13	Laura Chiticariu, Wang Chiew Tan, Gaurav Vijayvargiya	DBNotes: a post-it system for relational databases based on provenance.	SIGMOD Conference	2005	DBLP DOI BibTeX RDF
13	Antonio Fernández 0001, Chryssis Georgiou, Luis López, Agustín Santos	Reliably Executing Tasks in the Presence of Malicious Processors.	DISC	2005	DBLP DOI BibTeX RDF
13	Jean Monnerat, Serge Vaudenay	Chaum's Designated Confirmer Signature Revisited.	ISC	2005	DBLP DOI BibTeX RDF
13	Grégoire Danoy, Pascal Bouvry, Olivier Boissier	Dafo, a Multi-agent Framework for Decomposable Functions Optimization.	KES (4)	2005	DBLP DOI BibTeX RDF
13	Godfried T. Toussaint	Mathematical Features for Recognizing Preference in Sub-saharan African Traditional Rhythm Timelines.	ICAPR (1)	2005	DBLP DOI BibTeX RDF
13	Jiejun Kong, Dapeng Wu 0001, Xiaoyan Hong, Mario Gerla	Mobile traffic sensor network versus motion-MIX: tracing and protecting mobile wireless nodes.	SASN	2005	DBLP DOI BibTeX RDF	ANODR, identity-free routing, motion-MIX, mobility, anonymity
13	Alberto Lavelli, Fabrizio Sebastiani 0001, Roberto Zanoli	Distributional term representations: an experimental comparison.	CIKM	2004	DBLP DOI BibTeX RDF	term classification, term representation, term clustering
13	Imad Rahal, William Perrizo	An optimized approach for KNN text categorization using P-trees.	SAC	2004	DBLP DOI BibTeX RDF	text categorization, k-Nearest Neighbors, intervalization, KNN, P-trees
13	Sergei Vassilvitskii, Mihalis Yannakakis	Efficiently Computing Succinct Trade-Off Curves.	ICALP	2004	DBLP DOI BibTeX RDF
13	Ahmed Charles, Ronaldo Menezes, Robert Tolksdorf	On the implementation of SwarmLinda.	ACM Southeast Regional Conference	2004	DBLP DOI BibTeX RDF
13	Stefan Köpsell, Ulf Hillig	How to achieve blocking resistance for existing systems enabling anonymous web surfing.	WPES	2004	DBLP DOI BibTeX RDF	AN.ON, JAP, blocking resistance, Mix
13	Jie Gao 0001, Leonidas J. Guibas, An Thanh Nguyen	Deformable spanners and applications.	SCG	2004	DBLP DOI BibTeX RDF	geometric k-center, proximity maintenance, spanner graphs, well-separated pair decomposition, collision detection, kinetic data structures, approximate nearest neighbor
13	David Mould, Michael C. Horsch	An Hierarchical Terrain Representation for Approximately Shortest Paths.	PRICAI	2004	DBLP DOI BibTeX RDF
13	Mads Torgersen	The Expression Problem Revisited.	ECOOP	2004	DBLP DOI BibTeX RDF
13	Peter Clote	Performance Comparison of Generalized PSSM in Signal Peptide Cleavage Site.	BIBE	2003	DBLP DOI BibTeX RDF
13	Dominique Poulalhon, Gilles Schaeffer	Optimal Coding and Sampling of Triangulations.	ICALP	2003	DBLP DOI BibTeX RDF
13	Eugenio Moggi, Sonia Fagorzi	A Monadic Multi-stage Metalanguage.	FoSSaCS	2003	DBLP DOI BibTeX RDF
13	Jan J. M. M. Rutten	An Application of Stream Calculus to Signal Flow Graphs.	FMCO	2003	DBLP DOI BibTeX RDF
13	Tuomas Sandholm	Automated Mechanism Design: A New Application Area for Search Algorithms.	CP	2003	DBLP DOI BibTeX RDF
13	Leonid Gurvits	Classical deterministic complexity of Edmonds' Problem and quantum entanglement.	STOC	2003	DBLP DOI BibTeX RDF
13	Karel Oliva, Pavel Kveton, Roman Ondruska	The Computational Complexity of Rule-Based Part-of-Speech Tagging.	TSD	2003	DBLP DOI BibTeX RDF
13	Rajeev Raman, Venkatesh Raman 0001, S. Srinivasa Rao 0001	Succinct indexable dictionaries with applications to encoding k-ary trees and multisets.	SODA	2002	DBLP BibTeX RDF
13	Chris Lattner, Vikram S. Adve	Automatic pool allocation for disjoint data structures.	MSP/ISMM	2002	DBLP DOI BibTeX RDF
13	Aggelos Kiayias, Moti Yung	Cryptographic Hardness Based on the Decoding of Reed-Solomon Codes.	ICALP	2002	DBLP DOI BibTeX RDF
13	Georgios Kambourakis, Angelos N. Rouskas, Stefanos Gritzalis	Using SSL/TLS in authentication and key agreement procedures of future mobile networks.	MWCN	2002	DBLP DOI BibTeX RDF
13	Zoran Duric, Harry Wechsler, James Yven	Adaptive and Smart Interface for VCR Remote Control Using Hand Gestures.	ICPR (3)	2002	DBLP DOI BibTeX RDF
13	Aggelos Kiayias, Moti Yung	Polynomial Reconstruction Based Cryptography.	Selected Areas in Cryptography	2001	DBLP DOI BibTeX RDF
13	Michael Steiner 0001, Gene Tsudik, Michael Waidner	Key Agreement in Dynamic Peer Groups.	IEEE Trans. Parallel Distributed Syst.	2000	DBLP DOI BibTeX RDF	decision Diffie-Hellman problem, dynamic peer groups, key establishment/agreement protocols, cryptography, Collaborative work, multiparty computation, communication system security
13	Arvind Gopalan, Sajid Saleem, Matthias Martin, Daniel Andresen	Baglets: Adding Hierarchical Scheduling to Aglets.	HPDC	1999	DBLP DOI BibTeX RDF
13	Dan Walsh	Operations support systems: caught in the winds of change.	NOMS	1998	DBLP DOI BibTeX RDF
13	Gerti Kappel, Birgit Schröder	Distributed Light-Weight Persistence in Java - A Tour on RMI- and CORBA-Based Solutions.	DEXA	1998	DBLP DOI BibTeX RDF
13	Marcin Benke	Predicative Polymorphic Subtyping.	MFCS	1998	DBLP DOI BibTeX RDF
13	Mark Klein	Capturing Geometry Rationale for Collaborative Design.	WETICE	1997	DBLP DOI BibTeX RDF	features collaborative geometric design rationale capture
13	Dewayne E. Perry	Practical Issues in Process Reuse.	ISPW	1996	DBLP DOI BibTeX RDF	reusable software process element connection, reusable software process component connection, software process reuse, automated execution support, simulation, software reusability, process modeling language, automated analysis, process technology, process-centered environments, formal representation
13	John Hatcliff	Mechanically Verifying the Correctness of an Offline Partial Evaluator	PLILP	1995	DBLP DOI BibTeX RDF
13	Hou-Mei Chang	Heuristic Exhaustive Search in Automatic Knowledge Acquisition (Abstract).	ACM Conference on Computer Science	1990	DBLP DOI BibTeX RDF
13	Gustavus J. Simmons	Geometric Shared Secret and/or Shared Control Schemes.	CRYPTO	1990	DBLP DOI BibTeX RDF