A One-Dimensional Probabilistic Model of Wireless Multihop Internet Access
Computer Software and Applications Conference, 2007. COMPSAC 2007. 31st Annual International（2007）
摘要
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 ...
更多查看译文
关键词
wireless multihop internet access,program verification,aspect-oriented language,one-dimensional probabilistic model,promising approach,program quality,aspectoriented program,spread spectrum communication,access network,internet,mobile communication,service provider,wireless application protocol,internet access,probability,probabilistic model,wireless networks,internet connectivity,service providers,mobile network,application software
AI 理解论文
溯源树
样例
生成溯源树，研究论文发展脉络
Chat Paper
正在生成论文摘要