Most cited source documents published in 2005 [CiteSeer.Continuity; Steve Lawrence, Kurt Bollacker, Lee Giles]

Most cited source documents published in 2005 in the CiteSeer.Continuity database as of September 2006

This list only includes documents in the CiteSeer.Continuity database. Citations where one or more authors of the citing and cited articles match are not included. The data is automatically generated and may contain errors. The list is generated in batch mode and citation counts may differ from those currently in the CiteSeer.Continuity database, because the database is continuously updated.

CiteSeer.Continuity homepage All years 1990 1991 1992 1993 1994 1995 1996 1997 1998 1999 2000 2001 2002 2003 2004 2005 2006

1. Universally Composable Security: A New Paradigm for Cryptographic.. - Canetti (2005) (Correct)
We propose a new paradigm for defining security of cryptographic protocols, called universally composable...

2. Energy-Efficient Target Coverage in Wireless Sensor Networks - Cardei, Thai, Li, Wu (2005) (Correct)
A critical aspect of applications with wireless sensor networks is network lifetime. Power-constrained...

3. Session-Key Generation Using Human Passwords Only - Goldreich, Lindell (2005) (Correct)
We present session-key generation protocols in a model where the legitimate parties share only a...

4. A Pairwise Key Pre-Distribution Scheme for Wireless Sensor Networks - Du, Deng, Han, Varshney, Katz.. (2005) (Correct)
this paper, we provide a framework in which to study the security of key pre-distribution schemes, propose a...

5. A Computational Model of the Semantics of Tense and Aspect - Passonneau (2005) (Correct)
This paper proposes a solution to the computational task of extracting temporal information from simple...

6. Predicting Human Interruptibility with Sensors - Fogarty, Hudson, Atkeson, Avrahami.. (2005) (Correct)
n Interfaces ### ############## ######## ### ##### #Models and Principles### ###########...

7. A Locality-Improving Dynamic Memory Allocator - Yi Feng And (2005) (Correct)
Because most application data is dynamically allocated, the memory manager plays a crucial role in...

8. Pairing-Friendly Elliptic Curves of Prime Order - Barreto, Naehrig (2005) (Correct)
Previously known techniques to construct pairing-friendly curves of prime or near-prime order are restricted...

9. Limited Attention and Discourse Structure - Walker (2005) (Correct)
this paper. Thanks also to the two anonymous reviewers

10. Countering Network Worms through Automatic Patch Generation - Sidiroglou, Keromytis (2005) (Correct)
We propose the first end-point architecture for automatically repairing software flaws such as buffer...

11. Practical Refinement-Type Checking - Rowan Davies Cmu-Cs- (2005) (Correct)
Software development is a complex and error prone task. Programming languages with strong static type systems...

12. Web Spam Taxonomy - Zoltan Gyongyi Zoltan (2005) (Correct)
Web spamming refers to actions intended to mislead search engines into ranking some pages higher than they...

13. Failure Analysis of an E-commerce Protocol using Model Checking - Indrakshi Ray Indrajit (2005) (Correct)
The increasing popularity of electronic commerce (e-commerce) has necessitated the development of e-commerce...

14. Identifying Link Farm Spam Pages - Wu, Davison (2005) (Correct)
With the increasing importance of search in guiding today's web traffic, more and more effort has been spent...

15. Defending against Distributed Denial-of-Service Attacks with Max-Min.. - Yau, Lui, Liang, Yam (2005) (Correct)
Our work targets a network architecture and accompanying algorithms for countering distributed...

16. Universally Composable Symbolic Analysis of Cryptographic Protocols.. - Canetti, Herzog (2005) (Correct)
Symbolic analysis of cryptographic protocols is dramatically simpler than full-fledged cryptographic...

17. Opportunistic Routing in Multi-Hop Wireless Networks - Biswas, Morris (2005) (Correct)
This paper describes Extremely Opportunistic Routing (ExOR), a new unicast routing technique for multi-hop...

18. Multimodal Video Indexing: A Review of the State-of-the-art - Snoek, Worring (2005) (Correct)
Efficient and effective handling of video documents depends on the availability of indexes. Manual indexing...

