1564 search results - page 239 / 313 » Extensions to the Estimation Calculus |
134
click to vote
ISCC
2003
IEEE
15 years 9 months ago
2003
IEEE
This paper studies the fairness with which competing flows share the channel in ad hoc networks using collision avoidance protocols. It is shown that the required multihop coordi...
183
Voted
ISVLSI
2003
IEEE
15 years 9 months ago
2003
IEEE
The behavior of many algorithms is heavily determined by the input data. Furthermore, this often means that multiple and completely different execution paths can be followed, also...
154
click to vote
SRDS
2003
IEEE
15 years 9 months ago
2003
IEEE
We consider the problem of increasing the availability of shared data in peer-to-peer (P2P) systems so that users can access any content, regardless of the current subset of onlin...
150
Voted
SSDBM
2003
IEEE
15 years 9 months ago
2003
IEEE
Relational index structures, as for instance the Relational Interval Tree, the Relational R-Tree, or the Linear Quadtree, support efficient processing of queries on top of existin...
148
click to vote
EUROCRYPT
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. Recently, methods from provable security, that had been developped for the last twenty years within the research community, have been extensively used to support emerging...