275 search results - page 19 / 55 » join 2007 |
ASE
2004
13 years 10 months ago
2004
In this paper, we develop model checking procedures for three ways of combining (temporal) logics: temporalization, independent combination, and join. We prove that they are termin...
BROADNETS
2007
IEEE
14 years 5 months ago
2007
IEEE
—Epidemic protocols assume that information of a random set of nodes is provided at each protocol round. By definition, the random set needs to be chosen uniformly and randomly ...
LSSC
2007
Springer
14 years 5 months ago
2007
Springer
Recently we have proposed an approach to utilizing agent teams as resource brokers and managers in the Grid. Thus far we have discussed the general overview of the proposed system,...
JOIN
2007
13 years 10 months ago
2007
This paper is devoted to the following incremental problem. Initially, a graph and a distinguished subset of vertices, called initial group, are given. This group is connected by ...
JOIN
2007
13 years 10 months ago
2007
In this paper, we show that universal routing can be achieved with low overhead in distributed networks. The validity of our results rests on a new network called the fat-stack. W...