19. A Fast Pseudo-Boolean Constraint Solver - Chai, Kuehlmann (2005) (Correct)
Linear pseudo-Boolean (LPB) constraints denote inequalities between arithmetic sums of weighted Boolean...

20. Hierarchical Identity Based Encryption with Constant Size Ciphertext - Boneh, Boyen, Goh (2005) (Correct)
We present a Hierarchical Identity Based Encryption (HIBE) system where the ciphertext consists of just...

21. Progressive Distributed Top-k Retrieval in Peer-to-Peer Networks - Balke, Nejdl, Siberski, Thaden (2005) (Correct)
Query processing in traditional information management systems has moved from an exact match model to more...

22. An Oblivious Transfer Protocol with Log-Squared Communication - Lipmaa (2005) (Correct)
We propose a -computationally-private information retrieval protocol (CPIR), based on the Damgard-Jurik...

23. Vigilante: End-to-End Containment of Internet Worms - Costa, Crowcroft, Castro, Rowstron.. (2005) (Correct)
Worm containment must be automatic because worms can spread too fast for humans to respond. Recent work has...

24. Adaptive Routing for Intermittently Connected Mobile Ad Hoc Networks - Stephen (2005) (Correct)
The vast majority of mobile ad hoc networking research makes a very large assumption: that communication can...

25. Mechanized Metatheory for the Masses: The PoplMark Challenge - Aydemir, Bohannon, Fairbairn.. (2005) (Correct)
How close are we to a world where every paper on programming languages is accompanied by an electronic...

26. Building a Reactive Immune System for Software Services - Sidiroglou, Locasto, Boyd, Keromytis (2005) (Correct)
We propose a reactive approach for handling a wide variety of software failures, ranging from remotely...

27. Joeq: A virtual machine and compiler infrastructure - Whaley (2005) (Correct)
Joeq is a virtual machine and compiler infrastructure designed to facilitate research in virtual machine...

28. Computationally Sound Implementations of Equational Theories against.. - Baudet, Cortier, Kremer (2005) (Correct)
In this paper we study the link between formal and cryptographic models for security protocols in the...

29. Secure and Practical Identity-Based Encryption - David Naccache Groupe (2005) (Correct)
In this paper, we present a variant of Waters' Identity-Based Encryption scheme with a much smaller...

30. Traffic Matrix Reloaded: Impact of Routing Changes - Renata Teixeira Nick (2005) (Correct)
this paper, we investigate the causes of the traffic matrix variations. Identifying the reasons for these...

31. A Local System for Intuitionistic Logic: Preliminary Results - Tiu (2005) (Correct)
This paper presents a system for intuitionistic logic in which all the rules are local, in the sense that,...

32. abc: An extensible AspectJ compiler - Avgustinov, Christensen, Hendren.. (2005) (Correct)
Research in the design of aspect-oriented programming languages requires a workbench that facilitates easy...

33. The Bittorrent P2P File-Sharing System: Measurements and Analysis - Pouwelse, Garbacki, Epema, Sips (2005) (Correct)
Of the many P2P file-sharing prototypes in existence, BitTorrent is one of the few that has managed to...

34. Boneh-Franklin Identity Based Encryption Revisited - Galindo (2005) (Correct)
The first practical identity based encryption (IBE) scheme was proposed by Boneh and Franklin in [BF03]. In...

35. Generic Constructions of Identity-Based and Certificateless KEMs - Bentahar, Farshim, Malone-Lee, Smart (2005) (Correct)
We extend the concept of key encapsulation mechanisms to the primitives of ID-based and certificateless...

36. Perfect Non-Interactive Zero Knowledge for NP - Jens Groth Rafail (2005) (Correct)
Non-interactive zero-knowledge (NIZK) systems are fundamental cryptographic primitives used in many...

37. abc : An extensible AspectJ compiler - Pavel Avgustinov Aske (2005) (Correct)
Research in the design of aspect-oriented programming languages requires a workbench that facilitates easy...

38. FeedTree: Sharing Web micronews with peer-to-peer event notification - Sandler, Mislove, Post, Druschel (2005) (Correct)
Syndication of micronews, frequently-updated content on the Web, is currently accomplished with RSS feeds and...

