Pub Date : 2011-07-15DOI: 10.1109/ICSESS.2011.5982474
M. Mala, I. Cil
Project complexity receives more and more attention from researches in all fields of project management. The subject of complexity in agent based systems has not received detailed attention. This paper deals with complexity factors which can be faced by agent based system development. The model is based on a mixture of project management components and software engineering components. Also some components were retrieved by experts and practitioner through a Delphi survey.
{"title":"A taxonomy for measuring complexity in agent-based systems","authors":"M. Mala, I. Cil","doi":"10.1109/ICSESS.2011.5982474","DOIUrl":"https://doi.org/10.1109/ICSESS.2011.5982474","url":null,"abstract":"Project complexity receives more and more attention from researches in all fields of project management. The subject of complexity in agent based systems has not received detailed attention. This paper deals with complexity factors which can be faced by agent based system development. The model is based on a mixture of project management components and software engineering components. Also some components were retrieved by experts and practitioner through a Delphi survey.","PeriodicalId":108533,"journal":{"name":"2011 IEEE 2nd International Conference on Software Engineering and Service Science","volume":"438 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-07-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123012824","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}
Pub Date : 2011-07-15DOI: 10.1109/ICSESS.2011.5982336
Honggang Li, Sheng-Chun Yang
In particular, an early integration of performance specifications in the SDP has been recognized during the last few years as an effective approach to improve the overall quality of a software. Performance related problems are becoming more and more strategic in the software development, especially recently with the advent of Web Services and related business-oriented composition techniques (software as a service, Web 2.0, orchestration, choreography, etc.). The goal of our work is the definition of a software development process that integrates performance evaluation and prediction. The software performance engineering development process (SPEDP) we specify is focused on performance, which plays a key role driving the software development process, thus implementing a performance/QoS-driven (software) development process. More specifically, in this paper our aim is to formally define the SPEDP design process, posing particular interest on the basis, on the first step of SPEDP, the software/system architecture design, modeling and/or representation. We define both the diagrams to use and show how to model the structure of the software architecture, its behavior and performance requirements. This is the first mandatory step for the automation of the SPEDP into a specific tool.
{"title":"Development modeling of software based on performance process","authors":"Honggang Li, Sheng-Chun Yang","doi":"10.1109/ICSESS.2011.5982336","DOIUrl":"https://doi.org/10.1109/ICSESS.2011.5982336","url":null,"abstract":"In particular, an early integration of performance specifications in the SDP has been recognized during the last few years as an effective approach to improve the overall quality of a software. Performance related problems are becoming more and more strategic in the software development, especially recently with the advent of Web Services and related business-oriented composition techniques (software as a service, Web 2.0, orchestration, choreography, etc.). The goal of our work is the definition of a software development process that integrates performance evaluation and prediction. The software performance engineering development process (SPEDP) we specify is focused on performance, which plays a key role driving the software development process, thus implementing a performance/QoS-driven (software) development process. More specifically, in this paper our aim is to formally define the SPEDP design process, posing particular interest on the basis, on the first step of SPEDP, the software/system architecture design, modeling and/or representation. We define both the diagrams to use and show how to model the structure of the software architecture, its behavior and performance requirements. This is the first mandatory step for the automation of the SPEDP into a specific tool.","PeriodicalId":108533,"journal":{"name":"2011 IEEE 2nd International Conference on Software Engineering and Service Science","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-07-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130786890","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}
Pub Date : 2011-07-15DOI: 10.1109/ICSESS.2011.5982298
Liyan Zhang, Yan Sun, Jian Ma
The paper presents a novel Parallel Crout Algorithm (PCA) based on multi-core computer with Threading Building Blocks (TBB). TBB offers a rich and complete approach to express parallelism in a C++ program. PCA is decomposed into three-tier: data decomposition parallelism, task processing parallelism and data composition parallelism and it can improve the efficiency of solving linear systems. Compared with Sequential Crout Algorithm (SCA), PCA has advantages of high efficiency, cross-platform and scalability. SCA and PCA, which is based on TBB, are implemented with C++. The validities of both methods are verified by different scale of matrix. In order to improve decomposition rate, the paper optimizes the parameters of PCA. Experiments show that, compared with SCA, PCA can reached a faster solution speed and a higher efficiency and it takes full advantage of Symmetrical Multi-Processing computer.
{"title":"A Parallel Crout Algorithm based on TBB","authors":"Liyan Zhang, Yan Sun, Jian Ma","doi":"10.1109/ICSESS.2011.5982298","DOIUrl":"https://doi.org/10.1109/ICSESS.2011.5982298","url":null,"abstract":"The paper presents a novel Parallel Crout Algorithm (PCA) based on multi-core computer with Threading Building Blocks (TBB). TBB offers a rich and complete approach to express parallelism in a C++ program. PCA is decomposed into three-tier: data decomposition parallelism, task processing parallelism and data composition parallelism and it can improve the efficiency of solving linear systems. Compared with Sequential Crout Algorithm (SCA), PCA has advantages of high efficiency, cross-platform and scalability. SCA and PCA, which is based on TBB, are implemented with C++. The validities of both methods are verified by different scale of matrix. In order to improve decomposition rate, the paper optimizes the parameters of PCA. Experiments show that, compared with SCA, PCA can reached a faster solution speed and a higher efficiency and it takes full advantage of Symmetrical Multi-Processing computer.","PeriodicalId":108533,"journal":{"name":"2011 IEEE 2nd International Conference on Software Engineering and Service Science","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-07-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128716066","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}
Pub Date : 2011-07-15DOI: 10.1109/ICSESS.2011.5982435
Yong-gang An
Changsha is the demonstration region of “two types” and “low carbon tourism” in Hunan province, the development of the tourism industry use the basic resources with unique mountain, water, sandbar and long history. The research uses ecological bearing capacity to study on tourism sustainable development of Changsha. The results show that the tourism bearing capacities of the city not overload, the development of tourism industry is in a state of sustainable development, the pressure of tourist activities to the ecological environment is within the tourist ecological capacity. But tourism ecological footprint is very high, because there are a lot of local tourists participated in leisure activities, this also reflects the arrival of the leisure era, so making the relevant development countermeasures and management measures under low carbon idea.
{"title":"Notice of RetractionResearch on tourism sustainable development of Changsha based on low carbon perspective","authors":"Yong-gang An","doi":"10.1109/ICSESS.2011.5982435","DOIUrl":"https://doi.org/10.1109/ICSESS.2011.5982435","url":null,"abstract":"Changsha is the demonstration region of “two types” and “low carbon tourism” in Hunan province, the development of the tourism industry use the basic resources with unique mountain, water, sandbar and long history. The research uses ecological bearing capacity to study on tourism sustainable development of Changsha. The results show that the tourism bearing capacities of the city not overload, the development of tourism industry is in a state of sustainable development, the pressure of tourist activities to the ecological environment is within the tourist ecological capacity. But tourism ecological footprint is very high, because there are a lot of local tourists participated in leisure activities, this also reflects the arrival of the leisure era, so making the relevant development countermeasures and management measures under low carbon idea.","PeriodicalId":108533,"journal":{"name":"2011 IEEE 2nd International Conference on Software Engineering and Service Science","volume":"9 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-07-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131186381","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}
Pub Date : 2011-07-15DOI: 10.1109/ICSESS.2011.5982276
Zebin Chen, S. Fickas
In this paper, we report on our experience in designing Comet, a tool to support verification goals that require exploration of multiple model configurations and options. Comet helps us track the various runs we have made using Spin: it provides us with various visualizations and the ability to easily schedule a new run with point-and-click parameters. Our work on Comet is motivated by the observation that verification through model-checking is a complex process even after a model is built and properties are defined, where an analyst typically must navigate a difficult parameter space that involves both model configurations and tool options. Comet supports an analyst in this run, analyze, choose-next-run cycle.
{"title":"Comet: A configuration management tool for formal modeling","authors":"Zebin Chen, S. Fickas","doi":"10.1109/ICSESS.2011.5982276","DOIUrl":"https://doi.org/10.1109/ICSESS.2011.5982276","url":null,"abstract":"In this paper, we report on our experience in designing Comet, a tool to support verification goals that require exploration of multiple model configurations and options. Comet helps us track the various runs we have made using Spin: it provides us with various visualizations and the ability to easily schedule a new run with point-and-click parameters. Our work on Comet is motivated by the observation that verification through model-checking is a complex process even after a model is built and properties are defined, where an analyst typically must navigate a difficult parameter space that involves both model configurations and tool options. Comet supports an analyst in this run, analyze, choose-next-run cycle.","PeriodicalId":108533,"journal":{"name":"2011 IEEE 2nd International Conference on Software Engineering and Service Science","volume":"117 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-07-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127066316","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}
Pub Date : 2011-07-15DOI: 10.1109/ICSESS.2011.5982484
Hu Yang, Lina Yu
Based on the ultrasonic guided wave theory, an indepth research and analysis into ultrasonic guided waves of port anchor metal rods in different conditions has been conducted. The simulation results of ultrasonic guided wave of port anchor metal rods conducted with the high and low frequency have been given. The anchorage quality results from amplitude and bonded area, which provides proof for the no-destructive testing of the end of port anchor metal rods.
{"title":"Notice of RetractionInspected simulation of port anchor metal rods ultrasonic guided wave based on dispersion characteristic","authors":"Hu Yang, Lina Yu","doi":"10.1109/ICSESS.2011.5982484","DOIUrl":"https://doi.org/10.1109/ICSESS.2011.5982484","url":null,"abstract":"Based on the ultrasonic guided wave theory, an indepth research and analysis into ultrasonic guided waves of port anchor metal rods in different conditions has been conducted. The simulation results of ultrasonic guided wave of port anchor metal rods conducted with the high and low frequency have been given. The anchorage quality results from amplitude and bonded area, which provides proof for the no-destructive testing of the end of port anchor metal rods.","PeriodicalId":108533,"journal":{"name":"2011 IEEE 2nd International Conference on Software Engineering and Service Science","volume":"15 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-07-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125290441","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}
Pub Date : 2011-07-15DOI: 10.1109/ICSESS.2011.5982472
Deren Yang, Mei Xue
In order to achieve the objectives of software engineering, it is necessary to select an appropriate software process paradigm, generally known as software process model. But being lack of its theoretical research in-depth, it is difficult to use it to guide software process effectively. In the paper, the concept and definition of software process paradigm were standardized; its elements were analyzed; its constraint mechanisms were explored; and the corresponding formal descriptions were presented. The study is useful to guide software process better.
{"title":"Software process paradigm and its constraint mechanisms","authors":"Deren Yang, Mei Xue","doi":"10.1109/ICSESS.2011.5982472","DOIUrl":"https://doi.org/10.1109/ICSESS.2011.5982472","url":null,"abstract":"In order to achieve the objectives of software engineering, it is necessary to select an appropriate software process paradigm, generally known as software process model. But being lack of its theoretical research in-depth, it is difficult to use it to guide software process effectively. In the paper, the concept and definition of software process paradigm were standardized; its elements were analyzed; its constraint mechanisms were explored; and the corresponding formal descriptions were presented. The study is useful to guide software process better.","PeriodicalId":108533,"journal":{"name":"2011 IEEE 2nd International Conference on Software Engineering and Service Science","volume":"10 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-07-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124428280","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}
Pub Date : 2011-07-15DOI: 10.1109/ICSESS.2011.5982255
K. S. K. Reddy, G. Narayana, M. Padmavathamma
This paper presents the design of Learner Integrated Data Exchange System for e-Learning based on Multi Prime-RSA(M-RSA) cryptosystem for E-Learning System transactions focusing on the electronic signing for e-admissions, certified e-mail, e-payment, e-material delivery and e-evaluation.
{"title":"Learner integrated data exchange system architecture","authors":"K. S. K. Reddy, G. Narayana, M. Padmavathamma","doi":"10.1109/ICSESS.2011.5982255","DOIUrl":"https://doi.org/10.1109/ICSESS.2011.5982255","url":null,"abstract":"This paper presents the design of Learner Integrated Data Exchange System for e-Learning based on Multi Prime-RSA(M-RSA) cryptosystem for E-Learning System transactions focusing on the electronic signing for e-admissions, certified e-mail, e-payment, e-material delivery and e-evaluation.","PeriodicalId":108533,"journal":{"name":"2011 IEEE 2nd International Conference on Software Engineering and Service Science","volume":"70 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-07-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116626842","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}
Pub Date : 2011-07-15DOI: 10.1109/ICSESS.2011.5982258
Fan Wu, Lixin Zhao
The design and development method of a stereo recording simulation software named “Virtual Stereo Recording” was introduced in the paper. The software can support simulations of four types of stereo microphone techniques. The sound image can be displayed, the important parameters can be output, and the stereo sound simulated by the software can be played as well. The mathematical models of the parameters were derived and the development method was described in detail.
{"title":"The design and development of stereo recording simulation software","authors":"Fan Wu, Lixin Zhao","doi":"10.1109/ICSESS.2011.5982258","DOIUrl":"https://doi.org/10.1109/ICSESS.2011.5982258","url":null,"abstract":"The design and development method of a stereo recording simulation software named “Virtual Stereo Recording” was introduced in the paper. The software can support simulations of four types of stereo microphone techniques. The sound image can be displayed, the important parameters can be output, and the stereo sound simulated by the software can be played as well. The mathematical models of the parameters were derived and the development method was described in detail.","PeriodicalId":108533,"journal":{"name":"2011 IEEE 2nd International Conference on Software Engineering and Service Science","volume":"91 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-07-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"117292991","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}
Pub Date : 2011-07-15DOI: 10.1109/ICSESS.2011.5982277
Li Gao, Yinghu Zhao, Debin Li
Taken the reader identification of University libraries as classification basis, which were divided as four different types of users, that is instructors, doctorial students, graduate students, and undergraduate students, reading library holdings and resources utilization ratio of digital library were tested in this study. Based on the universal introduced LibQual+TM scale in foreign university library, the questionnaire was surveyed by combining with characteristics of Northeast Forestry University Library. According to a variety of users, the difference were analyzed on frequency of utilization, reasons for use, the importance on service quality of library and satisfaction evaluation, which was offered theoretical reference of resource allocation and service idea for future university library.
{"title":"Notice of RetractionStudy on evaluation models of resource and quality of services in university library","authors":"Li Gao, Yinghu Zhao, Debin Li","doi":"10.1109/ICSESS.2011.5982277","DOIUrl":"https://doi.org/10.1109/ICSESS.2011.5982277","url":null,"abstract":"Taken the reader identification of University libraries as classification basis, which were divided as four different types of users, that is instructors, doctorial students, graduate students, and undergraduate students, reading library holdings and resources utilization ratio of digital library were tested in this study. Based on the universal introduced LibQual+TM scale in foreign university library, the questionnaire was surveyed by combining with characteristics of Northeast Forestry University Library. According to a variety of users, the difference were analyzed on frequency of utilization, reasons for use, the importance on service quality of library and satisfaction evaluation, which was offered theoretical reference of resource allocation and service idea for future university library.","PeriodicalId":108533,"journal":{"name":"2011 IEEE 2nd International Conference on Software Engineering and Service Science","volume":"54 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-07-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115032351","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
扫码关注我们
求助内容：
应助结果提醒方式：