12741 search results - page 123 / 2549 » Editorial and call for papers |
155
click to vote
ICCCN
1998
IEEE
15 years 10 months ago
1998
IEEE
In this paper we present a novel ATM switch called ParallelTree Banyan Switch Fabric (PTBSF) that consists of parallel Banyans arranged in a tree topology. Packets enter at the to...
161
click to vote
ICDCS
1998
IEEE
15 years 10 months ago
1998
IEEE
This paper considers the problem of key agreement in a group setting with highly-dynamic group member population. A protocol suite, called CLIQUES, is developed by extending the w...
159
click to vote
CONCUR
1998
Springer
15 years 10 months ago
1998
Springer
Abstract. This paper introduces a compositional Hoare logics for reasoning about the correctness of systems composed of a dynamically evolving collection of processes (also called ...
147
click to vote
ICCD
1997
IEEE
15 years 10 months ago
1997
IEEE
Speed, cost and correctness may be the most important factors in designing a digital system. This paper proposes a novel and general methodology to synthesize iterative functions ...
182
click to vote
ICDE
1997
IEEE
15 years 10 months ago
1997
IEEE
In this paper we propose a data model for representing moving objects in database systems. It is called the Moving Objects Spatio-Temporal (MOST) data model. We also propose Futur...