- 1、本文档共15页,可阅读全部内容。
- 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
Formal Descriptionof aDistributedLocationServic for e
Formal Description of aDistributed Location Servic e for
Mobile Ad Hoc Networks
András Benczúr1, Uwe Gl?sser2 and Tamás Lukovszki3
1Computer Science Research Institute of the Hungari an Academy of Sciences,
benczur@sztaki.hu
2School of Computing Science, Simon Fraser Universi ty, BC, Canada,
glaesser@cs.sfu.ca
3Heinz Nixdorf Institute, Paderborn University, Ger many,
tamas@hni.upb.de
Abstract. We define here a distributed abstract state machine (DASM) [7] of
the network or routing layer of mobile ad hoc networks [13]. Such networks re-
quire routing strategies ubstantially different fr om those used in static ommu-
nication networks, since storing and updating large routing tables at mobile
hosts would congest the network with administration packets very fast. In [1],
the hypercubic location service is presented, which considers a very strong
definition of ault-tolerance thereby improving sta te-of-the-art ad hoc routing
protocols in several respects. Our goal in modeling the protocols for the distrib-
uted location service and the position based routin g is twofold. First, we support
the definition and validation of wireless communication protocols and imple-
mentations based thereon. Second, we feel that the abstract computation model
naturally reflects the layering principle of communication architectures in com-
bination with an uncompromisingly local view of the application domain. Thus
we can identify fundamental semantic oncepts, such as concurrency, reactivity
and asynchronism, directly with the related concepts as imposed by the given
application context.
1 Introduction
In this paper, we define a distributed abstract state machine (DASM) model [7] of the
network or routing layer protocol for mobile ad hoc network s. Such networks are de-
signed for wireless communication and require no fixed infrastructure as the mobile
hosts also perform routing tasks [13]. Thus, they a re particularly suitable, for instance,
for escue opera
您可能关注的文档
- Eppendorf艾本德移液器.pdf
- Equality of What Experimental Tests of Multidimensional Inequality Measures.pdf
- Equilibration processes in the Warm-Hot Intergalactic Medium.pdf
- Equilibrium and absolute minimal states of Mumford-Shah functionals and brittle fracture pr.pdf
- er4pt_user_manual.pdf
- ERF5 drought and salt in tomato.pdf
- ERL GLOBAL CROP PRODUCTION.pdf
- Erosive esophagitis SIBO.pdf
- Erythromycin Delays Symptom Recurrence.pdf
- ESER-NX6 数字气压传感器Rev.1.0.pdf
- 2024-2025学年初中数学九年级上册青岛版(2024)教学设计合集.docx
- 2024-2025学年初中数学九年级上册浙教版(2024)教学设计合集.docx
- 第8课 西欧庄园 教学设计-2023-2024学年部编版九年级世界历史上册.docx
- 语文作文教学中的情境创设方法研究教学研究课题报告.docx
- 整合多种资源提升小学生学习兴趣教学研究课题报告.docx
- 语言艺术教育在高中综合素质中的重要性教学研究课题报告.docx
- 基于项目学习的高中综合实践活动研究教学研究课题报告.docx
- 基于实际案例的语文课堂教学反思教学研究课题报告.docx
- 2024-2025学年小学英语一年级下册牛津上海版(深圳用)(2024)教学设计合集.docx
- 2024-2025学年小学科学五年级下册青岛版(六三制2024)教学设计合集.docx
文档评论(0)