Sciweavers

384 search results - page 2 / 77
» On The Use Data Reduction Algorithms for Real-Time Wireless ...
Sort
View
IPPS
2006
IEEE
13 years 11 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
FMOODS
2007
13 years 6 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
RTSS
2007
IEEE
13 years 11 months ago
Real-Time Query Scheduling for Wireless Sensor Networks
Recent years have seen the emergence of wireless sensor network systems that must support high data rate and realtime queries of physical environments. This paper proposes Real-Ti...
Octav Chipara, Chenyang Lu, Gruia-Catalin Roman
ECRTS
2007
IEEE
13 years 11 months ago
On Scheduling and Real-Time Capacity of Hexagonal Wireless Sensor Networks
Since wireless ad-hoc networks use shared communication medium, accesses to the medium must be coordinated to avoid packet collisions. Transmission scheduling algorithms allocate ...
Shashi Prabh, Tarek F. Abdelzaher
BSN
2009
IEEE
118views Sensor Networks» more  BSN 2009»
14 years 5 days ago
Minimising Loss-Induced Errors in Real Time Wireless Sensing by Avoiding Data Dependency
Abstract—The use of local processing to reduce data transmission rates, and thereby power and bandwidth requirements, is common in wireless sensor networks. Achieving the minimum...
A. D. Young, M. J. Ling