发布求助
文献互助 智能选刊 最新文献

2011 Tenth International Symposium on Autonomous Decentralized Systems最新文献

筛选
英文 中文
Distance-and-Rate Dependent RTS/CTS Reservation in Wireless LAN for Enhancing Spatial Reuse 基于距离和速率的无线局域网RTS/CTS预留增强空间复用
2011 Tenth International Symposium on Autonomous Decentralized Systems Pub Date : 2011-03-23 DOI: 10.1109/ISADS.2011.71
H. Morino, M. Inoue, T. Sanefuji
{"title":"Distance-and-Rate Dependent RTS/CTS Reservation in Wireless LAN for Enhancing Spatial Reuse","authors":"H. Morino, M. Inoue, T. Sanefuji","doi":"10.1109/ISADS.2011.71","DOIUrl":"https://doi.org/10.1109/ISADS.2011.71","url":null,"abstract":"With the emergence of functional wireless terminals, increased network capacity is needed for wireless LANs. Considering the limited available frequency channels for wireless LAN, improving spatial channel reuse performance of MAC protocol is a key requirement for this purpose. In this paper, we present a novel RTS/CTS reservation scheme for CSMA/CA which improves spatial reuse by taking account for inter-node distance in the network. The main feature of the proposed scheme is that it adaptively change range of NAV (Network Allocation Vector) depending on the distance between a source node and a destination node. The range of NAV is also changed on the current required SINR (Signal and Interference Noise Ratio) which is determined by the current transmission rate, thus this scheme can be used for multirate data transmission. Performance evaluation using a synchronous frame based media access model shows the proposed scheme improves bandwidth efficiency by about 30% at maximum compared with existing CSMA/CA with RTS/CTS.","PeriodicalId":221833,"journal":{"name":"2011 Tenth International Symposium on Autonomous Decentralized Systems","volume":"35 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-03-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121354146","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}
引用次数: 3
Assurance Diversity Network Platform for NWGN - From New-Generation Network Vision to Multiple Customized Networks NWGN保障多样性网络平台——从新一代网络视觉到多定制网络
2011 Tenth International Symposium on Autonomous Decentralized Systems Pub Date : 2011-03-23 DOI: 10.1109/ISADS.2011.84
Toshiaki Suzuki, N. Nishinaga, A. Nakao
{"title":"Assurance Diversity Network Platform for NWGN - From New-Generation Network Vision to Multiple Customized Networks","authors":"Toshiaki Suzuki, N. Nishinaga, A. Nakao","doi":"10.1109/ISADS.2011.84","DOIUrl":"https://doi.org/10.1109/ISADS.2011.84","url":null,"abstract":"This paper describes an assurance diversity network platform for the New-generation Network (NWGN)/Future Internet. The primary focus is on the vision and five concrete network targets to realize the NWGN, which should ultimately contribute to global society over several decades. In the latter half of the paper, we propose a diversity network platform (DNP) concept for effectively accommodating various networks concurrently. In the DNP, physical resources such as network bandwidth, computation, and storage are managed as a logically integrated resource. Optical/electronic, path/packet, and wired/wireless networks are also managed as a unified network. Apart from this, a new network can be created by installing new functions since the unified network is equipped not only with network resources but also computation and storage resources. Later in the paper we describe technological challenges for the assurance DNP that is the DNP with error-tolerant and reliable features.","PeriodicalId":221833,"journal":{"name":"2011 Tenth International Symposium on Autonomous Decentralized Systems","volume":"30 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-03-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127189972","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}
引用次数: 3
Establishment Phased-In Constructing Method for System Expansion of Tokyo Metropolitan Railway System 东京都铁路系统扩建分阶段施工方法的建立
2011 Tenth International Symposium on Autonomous Decentralized Systems Pub Date : 2011-03-23 DOI: 10.1109/ISADS.2011.103
Daisuke Yagyu, H. Osumi, Hidenari Tokunaga
{"title":"Establishment Phased-In Constructing Method for System Expansion of Tokyo Metropolitan Railway System","authors":"Daisuke Yagyu, H. Osumi, Hidenari Tokunaga","doi":"10.1109/ISADS.2011.103","DOIUrl":"https://doi.org/10.1109/ISADS.2011.103","url":null,"abstract":"Autonomous decentralized system (ADS) architecture has been used to construct high assurance control systems like infrastructure systems. Such systems have to be expanded these functions to meet new demands of service. In that case, the method which can be used for the system expansion without any bad influence to the online systems is essential. In this paper, we clarify that a new system expansion method without any bad influence to the online systems. And we apply this method to a railway transport operation control system (ATOS) to expand the system.","PeriodicalId":221833,"journal":{"name":"2011 Tenth International Symposium on Autonomous Decentralized Systems","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-03-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123558280","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
Investigation of Energy Consumption of Mobile Station for Instant Messaging Services 即时通讯业务移动站能耗调查
2011 Tenth International Symposium on Autonomous Decentralized Systems Pub Date : 2011-03-23 DOI: 10.1109/ISADS.2011.52
Y. Chung
{"title":"Investigation of Energy Consumption of Mobile Station for Instant Messaging Services","authors":"Y. Chung","doi":"10.1109/ISADS.2011.52","DOIUrl":"https://doi.org/10.1109/ISADS.2011.52","url":null,"abstract":"Recently, instant messaging service has been widely used by many users. In instant messaging, mobile users need to notify their instant messaging server of activity information periodically, so that their status should be managed and displayed as active at instant messengers of their buddies. The periodic notification, however, prevents instant messenger from entering sleep mode, and thus, results in energy consumption. Although the energy consumption may not be a big problem for desktop PC, which has stable power source, it is significant to mobile stations (MSs) operated with battery. Since a detailed modeling and analysis on energy consumption of MSs is a prerequisite to understand the effect of various parameters on energy consumption deeply and devise an efficient energy management scheme, we develop a more detailed analytical model of state transitions of MSs for instant messaging services. Then, we apply the model to evaluate energy consumption due to instant messaging services, based on steady state probability of MS states.","PeriodicalId":221833,"journal":{"name":"2011 Tenth International Symposium on Autonomous Decentralized Systems","volume":"6 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-03-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115219055","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
Autonomous Continuous Target Tracking for Multi-sensor Systems and Its Application for Radar Network 多传感器系统自主连续目标跟踪及其在雷达网络中的应用
2011 Tenth International Symposium on Autonomous Decentralized Systems Pub Date : 2011-03-23 DOI: 10.1109/ISADS.2011.98
T. Koga
{"title":"Autonomous Continuous Target Tracking for Multi-sensor Systems and Its Application for Radar Network","authors":"T. Koga","doi":"10.1109/ISADS.2011.98","DOIUrl":"https://doi.org/10.1109/ISADS.2011.98","url":null,"abstract":"Aircraft is one of the most dynamic and fast transportation systems. Aircraft is flying at the speed of hundreds km/h and moving in three dimensional space without stopping. Therefore, in air traffic, the situation is dynamically changing from moment to moment, from position to position. Under this dynamic changing situation, air traffic control radar systems are required to monitor aircraft with high safety. Secondary Surveillance Radar (SSR) has been accomplishing this difficult work for a long time. As the number of aircraft with new capability increases, SSR is suffering from data traffic congestions between aircraft and SSR Ground Station (GS). In this paper, we propose the Autonomous Continuous Target Tracking Technology. This technology reduces data traffic in air-ground communication with keeping continuous target tracking .","PeriodicalId":221833,"journal":{"name":"2011 Tenth International Symposium on Autonomous Decentralized Systems","volume":"7 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-03-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122823633","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
Experimental Feasibility Analysis of Primary-Shadow Replication Scheme for I/O Tansmission Fault-Tolerance in Auto-Pilot Program of Small Scale UAV 小型无人机自动驾驶程序I/O传输容错主影复制方案实验可行性分析
2011 Tenth International Symposium on Autonomous Decentralized Systems Pub Date : 2011-03-23 DOI: 10.1109/ISADS.2011.55
Junyeong Kim, Doohyun Kim
{"title":"Experimental Feasibility Analysis of Primary-Shadow Replication Scheme for I/O Tansmission Fault-Tolerance in Auto-Pilot Program of Small Scale UAV","authors":"Junyeong Kim, Doohyun Kim","doi":"10.1109/ISADS.2011.55","DOIUrl":"https://doi.org/10.1109/ISADS.2011.55","url":null,"abstract":"This paper treats the Primary-Shadow Replication Scheme to embody fault-tolerant capability in Operation Flight Program (OFP) of small Unmanned Aerial Vehicles (UAV). The recent increase in UAV applications to various autonomous missions demands a highly reliable and safe OFP to cope with unexpected system faults. This paper proposes a modified application of Primary-Shadow TMO's Replication (PSTR)[2]mechanism for quick detection and rectification of system failure with minimum intervention of human pilot. For this purpose the PSTR method is integrated into the Hardware-In-the-Loop Simulation (HILS) environment with a UAV model. Various failure modes in such as receiving UAV's sensor data and sending calculated data to UAV's actuator are simulated and tested to show the enhanced fault-tolerance nature of the OFP. The test results show that 96% of injected faults were successfully detected and recovered, and 94% of shadow OFP was successfully activated within given deadline.","PeriodicalId":221833,"journal":{"name":"2011 Tenth International Symposium on Autonomous Decentralized Systems","volume":"22 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-03-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114172312","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
Distributed Incremental Construction Method of Delaunay Overlay Network Using Detour Paths 基于绕行路径的Delaunay覆盖网络分布式增量构建方法
2011 Tenth International Symposium on Autonomous Decentralized Systems Pub Date : 2011-03-23 DOI: 10.1109/ISADS.2011.99
M. Ohnishi, M. Inoue
{"title":"Distributed Incremental Construction Method of Delaunay Overlay Network Using Detour Paths","authors":"M. Ohnishi, M. Inoue","doi":"10.1109/ISADS.2011.99","DOIUrl":"https://doi.org/10.1109/ISADS.2011.99","url":null,"abstract":"Delaunay overlay networks have a Delaunay graph structure, which has spatial locality. This feature is useful for distributed spatial computing, distributed geographical database systems, and geometric routing networks. An incremental construction method of these networks is proposed. The existing method assumes that each communication node can create overlay connections using IDs with all other nodes via underlay networks. Yet this method cannot be used for deploying underlay networks. To solve this problem, the existing method is enhanced by using detour paths for spatial neighbor-connected networks. We propose a detour path construction procedure, which is useful for introducing position-based heuristic routing to L3 networks, DTNs, and database networks.","PeriodicalId":221833,"journal":{"name":"2011 Tenth International Symposium on Autonomous Decentralized Systems","volume":"21 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-03-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114418865","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
Automated Refinement of Dependability Analysis through Monitoring in Dynamically Connected Systems 动态连接系统可靠性分析的自动化改进
2011 Tenth International Symposium on Autonomous Decentralized Systems Pub Date : 2011-03-23 DOI: 10.1109/ISADS.2011.46
A. Bertolino, Antonello Calabrò, F. Giandomenico, M. Martinucci, P. Masci
{"title":"Automated Refinement of Dependability Analysis through Monitoring in Dynamically Connected Systems","authors":"A. Bertolino, Antonello Calabrò, F. Giandomenico, M. Martinucci, P. Masci","doi":"10.1109/ISADS.2011.46","DOIUrl":"https://doi.org/10.1109/ISADS.2011.46","url":null,"abstract":"Model-based analysis is a well-established method to assess the dependability of a system before deployment. It is well known that, in highly dynamic contexts, the accuracy of the analysis results can be limited because unpredictable phenomena may affect the system during its operation. In such contexts, the analysis typically needs to be refined with data obtained from real system executions. In this paper we tackle the issue of refining model-based dependability analysis in automated systems through monitoring. Specifically, we report on our preliminary results on the development of a system that exploits the synergic use of an automated approach for model-based dependability analysis and a flexible monitoring architecture.","PeriodicalId":221833,"journal":{"name":"2011 Tenth International Symposium on Autonomous Decentralized Systems","volume":"91 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-03-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122093584","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}
引用次数: 1
Service Brokering and Mediation: Enabling Next Generation Market and Customer Driven Service Delivery 服务代理和中介:实现下一代市场和客户驱动的服务交付
2011 Tenth International Symposium on Autonomous Decentralized Systems Pub Date : 2011-03-23 DOI: 10.1109/ISADS.2011.100
K. Cheng, Y. Gottlieb, G. Levin, F. Lin
{"title":"Service Brokering and Mediation: Enabling Next Generation Market and Customer Driven Service Delivery","authors":"K. Cheng, Y. Gottlieb, G. Levin, F. Lin","doi":"10.1109/ISADS.2011.100","DOIUrl":"https://doi.org/10.1109/ISADS.2011.100","url":null,"abstract":"The combination of cloud computing, ad hoc networking and proliferation of wireless devices and sensors will be the most significant disruptive technology to transform the way next generation services are supplied and consumed in the communications industry since the introduction of Internet. In this next generation service marketplace, service brokering is emerging as a promising low-risk business model for offering new and value-added services through cross provider service delivery and partnership. The paper presents a service brokering architecture possessing the capabilities necessary to support a service delivery infrastructure for integration, delivery and management of composite services in a multi-provider heterogeneous networks environment.","PeriodicalId":221833,"journal":{"name":"2011 Tenth International Symposium on Autonomous Decentralized Systems","volume":"9 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-03-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129906547","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
Modeling Web Applications Design with Automata and Its Verification 用自动机建模Web应用程序设计及其验证
2011 Tenth International Symposium on Autonomous Decentralized Systems Pub Date : 2011-03-23 DOI: 10.1109/ISADS.2011.108
K. Homma, S. Izumi, Kaoru Takahashi, A. Togashi
{"title":"Modeling Web Applications Design with Automata and Its Verification","authors":"K. Homma, S. Izumi, Kaoru Takahashi, A. Togashi","doi":"10.1109/ISADS.2011.108","DOIUrl":"https://doi.org/10.1109/ISADS.2011.108","url":null,"abstract":"The number of Web applications handling online transaction is increasing, but verication of the correctness of the Web application design has been done manually. This paper proposes a method for modeling Web applications using two nite-state automata, i.e., a page automaton which species Web page transitions, and an internal state automaton which species internal state transitions of the Web application. General assertions for checking Web application design are proposed, and a theoretical result for deadlock-freeness of Web application is also shown. An example Web application is modeled by the proposed method and checked using the model checker Spin.","PeriodicalId":221833,"journal":{"name":"2011 Tenth International Symposium on Autonomous Decentralized Systems","volume":"255 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-03-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123997245","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}
引用次数: 1
下一页 尾页
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整，为了账户安全，请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们：info@booksci.cn Book学术提供免费学术资源搜索服务，方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号：481959085
Book学术官方微信