Sciweavers

732 search results - page 124 / 147
» Periodicity-Based Temporal Constraints
Sort
View
114
Voted
RTAS
2007
IEEE
15 years 8 months ago
A Programming Model for Time-Synchronized Distributed Real-Time Systems
Discrete-event (DE) models are formal system specifications that have analyzable deterministic behaviors. Using a global, consistent notion of time, DE components communicate via...
Yang Zhao, Jie Liu, Edward A. Lee
144
Voted
RTSS
2007
IEEE
15 years 8 months ago
Rendezvous Planning in Mobility-Assisted Wireless Sensor Networks
Recent research shows that significant energy saving can be achieved in wireless sensor networks by using mobile elements (MEs) capable of carrying data mechanically. However, th...
Guoliang Xing, Tian Wang, Zhihui Xie, Weijia Jia
SCALESPACE
2007
Springer
15 years 8 months ago
A Consistent Spatio-temporal Motion Estimator for Atmospheric Layers
In this paper, we address the problem of estimating mesoscale dynamics of atmospheric layers from satellite image sequences. Relying on a physically sound vertical decomposition of...
Patrick Héas, Étienne Mémin, ...
114
Voted
ASWEC
2006
IEEE
15 years 8 months ago
Compatibility Test for Coordination Aspects of Software Components
Combining third party software components to customer-individual application systems requires first, standardized specification techniques for describing the technical as well as ...
Johannes Maria Zaha, Antonia Albani
125
Voted
ICPADS
2006
IEEE
15 years 8 months ago
On the Effects of Consistency in Data Operations in Wireless Sensor Networks
In battery powered systems such as wireless sensor networks, energy efficiency is one of the most important system design goals. In this paper, energy efficiency is examined fro...
Kewei Sha, Weisong Shi