5898 search results - page 393 / 1180 » Parallel Computing Environments and Methods |
119
click to vote
CONCUR
1999
Springer
15 years 8 months ago
1999
Springer
Abstract. The unfolding method, initially introduced for systems modelled by Petri nets, is applied to synchronous products of transition systems, a model introduced by Arnold [2]....
127
click to vote
ICDCS
1998
IEEE
15 years 8 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...
135
click to vote
IPPS
1998
IEEE
15 years 8 months ago
1998
IEEE
We study the automation of the verification of Unity programs with infinite or parameterized state space. This paper presents methods allowing the transformation of some second-ord...
130
click to vote
CONCUR
1998
Springer
15 years 8 months ago
1998
Springer
The classical theory of deterministic automata is presented in terms of the notions of homomorphism and bisimulation, which are the cornerstones of the theory of universal coalgebr...
126
click to vote
IPPS
1996
IEEE
15 years 8 months ago
1996
IEEE
We describe the adaptive source routing (ASR) method which is a first attempt to combine adaptive routing and source routing methods. In ASR, the adaptivity of each packet is dete...