Based on the basic concept of the service layer of the requirement meta-modeling frame for network software (RGPS-S), this paper proposed a new formal method to verify its correctness. This paper gives the transform method from BPEL model to Promela model and verifies the model based on SPIN. At last, we performed an exhaustive verification run with SPIN to demonstrate some basic safety properties and liveness properties.
{"title":"Formal Verification of RGPS-S","authors":"Hao Yang, Jinzhao Wu","doi":"10.1109/BCGIN.2011.159","DOIUrl":"https://doi.org/10.1109/BCGIN.2011.159","url":null,"abstract":"Based on the basic concept of the service layer of the requirement meta-modeling frame for network software (RGPS-S), this paper proposed a new formal method to verify its correctness. This paper gives the transform method from BPEL model to Promela model and verifies the model based on SPIN. At last, we performed an exhaustive verification run with SPIN to demonstrate some basic safety properties and liveness properties.","PeriodicalId":127523,"journal":{"name":"2011 International Conference on Business Computing and Global Informatization","volume":"28 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-07-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121656252","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}
Cryptography is a basic and important course of Computer Information Security Specialty. Based on an intensive study of this course, this paper probes into the effective teaching method of cryptograph. The paper begins from designing theoretic and experiment teaching model, and then puts these models into practice. Thirdly, the paper provides corresponding assessment means to these models. Lastly, the paper puts the models into practical teaching and they are turned out to be effective and of reference value.
{"title":"Teaching Research of Cryptography in Computer Information Security Specialty","authors":"Yi Sun, Z. Ran, Jianmin Dong","doi":"10.1109/BCGIN.2011.80","DOIUrl":"https://doi.org/10.1109/BCGIN.2011.80","url":null,"abstract":"Cryptography is a basic and important course of Computer Information Security Specialty. Based on an intensive study of this course, this paper probes into the effective teaching method of cryptograph. The paper begins from designing theoretic and experiment teaching model, and then puts these models into practice. Thirdly, the paper provides corresponding assessment means to these models. Lastly, the paper puts the models into practical teaching and they are turned out to be effective and of reference value.","PeriodicalId":127523,"journal":{"name":"2011 International Conference on Business Computing and Global Informatization","volume":"PP 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-07-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126356162","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}
Based upon our previous research which showing that there exists salient dispersion in trade restriction policies and the dispersion remains over time. In particular, there is no trend toward more liberalization in the banking service sector, the impacts of the banking service barriers are further investigated. The micro and macro effects of the restrictions on trade in banking are, however, complex. Our study provides an indication of the real income gains and the cost increase. The macro-stability effects vary by country.
{"title":"The Impacts of Evolutionary Variation of Service Trade Barriers in Banking: The Case of ASEAN+3","authors":"Xiaobing Feng","doi":"10.1109/BCGIN.2011.82","DOIUrl":"https://doi.org/10.1109/BCGIN.2011.82","url":null,"abstract":"Based upon our previous research which showing that there exists salient dispersion in trade restriction policies and the dispersion remains over time. In particular, there is no trend toward more liberalization in the banking service sector, the impacts of the banking service barriers are further investigated. The micro and macro effects of the restrictions on trade in banking are, however, complex. Our study provides an indication of the real income gains and the cost increase. The macro-stability effects vary by country.","PeriodicalId":127523,"journal":{"name":"2011 International Conference on Business Computing and Global Informatization","volume":"104 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-07-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133333361","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}
This paper combines institutional, stakeholder and social contract perspectives to develop a framework for analyzing the strategies of multinational corporations (MNCs) in developed countries in respect of their corporate social responsibility (CSR) practices in China. The paper first discusses the contention that due to institutional differences between China and developed countries, MNCs will have different CSR strategies in China than in their home countries. Then there is an analysis of the stakeholder perceptions to identify what are the main factors MNCs need to address in their CSR practices in China. Evidence suggests that Chinese stakeholders have different expectations for CSR practices in China due to institutional differences and social, cultural and economic development differences. This study offers new insights into the factors that lead to successful CSR practices in China, suggesting that adoption of a social contract perspective may allow MNCs to take a more proactive approach.
{"title":"An Analysis of Multinational Corporations' Corporate Social Responsibility Strategies in China from an Institutional, Stakeholder and Social Contract Perspective","authors":"M. Xie, Robert Sims","doi":"10.1109/BCGIN.2011.78","DOIUrl":"https://doi.org/10.1109/BCGIN.2011.78","url":null,"abstract":"This paper combines institutional, stakeholder and social contract perspectives to develop a framework for analyzing the strategies of multinational corporations (MNCs) in developed countries in respect of their corporate social responsibility (CSR) practices in China. The paper first discusses the contention that due to institutional differences between China and developed countries, MNCs will have different CSR strategies in China than in their home countries. Then there is an analysis of the stakeholder perceptions to identify what are the main factors MNCs need to address in their CSR practices in China. Evidence suggests that Chinese stakeholders have different expectations for CSR practices in China due to institutional differences and social, cultural and economic development differences. This study offers new insights into the factors that lead to successful CSR practices in China, suggesting that adoption of a social contract perspective may allow MNCs to take a more proactive approach.","PeriodicalId":127523,"journal":{"name":"2011 International Conference on Business Computing and Global Informatization","volume":"32 2","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-07-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132089532","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}
This paper describes the design and realization of a kind of WLAN video telephone based on WAPI. The hardware system consisted of two parts: application processing subsystem and base band processing subsystem. Take SIP as the call control protocol, H.264 as the video codec and G711 as the audio codec. Using WAPI as the security mechanism of wireless data transmission, and solved the security problem of password and guarantee the quality of the video and audio service.
{"title":"The Design of WLAN Videophone Based on WAPI","authors":"He Hai-tao, Jiang Gui-quan","doi":"10.1109/BCGIN.2011.124","DOIUrl":"https://doi.org/10.1109/BCGIN.2011.124","url":null,"abstract":"This paper describes the design and realization of a kind of WLAN video telephone based on WAPI. The hardware system consisted of two parts: application processing subsystem and base band processing subsystem. Take SIP as the call control protocol, H.264 as the video codec and G711 as the audio codec. Using WAPI as the security mechanism of wireless data transmission, and solved the security problem of password and guarantee the quality of the video and audio service.","PeriodicalId":127523,"journal":{"name":"2011 International Conference on Business Computing and Global Informatization","volume":"14 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-07-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132437993","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}
Tang Xusheng, Ouyang Jun, Miao Yundi, Wei Wei, Liu Fang
The social practice for college students is an important platform for their education, growth and contribution in the future, as well as an important measure for college tallent training. In this paper, we build a new practice mode: the college students' practice competence cultivation mode of "Three Districts Linkage". It will expand the practice platform of undergraduates, innovate the cultivation mode of practice capacity. We also try to contribute an index system of students' comprehensive practice performance with comprehensive fuzzy evaluation model.
{"title":"An Evaluation Model for the College Students' Practice Competence Cultivation Mode of \"Three Districts Linkage\"","authors":"Tang Xusheng, Ouyang Jun, Miao Yundi, Wei Wei, Liu Fang","doi":"10.1109/BCGIN.2011.166","DOIUrl":"https://doi.org/10.1109/BCGIN.2011.166","url":null,"abstract":"The social practice for college students is an important platform for their education, growth and contribution in the future, as well as an important measure for college tallent training. In this paper, we build a new practice mode: the college students' practice competence cultivation mode of \"Three Districts Linkage\". It will expand the practice platform of undergraduates, innovate the cultivation mode of practice capacity. We also try to contribute an index system of students' comprehensive practice performance with comprehensive fuzzy evaluation model.","PeriodicalId":127523,"journal":{"name":"2011 International Conference on Business Computing and Global Informatization","volume":"11 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-07-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128887277","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}
This paper tries to study the integration and spillover effect between Shanghai Stock Exchange and New York Stock Exchange. At first, similar to Chow and Lawler (2003), the weekly return and volatility of Shanghai and New York Stock Exchange composite indices are analyzed with vector auto regression, stationarity test, and Granger causality test in order to study the co-movement between these two markets. Then considering the existence of ARCH effect, multivariate volatility models including MGARCH and MSV models are used to characterize the dynamics of volatilities. The empirical results show that to some extent there exists spillover effect. In order to test whether the integration between Shanghai and New York stock market is affected by some great economic events, we also study the integration with sub sample data instead of full sample data.
{"title":"The Dynamic Relationship of China's Stock Markets: A VAR-MGARCH Model","authors":"Changjiang Liu","doi":"10.1109/BCGIN.2011.49","DOIUrl":"https://doi.org/10.1109/BCGIN.2011.49","url":null,"abstract":"This paper tries to study the integration and spillover effect between Shanghai Stock Exchange and New York Stock Exchange. At first, similar to Chow and Lawler (2003), the weekly return and volatility of Shanghai and New York Stock Exchange composite indices are analyzed with vector auto regression, stationarity test, and Granger causality test in order to study the co-movement between these two markets. Then considering the existence of ARCH effect, multivariate volatility models including MGARCH and MSV models are used to characterize the dynamics of volatilities. The empirical results show that to some extent there exists spillover effect. In order to test whether the integration between Shanghai and New York stock market is affected by some great economic events, we also study the integration with sub sample data instead of full sample data.","PeriodicalId":127523,"journal":{"name":"2011 International Conference on Business Computing and Global Informatization","volume":"54 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-07-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115547059","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}
Gas-field information is distributed, heterogeneous and cross-platform, traditional C/S mode can not meet the needs of information integration and sharing. The combination solution of concentration and distribution of information integration is presented. Mobile agent technology is introduced into information integration of gas fields, hierarchical model based on mobile agent is proposed. Functions of agents in each layer are analyzed in detail, as well as agent workflows and implementations. The application of the data integration platform to digital gas-field shows that the MA system is highly general, open, flexible, and can provide a new method and template for distributed application integration in other industries.
{"title":"Research and Application of Mobile Agent-Based Computing Model for Data Center in Digital Gas Field","authors":"Li Yang, Jian Zhang, Haode Liao, Xinyu Gen","doi":"10.1109/BCGIN.2011.141","DOIUrl":"https://doi.org/10.1109/BCGIN.2011.141","url":null,"abstract":"Gas-field information is distributed, heterogeneous and cross-platform, traditional C/S mode can not meet the needs of information integration and sharing. The combination solution of concentration and distribution of information integration is presented. Mobile agent technology is introduced into information integration of gas fields, hierarchical model based on mobile agent is proposed. Functions of agents in each layer are analyzed in detail, as well as agent workflows and implementations. The application of the data integration platform to digital gas-field shows that the MA system is highly general, open, flexible, and can provide a new method and template for distributed application integration in other industries.","PeriodicalId":127523,"journal":{"name":"2011 International Conference on Business Computing and Global Informatization","volume":"65 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-07-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124886897","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}
This paper studied the influencing factors of enterprise reverse logistics performance. We focus on how the returned product recovery rate affects company overall reverse logistics performance. Company Finance Performance, Social Benefit and Environment Concerns are adopted to describe its reverse logistics performance. Meanwhile, product recovery rate is indicated by Recycle Network Condition as well as Recycle Technology. A questionnaire survey was done in major manufacturing industry and retailing industry enterprises. By utilizing structural equation model methodology, AMOS 7 software is applied to verify the proposed conceptual model and do the statistics testing for the collected data. The model fitting result shows that product recycle network condition is significantly related to company finance performance, social benefit and environment concerns. Additionally, product recycle technology is also proved to have positive relationship to the same reverse logistics performance index. However, the hypothesis about the positive relationship between product recycle technology and the recycle network condition has not been accepted.
{"title":"Influence of Recovery Rate on Reverse Logistics Performance Based on Structural Equation Model","authors":"Yan Shen, Qing Nie, Qingda Yuan","doi":"10.1109/BCGIN.2011.41","DOIUrl":"https://doi.org/10.1109/BCGIN.2011.41","url":null,"abstract":"This paper studied the influencing factors of enterprise reverse logistics performance. We focus on how the returned product recovery rate affects company overall reverse logistics performance. Company Finance Performance, Social Benefit and Environment Concerns are adopted to describe its reverse logistics performance. Meanwhile, product recovery rate is indicated by Recycle Network Condition as well as Recycle Technology. A questionnaire survey was done in major manufacturing industry and retailing industry enterprises. By utilizing structural equation model methodology, AMOS 7 software is applied to verify the proposed conceptual model and do the statistics testing for the collected data. The model fitting result shows that product recycle network condition is significantly related to company finance performance, social benefit and environment concerns. Additionally, product recycle technology is also proved to have positive relationship to the same reverse logistics performance index. However, the hypothesis about the positive relationship between product recycle technology and the recycle network condition has not been accepted.","PeriodicalId":127523,"journal":{"name":"2011 International Conference on Business Computing and Global Informatization","volume":"19 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-07-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128948526","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}
Component-based system and program construction have emerged as important topics in software engineering and distributed computer systems. This paper introduces a component model which fares better along other dimensions than its predecessors, it includes a combination of sharing, hierarchy, and an open approach to component composition and binding which we believe to be novel. It allows for a clean definition of structural composition based on containment and binding relationships between components.
{"title":"A Software Component Model with Sharing","authors":"Zhijuan Wang","doi":"10.1109/BCGIN.2011.133","DOIUrl":"https://doi.org/10.1109/BCGIN.2011.133","url":null,"abstract":"Component-based system and program construction have emerged as important topics in software engineering and distributed computer systems. This paper introduces a component model which fares better along other dimensions than its predecessors, it includes a combination of sharing, hierarchy, and an open approach to component composition and binding which we believe to be novel. It allows for a clean definition of structural composition based on containment and binding relationships between components.","PeriodicalId":127523,"journal":{"name":"2011 International Conference on Business Computing and Global Informatization","volume":"112 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-07-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132150662","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}
京公网安备 11010802042870号
京ICP备2023020795号-1
扫码关注我们
求助内容：
应助结果提醒方式：