2014 IEEE 38th International Computer Software and Applications Conference Workshops最新文献

筛选
英文 中文
Using TTCN-3 to Test SPDY Protocol Interaction Property 使用TTCN-3测试SPDY协议交互特性
Sumei Zhang, Hua Li, Yu Xue, Xianrong Wang
{"title":"Using TTCN-3 to Test SPDY Protocol Interaction Property","authors":"Sumei Zhang, Hua Li, Yu Xue, Xianrong Wang","doi":"10.1109/COMPSACW.2014.90","DOIUrl":"https://doi.org/10.1109/COMPSACW.2014.90","url":null,"abstract":"SPDY protocol is a new application-layer communication protocol which was proposed by Google in order to overcome the defects of HTTP. On the basis of HTTP protocol, SPDY offered four improvements to shorten the page loading time such as multiplexed requests, prioritized requests, server pushed streams and compressed headers. However, there is no much test work of the SPDY especially treating it as a black box, focusing on its interaction property, or testing it by using TTCN-3. In this paper, the interaction property of SPDY protocol is analyzed according to the SPDY protocol draft specification, and a novel test work designed in view of SPDY interaction property is implemented. During the test work, the interaction granularity of the SPDY peers is divided into three kinds of granularity from different levels, meanwhile the test cases were generated in accordance with the draft specification and encoded by utilizing TTCN-3 language for executing on the TT work bench Professional software. Above all we must ensure the SPDY server-side can support the SPDY protocol and the test host installs TT work bench Professional software to complete TTCN-3 testing. Finally, the interaction property of SPDY protocol was tested and the test results were reported. Moreover, some failed test cases were analyzed in detail.","PeriodicalId":123335,"journal":{"name":"2014 IEEE 38th International Computer Software and Applications Conference Workshops","volume":"20 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-07-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121532692","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 a Safety- and Automotive-Oriented Process Line to Enable Reuse and Flexible Process Derivation 建立面向安全和面向汽车的流程线以实现重用和灵活的流程派生
B. Gallina, Shaghayegh Kashiyarandi, H. Martin, R. Bramberger
{"title":"Modeling a Safety- and Automotive-Oriented Process Line to Enable Reuse and Flexible Process Derivation","authors":"B. Gallina, Shaghayegh Kashiyarandi, H. Martin, R. Bramberger","doi":"10.1109/COMPSACW.2014.84","DOIUrl":"https://doi.org/10.1109/COMPSACW.2014.84","url":null,"abstract":"ISO 26262 is a recently introduced automotive functional safety standard. This standard imposes new requirements that must be fulfilled for conformance purposes. Thus, companies used to develop safety-related E/E systems in compliance with either only Automotive SPICE (ASPICE) or a combination of ASPICE and IEC 61508 have to quickly perform a gap analysis in order to introduce adequate changes in their way of working. Implementing such changes in a visionary way with expectations of a long-term payback is an urgent open issue. To contribute to addressing such issue, in this paper, we introduce a safety-oriented process line-based methodological framework to model commonalities and variabilities (changes) between the standards to enable reuse and flexible process derivation. To show the usefulness of our approach, we apply it to model a process-phase line for the development of safety-critical control units. Finally, we provide our lessons learned and concluding remarks.","PeriodicalId":123335,"journal":{"name":"2014 IEEE 38th International Computer Software and Applications Conference Workshops","volume":"27 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-07-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122442705","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}
引用次数: 33
Designing of a Network-Aware Cloud Robotic Sensor Observation Framework 一种网络感知云机器人传感器观测框架的设计
Fredrik Nordlund, Manabu Higashida, Y. Teranishi, S. Shimojo, Masanori Yokoyama, Michio Shimomura
{"title":"Designing of a Network-Aware Cloud Robotic Sensor Observation Framework","authors":"Fredrik Nordlund, Manabu Higashida, Y. Teranishi, S. Shimojo, Masanori Yokoyama, Michio Shimomura","doi":"10.1109/COMPSACW.2014.51","DOIUrl":"https://doi.org/10.1109/COMPSACW.2014.51","url":null,"abstract":"This paper proposes a network-aware cloud networked robotic sensor observation framework based on the topic-based publisher/subscriber messaging paradigm. Cloud network robotics systems have some advantages in making use of rich computation or storage resources of clouds, low maintenance cost, and easy development of applications. But a problem occurs when systems that need fast feedback from application modules are run over networks with intermittent connection. In this framework, the placement of the robot application modules is changed according to the QoS provided by the physical network. We also propose a map cell-based robotic sensor observation algorithm that suits to the framework. A prototype system of a data center monitoring robot that is based on the proposed framework and algorithm is implemented and a preliminary experiment was carried out to demonstrate the benefit of the system. The experiment result shows that the performance of the data center monitoring could be improved and hot spots can be found faster by making the cloud networked robot network-aware.","PeriodicalId":123335,"journal":{"name":"2014 IEEE 38th International Computer Software and Applications Conference Workshops","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-07-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124304154","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
A Security Oriented Design (SOD) Framework for eHealth Systems 面向安全的电子卫生系统设计(SOD)框架
Weider D. Yu, L. Davuluri, M. Radhakrishnan, Maryam Runiassy
{"title":"A Security Oriented Design (SOD) Framework for eHealth Systems","authors":"Weider D. Yu, L. Davuluri, M. Radhakrishnan, Maryam Runiassy","doi":"10.1109/COMPSACW.2014.132","DOIUrl":"https://doi.org/10.1109/COMPSACW.2014.132","url":null,"abstract":"With the advancement in technology and availability of internet access and smart mobile systems, there has been an increasing interest in eHealth related research activities due to the attractive and important benefits that eHealth systems can offer to many. However, the security of the eHealth systems has been a great concern. In this paper, we discuss the pilot design experience and results of a security oriented design framework (SOD). The SOD framework is intended for providing a system development environment template to strengthen development tasks of eHealth related systems. We have selected two major eHealth commonly required features for the pilot experiments. The first feature is to provide capabilities for storing and accessing digitized patient health records. The second feature is to provide scheduling and management in terms of appointments, doctor prescriptions, tests, etc. The paper also discusses the current major concerns in security and privacy and provides some effective security solutions.","PeriodicalId":123335,"journal":{"name":"2014 IEEE 38th International Computer Software and Applications Conference Workshops","volume":"26 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-07-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123663897","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
A Calculus for Transportation Systems 交通系统微积分
Moonkun Lee, Jungrhan Choi
{"title":"A Calculus for Transportation Systems","authors":"Moonkun Lee, Jungrhan Choi","doi":"10.1109/COMPSACW.2014.122","DOIUrl":"https://doi.org/10.1109/COMPSACW.2014.122","url":null,"abstract":"This paper presents a new formal method, called Calculus of Real-Time Distribution, Mobility, and Interaction (CaRDMI), to specify and verify spatial and temporal behaviors of transportation systems. For specification, CaRDMI defines a map, consisting of nodes and edges with spatial and temporal constraints. The movement of a carrier or agent in the system is represented by a path on the map. Interactive constraints among carriers are represented by synchronization modes on objects at nodes, which are distinguishable features of CaRDMI from other methods. Especially, n-to-n timed synchronization constraints are noticeable. For verification, CaRDMI presents the spatial, temporal and interactive deduction rules and the spatial and temporal equivalence relations. With the rules and relations, it can be measured how two carriers or agents are temporally and/or spatially equivalent. It is another distinguishable feature of CaRDMI.","PeriodicalId":123335,"journal":{"name":"2014 IEEE 38th International Computer Software and Applications Conference Workshops","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-07-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129883659","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
Current Electronic Medical Record in China 中国目前的电子病历
Chen Shi, Liu Hui-Ting, Pan Hui, Jijiang Yang, Jianqiang Li, Qing Wang
{"title":"Current Electronic Medical Record in China","authors":"Chen Shi, Liu Hui-Ting, Pan Hui, Jijiang Yang, Jianqiang Li, Qing Wang","doi":"10.1109/COMPSACW.2014.112","DOIUrl":"https://doi.org/10.1109/COMPSACW.2014.112","url":null,"abstract":"It is widely accepted that the high quality healthcare services lie in the effectiveness and efficiency of health problem detection, innovative solution identification, and medical resource allocation, which in turn depend heavily on the proper collection, management and utilization of health information. As the main carrier of the health information, Electronic Medical Record (EMR) is a kind of electronic patient record that resides in a system specifically designed to support users through availability of complete and accurate data, practitioner reminders and alerts, clinical decision support systems, links to bodies of medical knowledge and other aids, which has experienced a booming development in China in last 10 years. Ministry of Public Health of China paid attention to EMR and a lot of laws and regulations were promulgated in the following few years. EMR systems in China faced many problems: effective quality control system, professional EMR system development and maintain talents, the costs and the relevant legal issues. But because EMR systems could improve care quality, safety, efficiency, and reduce health disparities, they are sure to evoke a radical revolution of clinical work in China.","PeriodicalId":123335,"journal":{"name":"2014 IEEE 38th International Computer Software and Applications Conference Workshops","volume":"7 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-07-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124709246","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
Risk Based Testing of Open Source Software (OSS) 基于风险的开源软件(OSS)测试
I. Yahav, Ron S. Kenett, Xiaoying Bai
{"title":"Risk Based Testing of Open Source Software (OSS)","authors":"I. Yahav, Ron S. Kenett, Xiaoying Bai","doi":"10.1109/COMPSACW.2014.107","DOIUrl":"https://doi.org/10.1109/COMPSACW.2014.107","url":null,"abstract":"Open Source Software (OSS) has become a strategic asset for a number of reasons, such as its short time-to-market software service and product delivery, reduced development and maintenance costs, introduction of innovative features and its customization capabilities. By 2016 an estimated 95% of all commercial software packages will include OSS components. This pervasive adoption is not without risks for an industry that has experienced significant failures in product quality, timelines and delivery costs. Exhaustive testing of any software system and, specifically, of open source software components is usually not feasible due to limitations in time and resources. In risk-based testing approach test cases are selected and scheduled based on software risk analysis. This research introduces the strategy of risk-based adaptive testing of OSS by combining information on the OSS community ecosystem with risk-driven tests selection and scheduling strategy. A key feature of the proposed approach is the monitoring and analysis of OSS community dynamics, including chats and email communications, blogs, repositories of bugs and fixes, and more. The community and its dynamics are then monitored to detect anomaly communication between the community members. Our approach is demonstrated in the XWiki OSS, a Java-based environment that allows for the storing of structured data and the execution of server side scripts within the wiki interface. We illustrate our concepts, methods and approach behind risk based testing.","PeriodicalId":123335,"journal":{"name":"2014 IEEE 38th International Computer Software and Applications Conference Workshops","volume":"240 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-07-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121981024","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}
引用次数: 7
Facility Information Management on HBase: Large-Scale Storage for Time-Series Data 基于HBase的设施信息管理:时间序列数据的大规模存储
H. Ochiai, Hiroyuki Ikegami, Y. Teranishi, H. Esaki
{"title":"Facility Information Management on HBase: Large-Scale Storage for Time-Series Data","authors":"H. Ochiai, Hiroyuki Ikegami, Y. Teranishi, H. Esaki","doi":"10.1109/COMPSACW.2014.54","DOIUrl":"https://doi.org/10.1109/COMPSACW.2014.54","url":null,"abstract":"A very large number of sensors on facilities such as HVAC, light control systems and electric power meters, periodically submit their status information to Cloud platforms these days. As the amount of data can easily get petabyte scale, we must consider the use of distributed application layer storage for managing such facility information, which is often formatted on time-series data. This paper describes FIAP Storage Peta, petabyte scale storage for facility information access protocol (FIAP), proposing the architecture and the scheme of such data management on HBase. In this work, we have identified three requirements to the design of HBase row keys for implementing this storage using HBase. Though, we have not finished petabyte scale experiments, our preliminary evaluation results have shown good performance for managing large scale facility information. It has achieved scalable data retrieval on the data of 10 million sensors with properly balancing loads on distributed data storages.","PeriodicalId":123335,"journal":{"name":"2014 IEEE 38th International Computer Software and Applications Conference Workshops","volume":"48 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-07-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122980052","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}
引用次数: 7
A Load Distribution Method Based on Distributed Hashing for P2P Sensor Data Stream Delivery System 基于分布式哈希的P2P传感器数据流传输系统负载分配方法
Tomoya Kawakami, Yoshimasa Ishi, T. Yoshihisa, Y. Teranishi
{"title":"A Load Distribution Method Based on Distributed Hashing for P2P Sensor Data Stream Delivery System","authors":"Tomoya Kawakami, Yoshimasa Ishi, T. Yoshihisa, Y. Teranishi","doi":"10.1109/COMPSACW.2014.121","DOIUrl":"https://doi.org/10.1109/COMPSACW.2014.121","url":null,"abstract":"Due to the prevalence of sensors such as security cameras or environmental monitoring, sensor data stream delivery which means delivering the observed data continuously attracts great attention. Currently, the methods to distribute communication loads by relay nodes in the case of delivering the sensor data streams that have different data delivery cycles are proposed. However, in the existing methods, since the specific node builds delivery paths and notifies to the related nodes, the delivery paths are necessary to be built and notified again when nodes join or leave. Therefore, in this paper, we propose a method which determines relay nodes based on distributed hashing and constructs delivery paths autonomously by each node. We evaluated the effectiveness of proposal in simulation.","PeriodicalId":123335,"journal":{"name":"2014 IEEE 38th International Computer Software and Applications Conference Workshops","volume":"62 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-07-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116101182","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}
引用次数: 5
What Is the Impact of Heterogeneous Knowledge about Fundamentals on Market Liquidity and Efficiency: An ABM Approach 关于基本面的异质性知识对市场流动性和效率的影响:ABM方法
Vivien Lespagnol, J. Rouchier
{"title":"What Is the Impact of Heterogeneous Knowledge about Fundamentals on Market Liquidity and Efficiency: An ABM Approach","authors":"Vivien Lespagnol, J. Rouchier","doi":"10.1109/COMPSACW.2014.20","DOIUrl":"https://doi.org/10.1109/COMPSACW.2014.20","url":null,"abstract":"This paper studies the effect of investor's bounded rationality on market dynamics. In an order driven market, we consider a few-types model where two risky assets are traded. Agents differ by their behavior, knowledge, risk aversion and investment horizon. The investor's demand is defined by a utility maximization under constant absolute risk aversion. Relaxing the assumption of perfect knowledge of the fundamentals enables to identify two components in a bubble. The first one comes from the unperceived fundamental changes due to trader's belief perseverance. The second one is generated by chartist behavior. In all simulations, speculators make the market less efficient and more volatile. They also increase the maximum amount of assets exchanged in the most liquid time step. However, our model is not showing raising average volatility on long term. Concerning the fundamentalists, the belief perseverance has a stabilization impact on the trading price. The closer the anchor is to the true fundamental value, the more efficient the market is, because the prices change smoothly.","PeriodicalId":123335,"journal":{"name":"2014 IEEE 38th International Computer Software and Applications Conference Workshops","volume":"21 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-07-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125942110","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
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学术文献互助群
群 号:604180095
Book学术官方微信
小红书