首页 > 最新文献

ACM SE '10最新文献

英文 中文
Modular development and verification of domain requirements via model checking 通过模型检查进行模块化开发和领域需求的验证
Pub Date : 2010-04-15 DOI: 10.1145/1900008.1900087
Tanmay Bhowmik, Nan Niu, E. B. Allen
A holistic domain model of a software product line is costly to build and difficult to verify and evolve. We propose a framework to incrementally develop domain requirements and to iteratively verify behavioral properties through model checking. We leverage state vectors to derive both local and global properties, and co-develop statechart models with temporal specifications in a modular way. We illustrate our framework using a worked example. The study shows that our framework can effectively detect inconsistencies and tighten the development feedback loop by automatically verifying domain properties.
软件产品线的整体领域模型的构建成本很高,并且难以验证和发展。我们提出了一个框架来增量地开发领域需求,并通过模型检查迭代地验证行为属性。我们利用状态向量来派生局部和全局属性,并以模块化的方式与时间规范共同开发状态图模型。我们使用一个工作示例来说明我们的框架。研究表明,该框架通过对域属性的自动验证,可以有效地检测不一致性,并加强开发反馈循环。
{"title":"Modular development and verification of domain requirements via model checking","authors":"Tanmay Bhowmik, Nan Niu, E. B. Allen","doi":"10.1145/1900008.1900087","DOIUrl":"https://doi.org/10.1145/1900008.1900087","url":null,"abstract":"A holistic domain model of a software product line is costly to build and difficult to verify and evolve. We propose a framework to incrementally develop domain requirements and to iteratively verify behavioral properties through model checking. We leverage state vectors to derive both local and global properties, and co-develop statechart models with temporal specifications in a modular way. We illustrate our framework using a worked example. The study shows that our framework can effectively detect inconsistencies and tighten the development feedback loop by automatically verifying domain properties.","PeriodicalId":333104,"journal":{"name":"ACM SE '10","volume":"70 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-04-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127342286","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
XSLT and application maintainability: a case study XSLT和应用程序可维护性:一个案例研究
Pub Date : 2010-04-15 DOI: 10.1145/1900008.1900065
A. Stauffer, Phil Pfeiffer
Software maintainability can be difficult to plan for when strategies for software development present tradeoffs between popular support and expressiveness. These tradeoffs were explored in the context of a recent software project, where two schema transformation applications were developed in two ways: a first that used the traditional XSLT 1.0 plus pull processing approach to application development, and a second using XSLT 2.0 and push processing. The improvements obtained with the second strategy, which took 1/4 of the time to implement while substantially reducing the size of both applications and the complexity of one, suggest that the benefits of transitioning to XSLT 2.0 and push processing far outweigh the benefits of the older approaches.
当软件开发策略在流行支持和表达性之间进行权衡时,软件可维护性很难规划。我们在最近的一个软件项目中探讨了这些权衡,其中以两种方式开发了两个模式转换应用程序:第一种使用传统的XSLT 1.0加拉处理方法进行应用程序开发,第二种使用XSLT 2.0加推处理。第二种策略的改进只花了1/4的时间来实现,同时大大减少了应用程序的大小和复杂性,这表明转换到XSLT 2.0和推送处理的好处远远超过旧方法的好处。
{"title":"XSLT and application maintainability: a case study","authors":"A. Stauffer, Phil Pfeiffer","doi":"10.1145/1900008.1900065","DOIUrl":"https://doi.org/10.1145/1900008.1900065","url":null,"abstract":"Software maintainability can be difficult to plan for when strategies for software development present tradeoffs between popular support and expressiveness. These tradeoffs were explored in the context of a recent software project, where two schema transformation applications were developed in two ways: a first that used the traditional XSLT 1.0 plus pull processing approach to application development, and a second using XSLT 2.0 and push processing. The improvements obtained with the second strategy, which took 1/4 of the time to implement while substantially reducing the size of both applications and the complexity of one, suggest that the benefits of transitioning to XSLT 2.0 and push processing far outweigh the benefits of the older approaches.","PeriodicalId":333104,"journal":{"name":"ACM SE '10","volume":"12 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-04-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128115312","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Leveraging CS capstone project and green smart energy computing with WSN in a box 利用CS顶点项目和绿色智能能源计算与WSN在一个盒子里
Pub Date : 2010-04-15 DOI: 10.1145/1900008.1900122
K. Qian, D. Lo
This paper describes an innovative product-oriented and software engineering process-guided Computer Science (CS) capstone project model for green smart energy application with aportable and inexpensive Wireless Sensor Network (WSN) kit in a Box (WinBox). The project is infused with ZigBee wireless technology and requires a wide range of CS and Software Engineering knowledge elements. Students will gain experience to tie their knowledge and skills learned in the CS discipline to analyze, design, and develop deliverable real world oriented product prototypes, and will be motivated to catch up with emerging technologies in "learning by doing" and be promoted for creativity and life-long learning.
本文描述了一个创新的以产品为导向和软件工程过程为指导的计算机科学(CS)顶点项目模型,用于绿色智能能源应用,具有便携式和廉价的无线传感器网络(WSN)套件在一个盒子里(WinBox)。该项目注入了ZigBee无线技术,需要广泛的CS和软件工程知识元素。学生将获得经验,将他们在计算机科学学科所学到的知识和技能结合起来,分析、设计和开发可交付的面向现实世界的产品原型,并将在“边做边学”中激励自己赶上新兴技术,促进创造力和终身学习。
{"title":"Leveraging CS capstone project and green smart energy computing with WSN in a box","authors":"K. Qian, D. Lo","doi":"10.1145/1900008.1900122","DOIUrl":"https://doi.org/10.1145/1900008.1900122","url":null,"abstract":"This paper describes an innovative product-oriented and software engineering process-guided Computer Science (CS) capstone project model for green smart energy application with aportable and inexpensive Wireless Sensor Network (WSN) kit in a Box (WinBox). The project is infused with ZigBee wireless technology and requires a wide range of CS and Software Engineering knowledge elements. Students will gain experience to tie their knowledge and skills learned in the CS discipline to analyze, design, and develop deliverable real world oriented product prototypes, and will be motivated to catch up with emerging technologies in \"learning by doing\" and be promoted for creativity and life-long learning.","PeriodicalId":333104,"journal":{"name":"ACM SE '10","volume":"78 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-04-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129325955","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Controlling information display in larger pixel spaces: a study of window snipping by multiple-monitor users 在较大像素空间中控制信息显示:多显示器用户窗口剪切的研究
Pub Date : 2010-04-15 DOI: 10.1145/1900008.1900106
D. Hutchings, J. Stasko
We evaluate snip, a region-based window operation, in the context of multiple-monitor usage. Snip allows users to restrict the view of any window to a specified subregion. For example snip is suitable for displaying appropriate reference information, a task of increased importance on multiple-monitor systems. Our field study results indicate that everyday multiple-monitor users employed snip to show more windows simultaneously than without snip and favored a specific monitor on which to show snipped windows. In short, the field study demonstrated an expected space-efficiency gain by using snip in multiple-monitor environments.
我们评估剪辑,一个基于区域的窗口操作,在多监视器使用的背景下。snipp允许用户将任何窗口的视图限制为指定的子区域。例如,剪辑适用于显示适当的参考信息,这是一项在多监视器系统上日益重要的任务。我们的现场研究结果表明,与不使用剪辑相比,日常多监视器用户使用剪辑来同时显示更多的窗口,并且更喜欢在特定的监视器上显示剪辑窗口。简而言之,现场研究表明,在多监视器环境中使用snip可以获得预期的空间效率增益。
{"title":"Controlling information display in larger pixel spaces: a study of window snipping by multiple-monitor users","authors":"D. Hutchings, J. Stasko","doi":"10.1145/1900008.1900106","DOIUrl":"https://doi.org/10.1145/1900008.1900106","url":null,"abstract":"We evaluate snip, a region-based window operation, in the context of multiple-monitor usage. Snip allows users to restrict the view of any window to a specified subregion. For example snip is suitable for displaying appropriate reference information, a task of increased importance on multiple-monitor systems. Our field study results indicate that everyday multiple-monitor users employed snip to show more windows simultaneously than without snip and favored a specific monitor on which to show snipped windows. In short, the field study demonstrated an expected space-efficiency gain by using snip in multiple-monitor environments.","PeriodicalId":333104,"journal":{"name":"ACM SE '10","volume":"37 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-04-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123087431","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Digital democracy: creating an online democracy education simulation in a software engineering class 数字民主:在软件工程课程中创建在线民主教育模拟
Pub Date : 2010-04-15 DOI: 10.1145/1900008.1900083
M. Sarkar, J. William
This work in progress project presents a computer game development approach to enhance history learning for middle school and high school students. This project seeks to create an innovative software package that will serve as a model for democracy education in Tennessee and the United States. Through the collaboration of professors of computer science and history, historical content from Middle Tennessee State University's Gore Center will be digitized and manipulated to create an interactive, group-oriented, computer-based simulation of how democracy works. In the first phase of this project we are designing a computer game that allows students to learn about the history of the Civil Rights Bill through the decisions that Senator Gore Sr. made. Senator Gore Sr. was a Tennessee Senator during the time of the Civil Rights Bill. We also present our experiences in using this real world project as a basis for the semester long team project development for undergraduate and graduate software engineering class.
这个正在进行中的项目提出了一种电脑游戏开发方法来提高初高中学生的历史学习。该项目旨在创建一个创新的软件包,作为田纳西州和美国民主教育的典范。通过计算机科学和历史教授的合作,来自中田纳西州立大学戈尔中心的历史内容将被数字化和处理,以创建一个互动的、以群体为导向的、基于计算机的民主运作模拟。在这个项目的第一阶段,我们正在设计一个电脑游戏,让学生们通过老戈尔参议员所做的决定来了解民权法案的历史。在民权法案时期,老戈尔参议员是田纳西州的参议员。我们也展示了我们使用这个真实世界项目的经验,作为本科和研究生软件工程课程长达一学期的团队项目开发的基础。
{"title":"Digital democracy: creating an online democracy education simulation in a software engineering class","authors":"M. Sarkar, J. William","doi":"10.1145/1900008.1900083","DOIUrl":"https://doi.org/10.1145/1900008.1900083","url":null,"abstract":"This work in progress project presents a computer game development approach to enhance history learning for middle school and high school students. This project seeks to create an innovative software package that will serve as a model for democracy education in Tennessee and the United States. Through the collaboration of professors of computer science and history, historical content from Middle Tennessee State University's Gore Center will be digitized and manipulated to create an interactive, group-oriented, computer-based simulation of how democracy works. In the first phase of this project we are designing a computer game that allows students to learn about the history of the Civil Rights Bill through the decisions that Senator Gore Sr. made. Senator Gore Sr. was a Tennessee Senator during the time of the Civil Rights Bill.\u0000 We also present our experiences in using this real world project as a basis for the semester long team project development for undergraduate and graduate software engineering class.","PeriodicalId":333104,"journal":{"name":"ACM SE '10","volume":"6 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-04-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"117347170","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 2
Adding a robot project to a CS1 course 向CS1课程添加机器人项目
Pub Date : 2010-04-15 DOI: 10.1145/1900008.1900115
P. Pierce
Beginning programming courses can take many forms -- different order of topics, different languages, different texts, and different objectives. Because the material to be covered can often be very detailed and abstract, student interest and attention is hard to maintain. Adding a hands-on project to the course offers the instructor the ability to have the students focus on a fun project while still learning the rubrics of programming.
编程入门课程可以采取多种形式——不同的主题顺序、不同的语言、不同的文本和不同的目标。因为要涵盖的材料往往非常详细和抽象,学生的兴趣和注意力很难保持。在课程中增加一个实际操作的项目,使教师能够让学生在学习编程规则的同时专注于一个有趣的项目。
{"title":"Adding a robot project to a CS1 course","authors":"P. Pierce","doi":"10.1145/1900008.1900115","DOIUrl":"https://doi.org/10.1145/1900008.1900115","url":null,"abstract":"Beginning programming courses can take many forms -- different order of topics, different languages, different texts, and different objectives. Because the material to be covered can often be very detailed and abstract, student interest and attention is hard to maintain. Adding a hands-on project to the course offers the instructor the ability to have the students focus on a fun project while still learning the rubrics of programming.","PeriodicalId":333104,"journal":{"name":"ACM SE '10","volume":"228 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-04-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133446851","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Formally certified stable marriages 正式认证的稳定婚姻
Pub Date : 2010-04-15 DOI: 10.1145/1900008.1900056
N. A. Hamid, Caleb Castleberry
We present an implementation of the Gale-Shapley stable matching algorithm in the Coq proof assistant. The resulting program is guaranteed to terminate and provides a proof of the stability of the matchings that it produces. While proofs of the algorithm's termination and correctness exist on paper, our purpose was to investigate the process of developing a completely formalized proof for an executable implementation. The stages of our development are presented as a series of refinements to an initial version of the program. We suggest that the incremental approach we demonstrate is a reasonable model to follow in developing formalized correctness proofs for complex algorithms.
在Coq证明助手中实现了Gale-Shapley稳定匹配算法。生成的程序保证终止,并提供了它生成的匹配的稳定性的证明。虽然算法的终止和正确性的证明存在于纸上,但我们的目的是研究为可执行实现开发完全形式化证明的过程。我们的开发阶段是作为程序初始版本的一系列改进而呈现的。我们认为,我们所展示的增量方法是一个合理的模型,可以在开发复杂算法的形式化正确性证明时遵循。
{"title":"Formally certified stable marriages","authors":"N. A. Hamid, Caleb Castleberry","doi":"10.1145/1900008.1900056","DOIUrl":"https://doi.org/10.1145/1900008.1900056","url":null,"abstract":"We present an implementation of the Gale-Shapley stable matching algorithm in the Coq proof assistant. The resulting program is guaranteed to terminate and provides a proof of the stability of the matchings that it produces. While proofs of the algorithm's termination and correctness exist on paper, our purpose was to investigate the process of developing a completely formalized proof for an executable implementation. The stages of our development are presented as a series of refinements to an initial version of the program. We suggest that the incremental approach we demonstrate is a reasonable model to follow in developing formalized correctness proofs for complex algorithms.","PeriodicalId":333104,"journal":{"name":"ACM SE '10","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-04-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131395601","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 2
Mobile web search personalization using ontological user profile 使用本体用户配置文件的移动网络搜索个性化
Pub Date : 2010-04-15 DOI: 10.1145/1900008.1900028
K. Goenka, I. Arpinar, M. Nural
Most present day search engines have a deterministic behavior in the sense that they return the same search results for all users who submit the same query at a certain time. They do not take the user!s interests and preferences into account in the retrieval process. Integrating user context in the retrieval process can help deliver more targeted search results, thereby providing a personalized search experience to the user. Personalizing web search involves the process of identifying user interests during interaction with the user, and then using that information to deliver results that are more relevant to the user. In this paper, we present our approach to personalizing web search on a mobile device (iPhone). Our approach involves building an ontological model of user interests on the user!s mobile device based on his interaction with web search results. Personalization of search results is achieved by re-ranking search results returned by a standard search engine (Yahoo) based on proximity to the user!s interest model. The ability to recognize user interests in a completely non-invasive way and the accuracy of personalized results are some of the major advantages of our approach.
目前大多数搜索引擎都具有确定性行为,即它们为在特定时间提交相同查询的所有用户返回相同的搜索结果。他们不带走用户!在检索过程中考虑到美国人的兴趣和偏好。在检索过程中集成用户上下文有助于提供更有针对性的搜索结果,从而为用户提供个性化的搜索体验。个性化网络搜索包括在与用户交互时识别用户兴趣的过程,然后使用这些信息来提供与用户更相关的结果。在本文中,我们提出了在移动设备(iPhone)上实现个性化网络搜索的方法。我们的方法包括建立用户兴趣的本体论模型!基于他与网络搜索结果的互动,他选择了S移动设备。搜索结果的个性化是通过根据与用户的接近程度对标准搜索引擎(雅虎)返回的搜索结果重新排序来实现的!S利益模型。以完全非侵入性的方式识别用户兴趣的能力和个性化结果的准确性是我们方法的一些主要优势。
{"title":"Mobile web search personalization using ontological user profile","authors":"K. Goenka, I. Arpinar, M. Nural","doi":"10.1145/1900008.1900028","DOIUrl":"https://doi.org/10.1145/1900008.1900028","url":null,"abstract":"Most present day search engines have a deterministic behavior in the sense that they return the same search results for all users who submit the same query at a certain time. They do not take the user!s interests and preferences into account in the retrieval process. Integrating user context in the retrieval process can help deliver more targeted search results, thereby providing a personalized search experience to the user. Personalizing web search involves the process of identifying user interests during interaction with the user, and then using that information to deliver results that are more relevant to the user. In this paper, we present our approach to personalizing web search on a mobile device (iPhone). Our approach involves building an ontological model of user interests on the user!s mobile device based on his interaction with web search results. Personalization of search results is achieved by re-ranking search results returned by a standard search engine (Yahoo) based on proximity to the user!s interest model. The ability to recognize user interests in a completely non-invasive way and the accuracy of personalized results are some of the major advantages of our approach.","PeriodicalId":333104,"journal":{"name":"ACM SE '10","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-04-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129814118","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 9
That is not my program: investigating the relation between program comprehension and program authorship 那不是我的计划:调查程序理解和程序创作之间的关系
Pub Date : 2010-04-15 DOI: 10.1145/1900008.1900142
C. Dasgupta
Program comprehension has been an integral part of a wide range of activities including introductory programming courses in colleges, end-user customizations to existing software, and software maintenance. Prior research has highlighted some of the factors that influence this task but has ignored the issue of program authorship. This pilot study explores the relationship between program comprehension and authorship and highlights the factors that are under play. Preliminary investigation has revealed that some of the important factors are - self efficacy, ownership, knowledge organization, existing mental models, access to expert community and cultural support.
程序理解已经成为广泛活动的一个组成部分,包括大学的编程入门课程、最终用户对现有软件的定制以及软件维护。先前的研究强调了影响这项任务的一些因素,但忽略了程序作者的问题。这项初步研究探索了程序理解和作者之间的关系,并突出了正在发挥作用的因素。初步调查发现,自我效能感、所有权、知识组织、现有心理模型、专家社区的可及性和文化支持是影响大学生心理素质的重要因素。
{"title":"That is not my program: investigating the relation between program comprehension and program authorship","authors":"C. Dasgupta","doi":"10.1145/1900008.1900142","DOIUrl":"https://doi.org/10.1145/1900008.1900142","url":null,"abstract":"Program comprehension has been an integral part of a wide range of activities including introductory programming courses in colleges, end-user customizations to existing software, and software maintenance. Prior research has highlighted some of the factors that influence this task but has ignored the issue of program authorship. This pilot study explores the relationship between program comprehension and authorship and highlights the factors that are under play. Preliminary investigation has revealed that some of the important factors are - self efficacy, ownership, knowledge organization, existing mental models, access to expert community and cultural support.","PeriodicalId":333104,"journal":{"name":"ACM SE '10","volume":"365 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-04-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130773002","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 6
Development of the multicast flow oriented routing protocol for mobile ad hoc networks 面向组播流的移动自组织网络路由协议的开发
Pub Date : 2010-04-15 DOI: 10.1145/1900008.1900134
Thomas DeMarcus, N. Meghanathan
This research project is geared towards the implementation of a multicast routing protocol for Mobile Ad Hoc Networks (MANETs). MANET nodes operate on a limited battery power and move freely within a dynamically created network. Due to autonomous node movement and limited transmission range, nodes frequently reconfigure links between neighboring nodes making it imperative those nodes know there position in relation to other nodes in the network. The frequent changes in connectivity between nodes can cause various problems such as unwanted battery usage due to large amounts of information overhead and the loss of information during transmissions. In an effort to find the best routing protocol to cut down on route discovery overhead, this research involves the development of a stable multicast routing protocol based on the Flow-Oriented Routing Protocol (FORP), one of the best stable path unicast routing protocol. The developed protocol will be called M-FORP. Simulations of M-FORP will be conducted under different conditions of node mobility and density. We will also compare the performance of M-FORP with a couple of other routing protocols such as node velocity-based stable path (NVSP) and Bandwidth Efficient Multicast Routing Protocol (BEMRP). The results will be used to determine which routing protocol would be most efficient in solving the excess information overhead problem.
本研究项目旨在实现移动自组织网络(manet)的多播路由协议。MANET节点依靠有限的电池电量运行,并在动态创建的网络中自由移动。由于节点的自主移动和有限的传输范围,节点频繁地重新配置相邻节点之间的链路,使得这些节点必须知道自己相对于网络中其他节点的位置。节点之间连接的频繁变化可能导致各种问题,例如由于大量信息开销和传输过程中的信息丢失而导致不必要的电池使用。为了寻找最佳路由协议以减少路由发现开销,本研究在最佳稳定路径单播路由协议之一的面向流路由协议(Flow-Oriented routing protocol, FORP)的基础上开发了一种稳定的组播路由协议。开发的协议将被称为M-FORP。M-FORP将在不同的节点迁移率和密度条件下进行仿真。我们还将M-FORP的性能与其他几个路由协议进行比较,如基于节点速度的稳定路径(NVSP)和带宽高效多播路由协议(BEMRP)。结果将用于确定哪种路由协议在解决过多的信息开销问题方面最有效。
{"title":"Development of the multicast flow oriented routing protocol for mobile ad hoc networks","authors":"Thomas DeMarcus, N. Meghanathan","doi":"10.1145/1900008.1900134","DOIUrl":"https://doi.org/10.1145/1900008.1900134","url":null,"abstract":"This research project is geared towards the implementation of a multicast routing protocol for Mobile Ad Hoc Networks (MANETs). MANET nodes operate on a limited battery power and move freely within a dynamically created network. Due to autonomous node movement and limited transmission range, nodes frequently reconfigure links between neighboring nodes making it imperative those nodes know there position in relation to other nodes in the network. The frequent changes in connectivity between nodes can cause various problems such as unwanted battery usage due to large amounts of information overhead and the loss of information during transmissions. In an effort to find the best routing protocol to cut down on route discovery overhead, this research involves the development of a stable multicast routing protocol based on the Flow-Oriented Routing Protocol (FORP), one of the best stable path unicast routing protocol. The developed protocol will be called M-FORP. Simulations of M-FORP will be conducted under different conditions of node mobility and density. We will also compare the performance of M-FORP with a couple of other routing protocols such as node velocity-based stable path (NVSP) and Bandwidth Efficient Multicast Routing Protocol (BEMRP). The results will be used to determine which routing protocol would be most efficient in solving the excess information overhead problem.","PeriodicalId":333104,"journal":{"name":"ACM SE '10","volume":"602 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-04-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133697261","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
期刊
ACM SE '10
全部 Acc. Chem. Res. ACS Applied Bio Materials ACS Appl. Electron. Mater. ACS Appl. Energy Mater. ACS Appl. Mater. Interfaces ACS Appl. Nano Mater. ACS Appl. Polym. Mater. ACS BIOMATER-SCI ENG ACS Catal. ACS Cent. Sci. ACS Chem. Biol. ACS Chemical Health & Safety ACS Chem. Neurosci. ACS Comb. Sci. ACS Earth Space Chem. ACS Energy Lett. ACS Infect. Dis. ACS Macro Lett. ACS Mater. Lett. ACS Med. Chem. Lett. ACS Nano ACS Omega ACS Photonics ACS Sens. ACS Sustainable Chem. Eng. ACS Synth. Biol. Anal. Chem. BIOCHEMISTRY-US Bioconjugate Chem. BIOMACROMOLECULES Chem. Res. Toxicol. Chem. Rev. Chem. Mater. CRYST GROWTH DES ENERG FUEL Environ. Sci. Technol. Environ. Sci. Technol. Lett. Eur. J. Inorg. Chem. IND ENG CHEM RES Inorg. Chem. J. Agric. Food. Chem. J. Chem. Eng. Data J. Chem. Educ. J. Chem. Inf. Model. J. Chem. Theory Comput. J. Med. Chem. J. Nat. Prod. J PROTEOME RES J. Am. Chem. Soc. LANGMUIR MACROMOLECULES Mol. Pharmaceutics Nano Lett. Org. Lett. ORG PROCESS RES DEV ORGANOMETALLICS J. Org. Chem. J. Phys. Chem. J. Phys. Chem. A J. Phys. Chem. B J. Phys. Chem. C J. Phys. Chem. Lett. Analyst Anal. Methods Biomater. Sci. Catal. Sci. Technol. Chem. Commun. Chem. Soc. Rev. CHEM EDUC RES PRACT CRYSTENGCOMM Dalton Trans. Energy Environ. Sci. ENVIRON SCI-NANO ENVIRON SCI-PROC IMP ENVIRON SCI-WAT RES Faraday Discuss. Food Funct. Green Chem. Inorg. Chem. Front. Integr. Biol. J. Anal. At. Spectrom. J. Mater. Chem. A J. Mater. Chem. B J. Mater. Chem. C Lab Chip Mater. Chem. Front. Mater. Horiz. MEDCHEMCOMM Metallomics Mol. Biosyst. Mol. Syst. Des. Eng. Nanoscale Nanoscale Horiz. Nat. Prod. Rep. New J. Chem. Org. Biomol. Chem. Org. Chem. Front. PHOTOCH PHOTOBIO SCI PCCP Polym. Chem.
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
0
微信
客服QQ
Book学术公众号 扫码关注我们
反馈
×
意见反馈
请填写您的意见或建议
请填写您的手机或邮箱
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
Book学术官方微信
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术
文献互助 智能选刊 最新文献 互助须知 联系我们:info@booksci.cn
Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。
Copyright © 2023 Book学术 All rights reserved.
ghs 京公网安备 11010802042870号 京ICP备2023020795号-1