12981 search results - page 2423 / 2597 » Model Checking (Abstract) |
143
Voted
TVCG
2010
15 years 1 months ago
2010
Abstract—We investigate the design of declarative, domain-specific languages for constructing interactive visualizations. By separating specification from execution, declarativ...
129
Voted
VTC
2010
IEEE
15 years 1 months ago
2010
IEEE
Abstract—A system that uses adaptive beamforming techniques for mobile Digital Video Broadcasting Satellite (DVB-S) reception is proposed in this paper. The purpose is to enable ...
242
Voted
WASA
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. Due to the large-scale ad hoc deployments and wireless interference, data aggregation is a fundamental but time consuming task in wireless sensor networks. This paper foc...
147
Voted
WIOPT
2010
IEEE
15 years 1 months ago
2010
IEEE
Abstract—In this paper, we present our results on the performance of MAC protocols in multi-hop wireless ad hoc networks in terms of the newly proposed metric “aggregate multi-...
169
click to vote
WIOPT
2010
IEEE
15 years 1 months ago
2010
IEEE
Abstract—Delay-reliability (D-R), and throughput-delayreliability (T-D-R) tradeoffs in an ad hoc network are derived for single hop and multi-hop transmission with automatic repe...