307 search results - page 43 / 62 » Finite locally-quasiprimitive graphs |
106
click to vote
SIROCCO
2008
15 years 3 months ago
2008
Consider a synchronized distributed system where each node can only observe the state of its neighbors. Such a system is called selfstabilizing if it reaches a stable global state ...
104
click to vote
COLING
2000
15 years 3 months ago
2000
Systems now exist which are able to con:pile unification gralmnars into language models that can be included in a speech recognizer, but it is so far unclear whether non-trivial l...
106
click to vote
CONCUR
2010
Springer
15 years 3 months ago
2010
Springer
We study decision problems for parameterized verification of a formal model of Ad Hoc Networks with selective broadcast and spontaneous movement. The communication topology of a ne...
103
click to vote
CORR
2008
Springer
15 years 2 months ago
2008
Springer
This paper focuses on the consensus averaging problem on graphs under general noisy channels. We study a particular class of distributed consensus algorithms based on damped updat...
127
click to vote
INFORMATICALT
2008
15 years 1 months ago
2008
In this paper, we present a method for describing the syntax and semantics of viewcharts. Viewcharts is a visual formalism for describing the dynamic behavior of system components....