14007 search results - page 2434 / 2802 » Communications in Bus Networks |
241
click to vote
NFM
2011
15 years 2 months ago
2011
Abstract. We present a new open source model checker, opaal, for automatic verification of models using lattice automata. Lattice automata allow the users to incorporate abstracti...
207
click to vote
JCIT
2010
15 years 2 months ago
2010
We consider the MAP/M/c queue with markovian flow of breakdowns. There are K waiting positions for arrival customers in the system. The system we consider comprises c servers, of ...
225
click to vote
TSP
2010
15 years 2 months ago
2010
The problem of distributed average consensus with quantized data is considered in this correspondence. Conventional consensus algorithms suffer from divergence when quantization er...
232
click to vote
ICASSP
2011
IEEE
14 years 11 months ago
2011
IEEE
In this paper we consider the problem of target tracking in a network of mobile agents. We propose a scheme with agents that are endowed with processing and decision-making capabi...
173
click to vote
ICASSP
2011
IEEE
14 years 11 months ago
2011
IEEE
A smoothing finite impulse response (FIR) filter is addressed for discrete time-invariant state-space polynomial models commonly used to model signals over finite data. A gener...