位置：成果数据库 > 期刊 > 期刊详情页
A Review of Automated Formal Veri？cation of Ad Hoc Routing Protocols for Wireless Sensor Networks
  • ISSN号：1546-198X
  • 期刊名称：Sensor Letters
  • 时间：2013.5.30
  • 页码：752-764
  • 相关项目：面向移动物联网环境的搜索关键技术研究
作者： Zhe Chen|Daqiang Zhang|Rongbo Zhu|Yinxue Ma|Ping Yin|Feng Xie|
同期刊论文项目
面向移动物联网环境的搜索关键技术研究
期刊论文 21 会议论文 6
同项目期刊论文
An Efficient Method for Optimizing Reader Deployment and Energy Saving
BASA: Building Mobile Ad-hoc Social Networks on Top of Android
Query Representation with Global Consistency on User Click Graphs
<span style="color:#666666;background-color:#FFFFFF;">Detecting Hot Road Mobility of
<span class="title" style="color:#666666;background-color:#FFFFFF;">Cold-S
Mobility Prediction in Telecom Cloud Using Mobile Calls
Future RFID technology and applications: visions and challenges
Optimising data placement and traffic routing for energy saving in Backbone Networks
<strong>VCMIA: A Novel Architecture for Integrating Vehicular Cyber-Physical Systems and Mobil
Internet of Things J.UCS Special Issue
Asynchronous event detection for context inconsistency in pervasive computing
NextCell: Prediction Location Using Cell Phone Traces
Real-time Locating Systems Using Active RFID for Internet of Things
Survey on context-awareness in ubiquitous media
自适应惯性权重的混沌粒子群算法研究
基于DBSCAN聚类的细菌自适应步长觅食算法
基于微粒群策略的自适应觅食算法研究