Sciweavers

3053 search results - page 191 / 611
» Performance of Generative Programming Based Protocol Impleme...
Sort
View
IRREGULAR
1997
Springer
14 years 2 months ago
Programming with Shared Data Abstractions
ing with shared data abstractions Simon Dobson1 and Don Goodeve2 1 Well-Founded Systems Unit, CLRC Rutherford Appleton Laboratory, UK 2 School of Computer Studies, University of Le...
Simon A. Dobson, Don Goodeve
CAV
2003
Springer
140views Hardware» more  CAV 2003»
14 years 3 months ago
Certifying Optimality of State Estimation Programs
Abstract. The theme of this paper is certifying software for state estimation of dynamic systems, which is an important problem found in spacecraft, aircraft, geophysical, and in m...
Grigore Rosu, Ram Prasad Venkatesan, Jon Whittle, ...
PERCOM
2006
ACM
14 years 10 months ago
Using buddies to live longer in a boring world
In a sensor network monitoring natural environment, the readings of sensor nodes show high temporal and spatial correlation. This stems from the fact that most characteristics of ...
Samir Goel, Tomasz Imielinski, Andrea Passarella
ATVA
2005
Springer
156views Hardware» more  ATVA 2005»
14 years 4 months ago
An EFSM-Based Intrusion Detection System for Ad Hoc Networks
Mobile ad hoc networks offer very interesting perspectives in wireless communications due to their easy deployment and their growing performances. However, due to their inherent c...
Jean-Marie Orset, Baptiste Alcalde, Ana R. Cavalli
JIPS
2010
152views more  JIPS 2010»
13 years 5 months ago
Medium Access Control with Dynamic Frame Length in Wireless Sensor Networks
Wireless sensor networks consist of sensor nodes which are expected to be battery-powered and are hard to replace or recharge. Thus, reducing the energy consumption of sensor nodes...
Dae-Suk Yoo, Seung Sik Choi