39. Basic Theory in Construction of Boolean Functions with Maximum.. - Dalai, Maitra, Sarkar (2005) (Correct)
So far there is no systematic attempt to construct Boolean functions with maximum annihilator immunity. In...

40. Compiler Optimization-Space Exploration - Triantafyllis, Vachharajani, August (2005) (Correct)
To meet the performance demands of modern architectures, compilers incorporate an everincreasing number of...

41. Unconditionally Secure Constant Round Multi-Party Computation for.. - Kiltz (2005) (Correct)
In this paper we are interested in efficient and secure constant round multi-party protocols which provide...

42. SpamRank - Fully Automatic Link Spam Detection - Benczur, Csalogany, Sarlos, Uher (2005) (Correct)
Spammers intend to increase the PageRank of certain spam pages by creating a large number of links pointing...

43. Update on SHA-1 - Rijmen, Oswald (2005) (Correct)
We report on the experiments we performed in order to assess the security of SHA-1 against the attack by...

44. Naming Proofs in Classical Propositional Logic - Lamarche, Stra�burger (2005) (Correct)
We present a theory of proof denotations in classical propositional logic. The abstract definition is in...

45. Semiparametric Latent Factor Models - Yee Whye Teh (2005) (Correct)
We propose a semiparametric model for regression problems involving multiple response variables.

46. A Taxonomy of Rational Attacks - Seth James Nielson (2005) (Correct)
For peer-to-peer services to be effective, participating nodes must cooperate, but in most scenarios a node...

47. Low Distortion Embeddings for Edit Distance - Ostrovsky, Rabani (2005) (Correct)
We show that endowed with edit distance embeds into #1 with distortion 2 . We further show e#cient...

48. A Scalable and Provably Secure Hash-Based RFID Protocol - Avoine, Oechslin (2005) (Correct)
The biggest challenge for RFID technology is to provide benefits without threatening the privacy of...

49. Automatic Diagnosis and Response to Memory Corruption Vulnerabilities - Jun Xu Peng (2005) (Correct)
Cyber attacks against networked computers have become relentless in recent years. The most common attack...

50. Accumulators from Bilinear Pairings and Applications to ID-based Ring .. - Nguyen (2005) (Correct)
We propose a dynamic accumulator scheme from bilinear pairings, whose security is based on the Strong...

51. FLIPS: Hybrid Adaptive Intrusion Prevention - Michael Locasto Ke (2005) (Correct)
Intrusion detection systems are fundamentally passive and fail--open. Because their primary task is...

52. Modeling Insider Attacks on Group Key-Exchange Protocols - Katz, Shin (2005) (Correct)
Protocols for authenticated key exchange (AKE) allow a group of parties within an insecure network to...

53. Geometric Theories and Modal Logic in the Calculus of Structures - Hein (2005) (Correct)
Much of the success of modal logic can be attributed to the adoption of relational semantics. Consequently,...

54. Components for high performance Grid programming in Grid.it - Aldinucci, Campa, Coppola.. (2005) (Correct)
ASSIST: a novel component-based programming environment for the Grid

55. Keyword Search and Oblivious Pseudorandom Functions - Freedman, Ishai, Pinkas, Reingold (2005) (Correct)
We study the problem of privacy-preserving access to a database.

56. Scheduling Queries to Improve the Freshness of A Website - Liu, Ng, Lim (2005) (Correct)
The WWW is a new advertising media in recent years where corporations utilize it to increase their exposure...

57. Compact Group Signatures without Random Oracles - Boyen, Waters (2005) (Correct)
We present the first e#cient group signature scheme that is provably secure without random oracles. We...

58. On the Algebraic Immunity of Symmetric Boolean Functions - Braeken, Preneel (2005) (Correct)
In this paper, we analyse the algebraic immunity of symmetric Boolean functions.

59. Components for High-Performance Grid Programming in Grid.it - Aldinucci, Campa, Coppola.. (2005) (Correct)
This paper presents the main ideas of the high-performance component-based Grid programming environment of...

60. On The Interaction Of Multiple Overlay Routing - Jiang, Chiu, Lui (2005) (Correct)
In the past few years, overlay networks have received much attention but there has been little study on the...

