Sciweavers

729 search results - page 75 / 146
» Communicating Evolving Algebras
Sort
View
CORR
2007
Springer
143views Education» more  CORR 2007»
13 years 9 months ago
On Myopic Sensing for Multi-Channel Opportunistic Access
We consider a multi-channel opportunistic communication system where the states of these channels evolve as independent and statistically identical Markov chains (the Gilbert-Elli...
Qing Zhao, Bhaskar Krishnamachari, Keqin Liu
IJSNET
2007
155views more  IJSNET 2007»
13 years 9 months ago
Distributed Bayesian fault diagnosis of jump Markov systems in wireless sensor networks
: A Bayesian distributed online change detection algorithm is proposed for monitoring a dynamical system by a wireless sensor network. The proposed solution relies on modelling the...
Hichem Snoussi, Cédric Richard
TWC
2008
130views more  TWC 2008»
13 years 9 months ago
On myopic sensing for multi-channel opportunistic access: structure, optimality, and performance
We consider a multi-channel opportunistic communication system where the states of these channels evolve as independent and statistically identical Markov chains (the Gilbert-Elli...
Qing Zhao, Bhaskar Krishnamachari, Keqin Liu
ICWN
2009
13 years 7 months ago
AReIT: Adaptive Reliable Information Transport Protocol for Wireless Sensor Networks
Abstract-- The reliable delivery of services in service oriented architectures often entails the underlying basis of having well structured system and communication network models....
Faisal Karim Shaikh, Abdelmajid Khelil, Neeraj Sur...
IFM
2009
Springer
155views Formal Methods» more  IFM 2009»
13 years 7 months ago
Application of Graph Transformation in Verification of Dynamic Systems
Abstract. A communication system evolves dynamically with the addition and deletion of services. In our previous work [12], a graph transformation system (GTS) was used to model th...
Zarrin Langari, Richard J. Trefler