1809 search results - page 110 / 362 » Macro-programming Wireless Sensor Networks Using Kairos |
232
Voted
CSUR
2011
14 years 7 months ago
2011
high-level programming abstractions, capable of simplifying the programming chore without sacrificing efficiency, has been long recognized and several solutions have been hitherto...
157
Voted
FMOODS
2007
15 years 4 months ago
2007
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...
127
click to vote
EUROPAR
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. Typical sensor nodes are composed of cheap hardware because they have to be affordable in great numbers. This means that memory and communication bandwidth are small, CPU...
166
Voted
KIVS
2011
Springer
14 years 6 months ago
2011
Springer
Localized geographic single path routing along a wireless network graph requires exact location information about the network nodes to assure message delivery guarantees. Node loc...
131
click to vote
CCS
2010
ACM
15 years 4 months ago
2010
ACM
Securing wireless sensor networks against node capture is a challenging task. All well-known random key pre-distribution systems, including the Eschenauer and Gligor's pionee...