Most cited source documents published in 2004 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. Building a Large Annotated Corpus of English: The Penn Treebank - Marcus, Marcinkiewicz, Santorini (2004)
(Correct)
this paper, we review our experience with constructing one such large annotated
corpus--the Penn Treebank, a...
2. Rapid Object Detection Using a Boosted Cascade of Simple Features - Viola, Jones (2004)
(Correct)
This paper describes a machine learning approach for visual object detection which is capable
of processing...
3. Trace-Driven Memory Simulation: A Survey - Uhlig, Mudge (2004)
(Correct)
This article surveys and analyzes these developments by establishing
criteria for evaluating trace-driven...
4. Tapestry: A Resilient Global-Scale Overlay for Service Deployment - Zhao, Huang, Stribling, Rhea.. (2004)
(Correct)
We present Tapestry, a peer-to-peer overlay routing
infrastructure offering efficient, scalable,...
5. Tapestry: A Resilient Global-scale Overlay for Service Deployment - Zhao, Huang, Stribling, Rhea.. (2004)
(Correct)
We present Tapestry, a peer-to-peer overlay
routing infrastructure offering efficient, scalable,...
6. Statistical Models of Appearance for Computer Vision - Cootes, Taylor (2004)
(Correct)
This document describes methods of building models of shape and appearance, and how
such models can be used...
7. Foundations of Cryptography - Goldreich (2004)
(Correct)
We survey the main paradigms, approaches and techniques used to conceptualize, de
ne and
provide solutions...
8. Distributed Object Location in a Dynamic Network - Hildrum, Kubiatowicz, Rao, Zhao (2004)
(Correct)
Modern networking applications replicate data and services widely,
leading to a need for location-independent...
9. An Improved Particle Filter for Non-linear Problems - James Carpenter Peter (2004)
(Correct)
The Kalman filter provides an effective solution to the linear-Gaussian filtering problem. However,
where...
10. Storage management and caching in PAST, a large-scale, persistent.. - Antony Rowstron Microsoft (2004)
(Correct)
This paper
present
s and evaluatj
t
hest]20)
management
and caching in PAST, a large-scale
peer-t8fi
eer...
11. On the Effectiveness of Movement Prediction to Reduce Energy.. - Chakraborty, Dong, Yau, Lui (2004)
(Correct)
Node movement can be exploited to reduce the energy consumption of wireless network communication. The...
12. Erroneous Architecture Is A Relative Concept - Adamek, Plasil (2004)
(Correct)
The problem this paper addresses is that an architecture
formed of software components can contain...
13. Short Signatures without Random Oracles - Boneh, Boyen (2004)
(Correct)
We describe a short signature scheme which is existentially unforgeable under a chosen
message attack...
14. Using Ambients to Control Resources - Teller, Zimmer, Hirschkoff (2004)
(Correct)
Current software and hardware systems, being
parallel and reconfigurable, raise new safety and reliability...
15. Distinctive Image Features from Scale-Invariant Keypoints - Lowe (2004)
(Correct)
This paper presents a method for extracting distinctive invariant features from
images that can be used to...
16. Local Search for Shift Design - Musliu, Schaerf, Slany (2004)
(Correct)
this paper we consider only the problem of designing the shifts. More formally, we have:
17. Parameterized Complexity: Exponential Speed-Up for Planar Graph.. - Alber, Fernau, Niedermeier (2004)
(Correct)
We discuss general techniques, centered around the "Layerwise Separation Property
" (LSP) of a planar graph...
18. Scaling Step-Wise Refinement - Batory, Sarvela, Rauschmayer (2004)
(Correct)
Step-wise refinement is a powerful paradigm for developing a complex program from a simple program by adding...
19. Chosen-Ciphertext Security from Identity-Based Encryption - Canetti, Halevi, Katz (2004)
(Correct)
We propose a simple and e#cient construction of a CCAsecure
public-key encryption scheme from any CPA-secure...
20. Handling Churn in a DHT - Rhea, Geels, Roscoe, Kubiatowicz (2004)
(Correct)
This paper addresses the problem of churn---the continuous process of node arrival and departure---in...
21. A General Composition Theorem for Secure Reactive Systems - Backes, Pfitzmann, Waidner (2004)
(Correct)
We consider compositional properties of reactive systems that are secure
in a cryptographic sense. We follow...
22. Integration of Biological Sources: Current Systems and Challenges.. - Hernandez, Kambhampati (2004)
(Correct)
This paper surveys the area of biological and genomic
sources integration, which has recently become a major...
23. Foundations of Group Signatures: The Case of Dynamic Groups - Bellare, Shi, Zhang (2004)
(Correct)
Recently, a first step toward establishing foundations for group signatures was taken [5], with a treatment...
24. Modular Verification of Software Components in C - Chaki, Clarke, Groce, Jha, Veith (2004)
(Correct)
We present a new methodology for automatic verification of C programs against finite state machine...
25. The Google File System - Sanjay Ghemawat Howard (2004)
(Correct)
design edan
d
implemen
ted the Google File System,
a scalable distributed file system for large distributed...
26. Automated Worm Fingerprinting - Sumeet Singh Cristian (2004)
(Correct)
Network worms are a clear and growing threat to the security
of today's Internet-connected hosts and...
27. Service Capacity of Peer to Peer Networks - Xiangying Yang And (2004)
(Correct)
In this paper we study the `service capacity' of peer
to peer (P2P) file sharing applications. We begin by...
28. Exact Indexing Of Dynamic Time Warping - Keogh, Ratanamahatana (2004)
(Correct)
The problem of indexing time series has attracted much interest. Most algorithms
used to index time series...
29. Term Rewriting with Traversal Functions - Van Den Brand, Klint, Vinju (2004)
(Correct)
this paper we aim at further enhancing term rewriting for the analysis and
transformation of software systems...
30. Symmetric Encryption in Automatic Analyses for Confidentiality.. - Laud (2004)
(Correct)
In this report we present a technique for static analysis, correct with respect to
complexity-theoretic...
31. Control under Communication Constraints - Tatikonda, Mitter (2004)
(Correct)
There is an increasing interest in studying control
systems employing multiple sensors and actuators that
are...
32. Trickle: A Self-Regulating Algorithm for Code Propagation and.. - Levis, Patel, Culler, Shenker (2004)
(Correct)
We present Trickle, an algorithm for propagating and
maintaining code updates in wireless sensor networks....
33. Lessons From A Sensor Network Expedition - Szewczyk, Polastre, Mainwaring.. (2004)
(Correct)
Habitat monitoring is an important driving application for wireless sensor networks (WSNs). Although...
34. Vivaldi: A Decentralized Network Coordinate System - Frank Dabek Russ (2004)
(Correct)
Large-scale Internet applications can benefit from an ability to predict
round-trip times to other hosts...
35. Secure Identity Based Encryption without Random Oracles - Boneh, Boyen (2004)
(Correct)
We present a fully secure identity based encryption scheme whose proof of security does not rely on the...
36. Spreading Activation Models for Trust Propagation - Ziegler, Lausen (2004)
(Correct)
Semantic Web endeavors have mainly focused on issues pertaining to knowledge representation and ontology...
37. Designing a DHT for low latency and high throughput - Frank Dabek Jinyang (2004)
(Correct)
Designing a wide-area distributed hash table (DHT) that
provides high-throughput and low-latency network...
38. Toward Network Data Independence - Hellerstein (2004)
(Correct)
A number of researchers have become interested
in the design of global-scale networked
systems and...
39. Ranking the Web Frontier - Eiron, McCurley, Tomlin (2004)
(Correct)
The celebrated PageRank algorithm has proved to be a very effective
paradigm for ranking results of web...
40. Democratizing content publication with Coral - Freedman, Freudenthal, Mazières (2004)
(Correct)
CoralCDN is a peer-to-peer content distribution network that allows a user to run a web site that offers high...
41. A New Two-Party Identity-Based Authenticated Key Agreement - McCullagh, Barreto (2004)
(Correct)
We present a new two-party identity-based key agreement
that is more e#cient than previously proposed...
42. Set Reconciliation with Nearly Optimal Communication Complexity - Minsky, Trachtenberg, Zippel (2004)
(Correct)
We consider the problem of e#ciently reconciling two similar sets
held by di#erent hosts while minimizing...
43. Short Group Signatures - Boneh, Boyen, Shacham (2004)
(Correct)
We construct a short group signature scheme. Signatures in our scheme are approximately
the size of a...
44. Resolution Lower Bounds for Perfect Matching Principles - Razborov (2004)
(Correct)
For an arbitrary hypergraph
H,
let PM(H) be the propositional formula asserting
that
contains a perfect...
45. Random Walks in Peer-to-Peer Networks - Gkantsidis, Mihail, Saberi (2004)
(Correct)
We quantify the effectiveness of random walks for
searching and construction of unstructured peer-to-peer...
46. Propagation of Trust and Distrust - Guha, Kumar, Raghavan, Tomkins (2004)
(Correct)
A (directed) network of people connected by ratings or trust scores, and a model for propagating those trust...
47. Improving Reliable Multicast Using Active Parity Encoding Services.. - Rubenstein, Kasera, Towsley, Kurose (2004)
(Correct)
We propose and evaluate novel reliable multicast protocols that combine active repair service
(a.k.a. local...
48. Constructing Free Energy Approximations and Generalized Belief.. - Yedidia, Freeman, Weiss (2004)
(Correct)
Important inference problems in statistical physics, computer vision, error-correcting coding
theory, and...
49. Total Recall: System Support for Automated Availability Management - Ranjita Bhagwan Kiran (2004)
(Correct)
Availability is a storage system property that is both
highly desired and yet minimally engineered. While...
50. A Model of BGP Routing for Network Engineering - Feamster, Winick, Rexford (2004)
(Correct)
The performance of IP networks depends on a wide variety of dynamic
conditions. Traffic shifts, equipment...
51. The Impact of BGP Dynamics on Intra-Domain Traffic - Sharad Agarwal Chen-Nee (2004)
(Correct)
Recent work in network traffic matrix estimation has focused on
generating router-to-router or PoP-to-PoP...
52. Direct Anonymous Attestation - Brickell, Camenisch, Chen (2004)
(Correct)
This paper describes the direct anonymous attestation scheme (DAA). This scheme was adopted
by the Trusted...
53. Symmetric Encryption in a Simulatable Dolev-Yao Style Cryptographic.. - Backes, Pfitzmann (2004)
(Correct)
Recently we solved the long-standing open problem of justifying a Dolev-Yao type model of cryptography
as...
54. An overview of JML tools and applications - Burdy, Cheon, Cok, Ernst, Kiniry.. (2004)
(Correct)
The Java Modeling Language (JML) can be
used to specify the detailed design of Java classes and interfaces
by...
55. Improved Bounds for the Unsplittable Flow Problem - Kolman, Scheideler (2004)
(Correct)
In this paper we consider the unsplittable flow problem (UFP): given
a directed or undirected network G =...
56. Operating System Support for Planetary-Scale Network Services - Bavier, Bowman, Chun, Culler.. (2004)
(Correct)
PlanetLab is a geographically distributed overlay network
designed to support the deployment and evaluation...
57. Modeling and Performance Analysis of BitTorrent-Like Peer-to-Peer.. - Qiu, Srikant (2004)
(Correct)
In this paper, we develop simple models to study the
performance of BitTorrent, a second generation peerto...
58. Fast Portscan Detection Using Sequential Hypothesis Testing - Jaeyeon Jung Vern (2004)
(Correct)
Attackers routinely perform random "portscans" of IP addresses
to find vulnerable servers to compromise....
59. Building an Encrypted and Searchable Audit Log - Waters, al. (2004)
(Correct)
Audit logs are an important part of any secure system,
and they need to be carefully designed in order to...
60. Traceable Signatures - Kiayias, Tsiounis, Yung (2004)
(Correct)
We present, implement and apply a new privacy primitive that we call "Traceable Signatures."
To this end we...
61. Nonmonotonic Causal Theories - Giunchiglia, Lee, Lifschitz, McCain, .. (2004)
(Correct)
The nonmonotonic causal logic defined in this paper can be used to represent properties of actions, including...
62. Navigating nets: Simple algorithms for proximity search (Extended.. - Krauthgamer, Lee (2004)
(Correct)
Robert Krauthgamer # James R. Lee +
Abstract
We present a simple deterministic data structure for...
63. Measurement and Classification of Out-of-Sequence Packets in a Tier-1 .. - Jaiswal, Iannaccone, Diot, Kurose.. (2004)
(Correct)
We present a classification methodology and a measurement study for out-of-sequence packets in TCP...
64. Symbolic Implementation of the Best Transformer - Reps, Sagiv, Yorsh (2004)
(Correct)
This paper shows how to achieve, under certain conditions, abstract-interpretation
algorithms that enjoy the...
65. Shield: Vulnerability-Driven Network Filters for Preventing Known.. - Wang, Guo, Simon, Zugenmaier (2004)
(Correct)
Software patching has not been an effective first-line defense preventing large-scale worm attacks, even when...
66. A Unifying Object Role Modelling Theory - Bronts, Brouwer, Martens, Proper (2004)
(Correct)
This article presents the idea of defining a kernel for object role modelling techniques, upon which...
67. LLVM: A Compilation Framework for Lifelong Program Analysis &.. - Lattner, Adve (2004)
(Correct)
LLVM provides high-level types in a low-level code representation with support for analysis and transformation
68. A Taxonomy of DDoS Attack and DDoS Defense Mechanisms - Mirkovic, Reiher (2004)
(Correct)
Distributed denial-of-service (DDoS) is a rapidly growing
problem. The multitude and variety of both the...
69. Querying Peer-to-Peer Networks Using P-Trees - Adina Crainiceanu Prakash (2004)
(Correct)
We propose a new distributed, fault-tolerant peer-to-peer index
structure called the P-tree. P-trees...
70. Security Proofs for Identity-Based Identification and Signature.. - Bellare, Namprempre, Neven (2004)
(Correct)
This paper provides either security proofs or attacks for a large number
of identity-based identification...
71. Supporting Frequent Updates in R-Trees: A Bottom-Up Approach - Lee, Hsu, Jensen, Cui, Teo (2004)
(Correct)
Advances in hardware-related technologies promise to enable new data management applications
that monitor...
72. On the Composition of Authenticated Byzantine Agreement - Lindell, Lysyanskaya, Rabin (2004)
(Correct)
A fundamental problem of distributed computing is that of simulating a secure broadcast
channel, within the...
73. Web-Scale Information Extraction in KnowItAll - Etzioni, Cafarella, Downey, Kok.. (2004)
(Correct)
Manually querying search engines in order to accumulate a large
body of factual information is a tedious,...
74. Near-Collisions of SHA-0 - Eli Biham Ra (2004)
(Correct)
In this paper we
nd two near-collisions of the full compression
function of SHA-0, in which up to 142 of...
75. Dissecting BitTorrent: Five Months In Torrent's Lifetime - Izal, Uroy-Keller, Biersack, Felber, .. (2004)
(Correct)
Popular content such as software updates is requested by a
large number of users. Traditionally, to satisfy...
76. ObjectRank: Authority-Based Keyword Search in Databases - Balmin, Hristidis, Papakonstantinou (2004)
(Correct)
The ObjectRank system applies authority-based ranking to keyword search in databases modeled as labeled...
77. Tropos: An Agent-Oriented Software Development Methodology - Bresciani, Perini, Giorgini.. (2004)
(Correct)
Our goal in this paper is to introduce and motivate a methodology, called Tropos,
for building
agent...
78. Public Key Encryption with Keyword Search - Boneh, Di Crescenzo, Ostrovsky.. (2004)
(Correct)
We study the problem of searching on data that is encrypted using a public key
system. Consider user Bob who...
79. A Proposal for an OWL Rules Language - Horrocks, Patel-Schneider (2004)
(Correct)
Although the OWLWeb Ontology Language adds considerable expressive
power to the Semantic Web it does have...
80. Shilling Recommender Systems for Fun and Profit - Shyong Tony Lam (2004)
(Correct)
Recommender systems have emerged in the past several years as an
effective way to help people cope with the...
81. Dynamic Core Provisioning for Quantitative Differentiated Services - Liao, Campbell (2004)
(Correct)
Efficient network provisioning mechanisms that
support service differentiation and automatic capacity...
82. Sequences of Games: A Tool for Taming Complexity in Security Proofs - Shoup (2004)
(Correct)
This paper is brief tutorial on a technique for structuring security proofs as sequences
games.
83. What We Talk About When We Talk About Context - Dourish (2004)
(Correct)
The emergence of ubiquitous computing as a new design paradigm poses significant challenges for HCI and...
84. Comparing the Performance of Distributed Hash Tables Under Churn - Jinyang Li Jeremy (2004)
(Correct)
A protocol for a distributed hash table (DHT) incurs communication
costs to keep up with churn---changes in...
85. Inferring TCP Connection Characteristics through Passive Measurements - Jaiswal, Iannaccone, Diot, Kurose.. (2004)
(Correct)
We propose a passive measurement methodology to
infer and keep track of the values of two important variables...
86. Two-Party Generation of DSA Signatures - MacKenzie, Reiter (2004)
(Correct)
We describe a means of sharing the DSA signature
function, so that two parties can e#ciently generate
a DSA...
87. Probabilistic Top-Down Parsing and Language Modeling - Roark (2004)
(Correct)
This paper describes the functioning of a broad-coverage probabilistic top-down parser, and its
application...
88. Topology Dissemination Based on Reverse-Path Forwarding (TBRPF) - Ogier, Templin, Lewis (2004)
(Correct)
Topology Dissemination Based on Reverse-Path Forwarding (TBRPF) is a
proactive, link-state routing protocol...
89. Fuzzy Extractors: How to Generate Strong Keys from Biometrics and.. - Dodis, Reyzin, Smith (2004)
(Correct)
We provide formal definitions and e#cient secure techniques for
.
90. Performance and Dependability of Structured Peer-to-Peer Overlays - Miguel Castro Manuel (2004)
(Correct)
Structured peer-to-peer (p2p) overlay networks provide
a useful substrate for building distributed...
91. Simple verification technique for complex Java bytecode subroutines - Coglio (2004)
(Correct)
This paper presents a novel technique which is very simple to understand, implement and prove sound. It is...
92. Verification of Object-Oriented Programs with Invariants - Barnett, DeLine, ahndrich, Leino.. (2004)
(Correct)
This paper defines a programming methodology for using
object invariants. The methodology, which enriches a...
93. Dynamics of Hot-Potato Routing in IP Networks - Teixeira, Shaikh, Griffin, Rexford (2004)
(Correct)
Despite the architectural separation between intradomain and interdomain
routing in the Internet, intradomain...
94. A Practical Dynamic Buffer Overflow Detector - Olatunji Ruwase Transmeta (2004)
(Correct)
Despite previous efforts in auditing software manually
and automatically, buffer overruns are still being...
95. Probabilistic Routing in Intermittently Connected Networks - Lindgren, Doria, Schelen (2004)
(Correct)
In this paper, we address the problem of routing in intermittently connected
networks. In such networks...
96. Open Modules: A Proposal for Modular Reasoning in Aspect-Oriented.. - Aldrich (2004)
(Correct)
This paper makes two contributions to a formal understanding
of aspect-oriented programming. First, we
...
97. Statistics and Secret Leakage - Coron, Naccache, Kocher (2004)
(Correct)
In addition to its usual complexity assumptions, cryptography
silently assumes that information can be...
98. Approximately-Strategyproof and Tractable Multi-Unit Auctions - Kothari, Parkes, Suri (2004)
(Correct)
We present an approximately-efficient and approximately-strategyproof auction mechanism
for a single-good...
99. Explicit Transport Error Notification (ETEN) for Error-Prone Wireless .. - Krishnan, Sterbenz, Eddy, Partridge, .. (2004)
(Correct)
Wireless and satellite networks often have non-negligible
packet corruption rates that can significantly...
100. Price Prediction in a Trading Agent Competition - Wellman, Reeves, Lochner, Vorobeychik (2004)
(Correct)
The 2002 Trading Agent Competition (TAC) presented a challenging market game in the domain
of travel...
CiteSeer.Continuity homepage
CiteSeer.Continuity - Copyright NEC and IST