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

2013 Seventh International Conference on Innovative Mobile and Internet Services in Ubiquitous Computing最新文献

筛选
英文 中文
Verification of Hybrid Chi Model for Cyber-physical Systems Using PHAVer 基于PHAVer的信息物理系统混合Chi模型验证
2013 Seventh International Conference on Innovative Mobile and Internet Services in Ubiquitous Computing Pub Date : 2013-07-03 DOI: 10.1109/IMIS.2013.29
Cong Xinyu, Yu Huiqun, Xu Xin
{"title":"Verification of Hybrid Chi Model for Cyber-physical Systems Using PHAVer","authors":"Cong Xinyu, Yu Huiqun, Xu Xin","doi":"10.1109/IMIS.2013.29","DOIUrl":"https://doi.org/10.1109/IMIS.2013.29","url":null,"abstract":"Cyber-physical systems (CPSs) are integrations of computation with physical processes. CPSs are widely applied in areas such as health care, traffic control, smart home, etc. Modeling and verification of CPSs is inevitable in these areas and of the greatest challenges in CPS research. Many research reports have pointed out that developing a suitable modeling language for describing the complex system model is one of the most important challenges for CPSs. Hybrid Chi, with several features to meet the requirements of CPS modeling, is a suitable candidate. In this paper, we introduce a generalized model for CPSs, based on hybrid Chi. Through a practical example of automatic temperature control system, we show how to apply our model. Further we use Polyhedral Hybrid Automata Verifier (PHAVer) to analyze and verify the model which is simplified by a linearization algorithm. The methodology what we proposed in this paper provides a reliable foundation for the design, analysis and verification of CPSs.","PeriodicalId":425979,"journal":{"name":"2013 Seventh International Conference on Innovative Mobile and Internet Services in Ubiquitous Computing","volume":"35 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-07-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115158739","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
Hough Transform with Kalman Filter on GPU for Real-Time Line Tracking 基于GPU的卡尔曼滤波霍夫变换实时线跟踪
2013 Seventh International Conference on Innovative Mobile and Internet Services in Ubiquitous Computing Pub Date : 2013-07-03 DOI: 10.1109/IMIS.2013.43
V. Tyan, Dongwoon Jeon, Doohyun Kim
{"title":"Hough Transform with Kalman Filter on GPU for Real-Time Line Tracking","authors":"V. Tyan, Dongwoon Jeon, Doohyun Kim","doi":"10.1109/IMIS.2013.43","DOIUrl":"https://doi.org/10.1109/IMIS.2013.43","url":null,"abstract":"This paper introduces an algorithm for real-time line tracking utilizing the GPUs (Graphic Processing Units). The main techniques for line tracking are Hough transform and Kalman filter. Hough transform is easy to implement and robust for noise, on the other hand, the resource consumption raises exponentially as the resolution of input image increases. One of the efficient ways to overcome this problem is to perform image processing with GPU's computational capabilities. Performance evaluations show promising results with acceptable trade-off between speed and accuracy of algorithm.","PeriodicalId":425979,"journal":{"name":"2013 Seventh International Conference on Innovative Mobile and Internet Services in Ubiquitous Computing","volume":"11 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-07-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115373821","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}
引用次数: 4
Anonymity Scheme with Unlinkability Property in Wireless Mesh Networks 无线Mesh网络中具有不可链接性的匿名方案
2013 Seventh International Conference on Innovative Mobile and Internet Services in Ubiquitous Computing Pub Date : 2013-07-03 DOI: 10.1109/IMIS.2013.130
Tianhan Gao, Nan Guo, Kangbin Yim, Qingshan Li
{"title":"Anonymity Scheme with Unlinkability Property in Wireless Mesh Networks","authors":"Tianhan Gao, Nan Guo, Kangbin Yim, Qingshan Li","doi":"10.1109/IMIS.2013.130","DOIUrl":"https://doi.org/10.1109/IMIS.2013.130","url":null,"abstract":"A Wireless mesh networks (WMNs) has recently attracted increasing attentions due to the features to offer wireless broadband access at a low cost. Security and privacy issues become the main obstacle for the wide deployment of WMNs and have so far received little attention. As a fundamental privacy requirement, anonymity is critical for mobile users who want to access WMNs without being tracked down. In this paper, a novel privacy-preserving authentication scheme is proposed upon our hierarchical security architecture in order to guard mobile users' access. Anonymity is achieved in light of a trilateral pseudonym approach without key escrow. The pseudonym is able to be alerted by mobile user at will against the link ability attack from adversaries. The key agreement mechanism is also incorporated into our scheme to protect subsequent communications between mobiles users and access network.","PeriodicalId":425979,"journal":{"name":"2013 Seventh International Conference on Innovative Mobile and Internet Services in Ubiquitous Computing","volume":"119 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-07-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116885384","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
IETF 6TSCH: Combining IPv6 Connectivity with Industrial Performance IETF 6TSCH:将IPv6连接与工业性能相结合
2013 Seventh International Conference on Innovative Mobile and Internet Services in Ubiquitous Computing Pub Date : 2013-07-03 DOI: 10.1109/IMIS.2013.96
P. Thubert, T. Watteyne, M. Palattella, Xavier Vilajosana, Qin Wang
{"title":"IETF 6TSCH: Combining IPv6 Connectivity with Industrial Performance","authors":"P. Thubert, T. Watteyne, M. Palattella, Xavier Vilajosana, Qin Wang","doi":"10.1109/IMIS.2013.96","DOIUrl":"https://doi.org/10.1109/IMIS.2013.96","url":null,"abstract":"This document presents a new work called 6TSCH that is starting at the IETF to enable a large IPv6 multi-link subnet with industrial-grade performances of jitter, latency and reliability. The subnet is composed of a high speed powered backbone and a number of IEEE802.15.4e TSCH wireless mesh networks attached and synchronized by specialized Backbone Routers. Route Computation may be achieved in a centralized or in a distributed fashion, and tracks are installed to forward well-known flows with deterministic properties along their multi-hop path.","PeriodicalId":425979,"journal":{"name":"2013 Seventh International Conference on Innovative Mobile and Internet Services in Ubiquitous Computing","volume":"84 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-07-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121228296","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}
引用次数: 61
Identifying Sub-community of Finance Research 识别金融研究的子社区
2013 Seventh International Conference on Innovative Mobile and Internet Services in Ubiquitous Computing Pub Date : 2013-07-03 DOI: 10.1109/IMIS.2013.155
Shao-Chun Chiu
{"title":"Identifying Sub-community of Finance Research","authors":"Shao-Chun Chiu","doi":"10.1109/IMIS.2013.155","DOIUrl":"https://doi.org/10.1109/IMIS.2013.155","url":null,"abstract":"Journal rankings based on citation of article or perception of faculty are frequently applied as tools of finance journals classification. Nonetheless, criticisms frequently arise because these approaches do not take into account the underlying diversity of the finance research community. This study is to presents a new general-purpose sub-categories grouping method by author's keywords for financial journals. Based on a worldwide sample of 15,298 articles from 47 journals in Finance field during 1999 to 2008, we classified finance journals of SSCI into seven bigger sub-categories. Finally, we named Groups in Real Estate, Accounting, General Finance, Mathematical Finance, Monetary Policy, Fiscal Policy, and Insurance, respectively.","PeriodicalId":425979,"journal":{"name":"2013 Seventh International Conference on Innovative Mobile and Internet Services in Ubiquitous Computing","volume":"8 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-07-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125827049","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
House Pricing and Corporate Social Responsibility 房价与企业社会责任
2013 Seventh International Conference on Innovative Mobile and Internet Services in Ubiquitous Computing Pub Date : 2013-07-03 DOI: 10.1109/IMIS.2013.136
Mei-Hua Liao, Ya-Yun Chang
{"title":"House Pricing and Corporate Social Responsibility","authors":"Mei-Hua Liao, Ya-Yun Chang","doi":"10.1109/IMIS.2013.136","DOIUrl":"https://doi.org/10.1109/IMIS.2013.136","url":null,"abstract":"Some companies are responding by reporting on greenhouse gas emissions in sustainability reports. The Land Registry publishes every actual transaction price on the Internet by housing type for each postcode sector. The solutions and answers to decrease the environmental impact of business operations are discussed in this research. In this paper, we consider some methodological issues associated with the estimation of an implicit price for clean environment by including one or more pollution variables in a model of house prices.","PeriodicalId":425979,"journal":{"name":"2013 Seventh International Conference on Innovative Mobile and Internet Services in Ubiquitous Computing","volume":"33 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-07-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115095375","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
Saving Energy through Collaborative Eco-aware Everyday Things 通过协作的环保日常用品节约能源
2013 Seventh International Conference on Innovative Mobile and Internet Services in Ubiquitous Computing Pub Date : 2013-07-03 DOI: 10.1109/IMIS.2013.88
Juan Lopez-de-Armentia, Diego Casado Mansilla, D. López-de-Ipiña
{"title":"Saving Energy through Collaborative Eco-aware Everyday Things","authors":"Juan Lopez-de-Armentia, Diego Casado Mansilla, D. López-de-Ipiña","doi":"10.1109/IMIS.2013.88","DOIUrl":"https://doi.org/10.1109/IMIS.2013.88","url":null,"abstract":"The reduction of energy waste in any of its forms and everywhere is a major challenge of our society. An important proportion of such waste is due to the misuse of consumer appliances of shared use in public areas (computers, printers, coffee makers, etc.). To face this issue, we have transformed everyday consumer devices into collaborative Eco-aware everyday things. The presented work contributes with a first approach to reduce the learning time of Eco-aware objects to perform accurate predictions. The general idea is to enable a platform where Eco-aware appliances interchange their collected usage pattern in a cooperative manner to reduce energy wasting in order to alleviate the cold-start problem for new coming Eco-aware appliances. To this end, we have simulated a collaboration between two of these appliances, leading to an energy reduction regarding non-collaborative objects.","PeriodicalId":425979,"journal":{"name":"2013 Seventh International Conference on Innovative Mobile and Internet Services in Ubiquitous Computing","volume":"7 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-07-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116068902","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}
引用次数: 4
Research on Innovation of the Structure of Social Enterprise Governance -- A Case Study on CAN YOU Group 社会企业治理结构创新研究——以CAN YOU集团为例
2013 Seventh International Conference on Innovative Mobile and Internet Services in Ubiquitous Computing Pub Date : 2013-07-03 DOI: 10.1109/IMIS.2013.144
Dingrong Liu
{"title":"Research on Innovation of the Structure of Social Enterprise Governance -- A Case Study on CAN YOU Group","authors":"Dingrong Liu","doi":"10.1109/IMIS.2013.144","DOIUrl":"https://doi.org/10.1109/IMIS.2013.144","url":null,"abstract":"It is important to research on social enterprise that do not deviate the goal of commonweal under the pressure of market. CAN YOU Group has continuously brought forth new ideas and explored a integrated and developed path of two chains between enterprise and commonweal, and formed a mode of social enterprise group which has been consisted of the foundations, commonweal institutions and science and technology and welfare enterprises. The formation of model depends on the following factors: the desire of founder, realization of social welfare goal and a recipient of individual donations. In the model, the foundation plays a decision part, the goal of the welfare enterprises is to profit by commercial service, and institutions of commonweal provide public service to disabled employees. This pattern realizes an internal virtuous cycle and keeps an open structure to external surroundings.","PeriodicalId":425979,"journal":{"name":"2013 Seventh International Conference on Innovative Mobile and Internet Services in Ubiquitous Computing","volume":"98 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-07-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122536760","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
RDAI: Router-Based Data Aggregates Identification Mechanism for Named Data Networking RDAI:基于路由器的命名数据网络数据聚合识别机制
2013 Seventh International Conference on Innovative Mobile and Internet Services in Ubiquitous Computing Pub Date : 2013-07-03 DOI: 10.1109/IMIS.2013.28
Kai Wang, Huachun Zhou, Jia Chen, Yajuan Qin
{"title":"RDAI: Router-Based Data Aggregates Identification Mechanism for Named Data Networking","authors":"Kai Wang, Huachun Zhou, Jia Chen, Yajuan Qin","doi":"10.1109/IMIS.2013.28","DOIUrl":"https://doi.org/10.1109/IMIS.2013.28","url":null,"abstract":"Named Data Networking (NDN) has become one of the promising candidates for next-generation Internet architecture and it has shown possibilities to solve several problems of the current Internet infrastructure. However, some problems of NDN need to be tackled in order to advance this promising architecture. In this paper, we address one of the problems on how to identify Data aggregates in NDN, which is due to too many Data packets issued by malicious parties aggregating at some link to cause it congested within certain period. Our design, called Router-based Data Aggregates Identification mechanism (RDAI), is a local mechanism implemented in each NDN router to detect Data aggregates, based on both the expired rate of the Pending Interest Table (PIT) entries and the maximum number of expected Data packets that can come in and be sent out from each interface of the router. Moreover, we evaluate the performance of RDAI using ndnSIM, in terms of the alert time representing when Data aggregates are identified at some interface of a NDN router by RDAI. Simulation results demonstrate that RDAI can quickly detect Data aggregates and successfully identify the corresponding congested interfaces within 2 seconds during the total 18 seconds of Data aggregates in our simulated scenarios. To the best of our knowledge, this is the first attempt on designing a complete mechanism to detect Data Aggregates in NDN.","PeriodicalId":425979,"journal":{"name":"2013 Seventh International Conference on Innovative Mobile and Internet Services in Ubiquitous Computing","volume":"264 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-07-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114569373","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}
引用次数: 4
Using Collaborative Virtual Objects Based on Services to Communicate Smart Objects 基于服务的协同虚拟对象与智能对象通信
2013 Seventh International Conference on Innovative Mobile and Internet Services in Ubiquitous Computing Pub Date : 2013-07-03 DOI: 10.1109/IMIS.2013.82
G. T. Bermúdez, Jordán Pascual Espada, Edward Rolando Núñez-Valdéz
{"title":"Using Collaborative Virtual Objects Based on Services to Communicate Smart Objects","authors":"G. T. Bermúdez, Jordán Pascual Espada, Edward Rolando Núñez-Valdéz","doi":"10.1109/IMIS.2013.82","DOIUrl":"https://doi.org/10.1109/IMIS.2013.82","url":null,"abstract":"The main idea in the Internet of things (IOT) is that any object may be able to communicate with others objects by using internet or any other protocol. Within the wide range of objects and devices that make internet of things systems, smart objects (or smart things) are those that contain a certain level of intelligence, which allows them to process information and perform actions. Current smart objects are very heterogeneous, these usually contain their own non-standardized communication mechanisms, so it is very difficult for a smart object or electronic device to interoperate or communicate with other elements that have been designed according to other communication specifications. The purpose of this paper is to provide a possible solution to communication problems resulting from the heterogeneity of communication mechanisms. This proposal adapts the architecture of \"collaborative virtual objects based on services\" to provide a mechanism that integrates smart objects with different communication mechanisms or specifications.","PeriodicalId":425979,"journal":{"name":"2013 Seventh International Conference on Innovative Mobile and Internet Services in Ubiquitous Computing","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-07-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129043420","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
下一页 尾页
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学术官方微信