61. Characterizing and Comparing Prevailing Simulation Techniques - Joshua Yi Sreekumar (2005) (Correct)
Due to the simulation time of the reference input set, architects often use alternative simulation...

62. Security Proof of Sakai-Kasahara's Identity-Based Encryption Scheme - Chen, Cheng (2005) (Correct)
Identity-based encryption (IBE) is a special asymmetric encryption method where a public encryption key can...

63. MV Routing and Capacity Building in Disruption Tolerant Networks - Burns, Brock, Levine (2005) (Correct)
Disruption Tolerant Networks (DTNs) require routing algorithms that are different from those designed for ad...

64. Peer-to-Peer Communication Across Network Address Translators - Bryan Ford Massachusetts (2005) (Correct)
Network Address Translation (NAT) causes well-known difficulties for peer-to-peer (P2P) communication, since...

65. Py (Roo, ...): A Fast and Secure Stream Cipher using Rolling Arrays - Biham, Seberry (2005) (Correct)
Py (pronounced Roo, a shorthand for Kangaroo) is a new stream cipher designed especially for the Ecrypt...

66. Splitting an Operator: Algebraic modularity results for logics with.. - Vennekens, Gilis, Denecker (2005) (Correct)
this paper, we investigate a formal equivalent of this method. More speci cally, we address the question of...

67. From Graphs to Manifolds -- Weak and Strong Pointwise Consistency of.. - Jean-Yves Audibert And (2005) (Correct)
In the machine learning community it is generally believed that graph Laplacians corresponding to a finite...

68. Searchable Encryption Revisited: Consistency Properties, Relation to.. - Abdalla, Bellare, Catalano, Kiltz.. (2005) (Correct)
We identify and fill some gaps with regard to consistency (the extent to which false positives are produced)...

69. Volume Rendering for High Dynamic Range Displays - Abhijeet Ghosh Matthew (2005) (Correct)
Dynamic range restrictions of conventional displays limit the amount of detail that can be represented in...

70. Tight Bound between Nonlinearity and Algebraic Immunity - Lobanov (2005) (Correct)
We obtain tight bound between nonlinearity and algebraic immunity of a Boolean function and construct...

71. The Integration of Syntactic Parsing and Semantic Role Labeling - Yi, al. (2005) (Correct)
This paper describes a system for the CoNLL-2005 Shared Task on Semantic Role Labeling. We trained two...

72. A Survey on State of the Art to Facilitate Modelling of.. - Lippe, Greiner, Barros (2005) (Correct)
Interoperability is one of the current key challenges addressed by research and industry. Tools and...

73. Private Searching On Streaming Data - Rafail Ostrovsky William (2005) (Correct)
In this paper, we consider the problem of private searching on streaming data, where we can efficiently...

74. Network Planning in Wireless Ad hoc Networks: A Cross-Layer Approach - Wu, Chou, Zhang, Jain, Zhu, Kung (2005) (Correct)
allocating information carrier supplies such that certain end-to-end communication demands, as a collection...

75. Location Privacy In Ubiquitous Computing - Beresford (2005) (Correct)
The field of ubiquitous computing envisages an era when the average consumer owns hundreds or thousands of...

76. Gr�bner and diagonal bases in Orlik-Solomon type algebras - Cordovil, Forge (2005) (Correct)
The Orlik-Solomon algebra of a matroid is the quotient of the exterior algebra on the points by the ideal...

77. Metric-Based Scan Matching Algorithms for Mobile Robot Displacement.. - Minguez, Lamiraux, Montesano (2005) (Correct)
This paper presents a metric-based matching algorithm to estimate the robot planar displacement by matching...

78. XJ: Facilitating XML Processing in Java - Matthew Harren University (2005) (Correct)
The increased importance of XML as a data representation format has led to several proposals for facilitating...

79. A Computationally Sound Mechanized Prover for Security Protocols - Blanchet (2005) (Correct)
We present a new mechanized prover for secrecy properties of cryptographic protocols.

80. Meridian: A Lightweight Network Location Service without Virtual.. - Wong, Slivkins, Sirer (2005) (Correct)
called Meridian, for performing node selection based on network location. The framework consists of an...

