1035 search results - page 81 / 207 » Communications in cellular automata |
185
click to vote
ENTCS
2008
15 years 6 months ago
2008
Constraint automata have been used as an operational model for component connectors described in the coordination language Reo which specifies the cooperation and communication of...
202
click to vote
NFM
2011
15 years 1 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...
139
click to vote
ICC
2007
IEEE
16 years 18 days ago
2007
IEEE
- Location systems based on already-deployed cellular networks spend the resources of the underlying communications network. This paper proposes a middleware that reduces the consu...
192
click to vote
PRIMA
2007
Springer
16 years 11 days ago
2007
Springer
Navigation services for pedestrians are spreading in recent years. Our approach to provide personal navigation is to build a multiagent system that assigns one guiding agent to eac...
118
click to vote
VTC
2007
IEEE
16 years 16 days ago
2007
IEEE
Abstract— The tower-top deployment of base station electronics could prove of utility in future cellular communication applications. We present a scalable, non-radiative, automat...