520 search results - page 88 / 104 » Implementing a Generalized Version of Resolution |
114
click to vote
POPL
2000
ACM
15 years 6 months ago
2000
ACM
Adopting a programming-language perspective, we study the problem of implementing authentication in a distributed system. We define a process calculus with constructs for authent...
141
Voted
CF
2007
ACM
15 years 5 months ago
2007
ACM
In the life sciences, genomic databases for sequence search have been growing exponentially in size. As a result, faster sequencesearch algorithms to search these databases contin...
129
click to vote
CGO
2006
IEEE
15 years 5 months ago
2006
IEEE
Memory performance is an important design issue for contemporary systems given the ever increasing memory gap. This paper proposes a space-efficient Java object model for reducing...
105
click to vote
TREC
2004
15 years 3 months ago
2004
The TREC 2004 Terabyte Track evaluated information retrieval in largescale text collections, using a set of 25 million documents (426 GB). This paper gives an overview of our expe...
133
click to vote
CORR
2010
Springer
15 years 1 months ago
2010
Springer
Event-driven automation of reactive functionalities for complex event processing is an urgent need in today's distributed service-oriented architectures and Web-based event-d...