1846 search results - page 85 / 370 » Geographically-Sensitive Link Analysis |
122
click to vote
TACAS
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Programs commonly maintain multiple linked data structures. Correlations between multiple data structures may often be nonexistent or irrelevant to verifying that the pro...
125
click to vote
EUROCRYPT
2001
Springer
15 years 8 months ago
2001
Springer
Abstract. We present a formalism for the analysis of key-exchange protocols that combines previous definitional approaches and results in a definition of security that enjoys som...
123
click to vote
ICASSP
2010
IEEE
15 years 4 months ago
2010
IEEE
The major contribution of this paper is the presentation of a general unifying description of distributed algorithms allowing to map local, node-based, algorithms onto a single gl...
116
click to vote
RSCTC
2004
Springer
15 years 9 months ago
2004
Springer
illion abstracts. Problem. How to find sentences that talk about protein-protein interactions? Example (Non-Interaction Sentence) All our data are consistent with models in which ...
141
click to vote
INFOCOM
2003
IEEE
15 years 9 months ago
2003
IEEE
— In this paper, we present a Minimum Spanning Tree (MST) based topology control algorithm, called Local Minimum Spanning Tree (LMST), for wireless multi-hop networks. In this al...