Sciweavers

542 search results - page 5 / 109
» Real-Time Query Scheduling for Wireless Sensor Networks
Sort
View
FMOODS
2007
13 years 9 months ago
Formal Modeling and Analysis of the OGDC Wireless Sensor Network Algorithm in Real-Time Maude
This paper describes the application of Real-Time Maude to the formal specification, simulation, and further formal analysis of the sophisticated state-of-the-art OGDC wireless se...
Peter Csaba Ölveczky, Stian Thorvaldsen
IPPS
2006
IEEE
14 years 1 months ago
Formal modeling and analysis of wireless sensor network algorithms in Real-Time Maude
Advanced wireless sensor network algorithms pose challenges to their formal modeling and analysis, such as modeling probabilistic and real-time behaviors and novel forms of commun...
Peter Csaba Ölveczky, Stian Thorvaldsen
APNOMS
2008
Springer
13 years 9 months ago
A Hop by Hop Rate Control Based QoS Management for Real Time Traffic in Wireless Sensor Networks
Wireless Sensor Network typically assimilates various real time applications that must meet some QoS requirements (e.g. delay, jitter, throughput, packet loss) under severe resourc...
Muhammad Mostafa Monowar, Md. Obaidur Rahman, Byun...
ISCC
2007
IEEE
115views Communications» more  ISCC 2007»
14 years 1 months ago
On The Use Data Reduction Algorithms for Real-Time Wireless Sensor Networks
This work presents the design of real-time applications for wireless sensor networks (WSNs) by using an algorithm based on data stream to process the sensor data. The proposed alg...
André L. L. de Aquino, Carlos Mauricio S. F...
EWSN
2009
Springer
14 years 8 months ago
Flow-Based Real-Time Communication in Multi-Channel Wireless Sensor Networks
As many radio chips used in today's sensor mote hardware can work at different frequencies, several multi-channel communication protocols have recently been proposed to improv...
Xiaodong Wang, Xiaorui Wang, Xing Fu, Guoliang Xin...