A One-Dimensional Probabilistic Model of Wireless Multihop Internet Access

Authors:
Chun-Yen Hsu;Jean-Lien C. Wu;Shun-Te Wang
Affiliations:
Natl. Taiwan Univ. of Sci. and Tech.;National Taiwan University of Science and Technology;National Taiwan University of Science and Technology
Venue:
COMPSAC '07 Proceedings of the 31st Annual International Computer Software and Applications Conference - Volume 02
Year:
2007

Citing 0
Cited 1

Probability of node to base station connectivity in one-dimensional ad hoc networks

IEEE Communications Letters

Quantified Score

Hi-index	0.00

Visualization

Abstract

Program verification is a promising approach to improving program quality. To formally verify aspectoriented programs, we have to find a way to formally specify programs written in aspect-oriented languages. Pipa is a BISL tailored to AspectJ for specifying ...