81. Radial Level Planarity Testing and Embedding in Linear Time - Bachmaier, Brandenburg, Forster (2005) (Correct)
Planarity of hierarchical graphs on concentric circles

82. Measurements, Analysis, and Modeling of BitTorrent-like Systems - Lei Guo Songqing (2005) (Correct)
Existing studies on BitTorrent systems are single-torrent based, while more than 85% of all peers participate...

83. OverCite: A Cooperative Digital Research Library - Jeremy Stribling Isaac (2005) (Correct)
CiteSeer is a well-known online resource for the computer science research community, allowing users to...

84. A New Perspective to Automatically Rank Scientific Conferences Using.. - Sidiropoulos, Manolopoulos (2005) (Correct)
http://skyblue.csd.auth.gr/sceas/

85. Testing Disjointness of Private Datasets - Kiayias, Mitrofanova (2005) (Correct)
Two parties, say Alice and Bob, possess two sets of elements that belong to a universe of possible values...

86. Gimme' The Context: Context-driven Automatic Semantic Annotation with .. - Cimiano, Ladwig, Staab (2005) (Correct)
Without the proliferation of formal semantic annotations, the Semantic Web is certainly doomed to failure. In...

87. DNS-based Detection of Scanning Worms in an Enterprise Network - David Whyte Evangelos (2005) (Correct)
Worms are arguably the most serious security threat facing the Internet. Seeking a detection technique that...

88. Beyond Event Handlers: Programming Wireless Sensors with Attributed.. - Kasten, R�mer (2005) (Correct)
Event-driven programming is a popular paradigm for programming sensor nodes. It is based on the specification...

89. On Boosting Holism in XML Twig Pattern Matching Using Structural.. - Chen, Lu, Ling (2005) (Correct)
Searching for all occurrences of a twig pattern in an XML document is an important operation in XML query...

90. Improving Text Collection Selection with Coverage and Overlap.. - Hernandez, Kambhampati (2005) (Correct)
In an environment of distributed text collections, the first step in the information retrieval process is to...

91. Scientific Workflow Management and the Kepler System - Lud�scher, Altintas, Berkley.. (2005) (Correct)
Many scientific disciplines are now data and information driven, and new scientific knowledge is often gained...

92. Economic Properties of Social Networks - Sham Kakade Michael (2005) (Correct)
We examine the marriage of recent probabilistic generative models for social networks with classical...

93. Global Public Computing - Kotsovinos (2005) (Correct)
view of a XenoServer's design . . . . . . . . . . . . . . . 74 3.3 Registration of XenoServers and clients ....

94. Distinguishing Attack on Stream Cipher Yamb - Hongjun Wu And (2005) (Correct)
Stream cipher Yamb is a submission to the ECRYPT stream cipher project. In this paper, we point out that the...

95. Efficient Techniques for Comprehensive Protection from Memory Error.. - Bhatkar, Sekar, DuVarney (2005) (Correct)
Despite the wide publicity received by buffer overflow attacks, the vast majority of today's security...

96. Privacy and Trust Issues with Invisible Computers - Lahlou, Langheinrich, Roecker (2005) (Correct)
ion. Thirdly, data will be more intimate than ever before: not only what we do, where we do it, and when we...

97. Static Approximation of Dynamically Generated Web Pages - Minamide (2005) (Correct)
Server-side programming is one of the key technologies that support today's WWW environment. It makes it...

98. Chainsaw: Eliminating Trees from Overlay Multicast - Pai, Kumar, Tamilmani, Sambamurthy.. (2005) (Correct)
In this paper, we present Chainsaw, a p2p overlay multicast system that completely eliminates trees. Peers...

99. Secure Remote Authentication Using Biometric Data - Boyen, Dodis, Katz, Ostrovsky, Smith (2005) (Correct)
Biometric data o#er a potential source of high-entropy, secret information that can be used in cryptographic...

100. ASM Semantics for C 2.0 - Horatiu Jula Computer (2005) (Correct)
The Abstract State Machines (ASMs) theory has been applied to formalize the semantics of the C# programming...

CiteSeer.Continuity homepage

CiteSeer.Continuity - Copyright NEC and IST