RogerLee(Ed.) ComputerandInformationScience2010 StudiesinComputationalIntelligence,Volume317 Editor-in-Chief Prof.JanuszKacprzyk SystemsResearchInstitute PolishAcademyofSciences ul.Newelska6 01-447Warsaw Poland E-mail:[email protected] Furthervolumesofthisseriescanbefoundonour homepage:springer.com Vol.306.TruHoangCao ConceptualGraphsandFuzzyLogic,2010 ISBN978-3-642-14086-0 Vol.295.RogerLee(Ed.) SoftwareEngineering,ArtificialIntelligence,Networkingand Vol.307.AnupamShukla,RituTiwari,andRahulKala Parallel/DistributedComputing,2010 TowardsHybridandAdaptiveComputing,2010 ISBN978-3-642-13264-3 ISBN978-3-642-14343-4 Vol.308.RogerNkambou,JacquelineBourdeau,and Vol.296.RogerLee(Ed.) RiichiroMizoguchi(Eds.) SoftwareEngineeringResearch,Managementand AdvancesinIntelligentTutoringSystems,2010 Applications,2010 ISBN978-3-642-14362-5 ISBN978-3-642-13272-8 Vol.309.IsabelleBichindaritz,LakhmiC.Jain,SachinVaidya, Vol.297.TaniaTronco(Ed.) andAshleshaJain(Eds.) NewNetworkArchitectures,2010 ComputationalIntelligenceinHealthcare4,2010 ISBN978-3-642-13246-9 ISBN978-3-642-14463-9 Vol.298.AdamWierzbicki Vol.310.DiptiSrinivasanandLakhmiC.Jain(Eds.) TrustandFairnessinOpen,DistributedSystems,2010 InnovationsinMulti-AgentSystemsandApplications–1, ISBN978-3-642-13450-0 2010 ISBN978-3-642-14434-9 Vol.299.VassilSgurev,MinchoHadjiski,and Vol.311.JuanD.Vela´squezandLakhmiC.Jain(Eds.) JanuszKacprzyk(Eds.) AdvancedTechniquesinWebIntelligence–1,2010 IntelligentSystems:FromTheorytoPractice,2010 ISBN978-3-642-14460-8 ISBN978-3-642-13427-2 Vol.312.PatriciaMelin,JanuszKacprzyk,and Vol.300.BaodingLiu(Ed.) WitoldPedrycz(Eds.) UncertaintyTheory,2010 SoftComputingforRecognitionbasedonBiometrics,2010 ISBN978-3-642-13958-1 ISBN978-3-642-15110-1 Vol.313.ImreJ.Rudas,Ja´nosFodor,and Vol.301.GiulianoArmano,MarcodeGemmis, JanuszKacprzyk(Eds.) GiovanniSemeraro,andEloisaVargiu(Eds.) ComputationalIntelligenceinEngineering,2010 IntelligentInformationAccess,2010 ISBN978-3-642-15219-1 ISBN978-3-642-13999-4 Vol.314.LorenzoMagnani,WalterCarnielli,and Vol.302.BijayaKetanPanigrahi,AjithAbraham, ClaudioPizzi(Eds.) andSwagatamDas(Eds.) Model-BasedReasoninginScienceandTechnology,2010 ComputationalIntelligenceinPowerEngineering,2010 ISBN978-3-642-15222-1 ISBN978-3-642-14012-9 Vol.315.MohammadEssaaidi,MicheleMalgeri,and Vol.303.JoachimDiederich,CengizGunay,and CostinBadica(Eds.) JamesM.Hogan IntelligentDistributedComputingIV,2010 RecruitmentLearning,2010 ISBN978-3-642-15210-8 ISBN978-3-642-14027-3 Vol.316.PhilippWolfrum Vol.304.AnthonyFinnandLakhmiC.Jain(Eds.) InformationRouting,CorrespondenceFinding,andObject InnovationsinDefenceSupportSystems,2010 RecognitionintheBrain,2010 ISBN978-3-642-14083-9 ISBN978-3-642-15253-5 Vol.305.StefaniaMontaniandLakhmiC.Jain(Eds.) Vol.317.RogerLee SuccessfulCase-BasedReasoningApplications-1,2010 ComputerandInformationScience2010,2010 ISBN978-3-642-14077-8 ISBN978-3-642-15404-1 Roger Lee Computer and Information Science 2010 123 RogerLee GuestEditors SoftwareEngineering& TokuroMatsuo InformationTechnologyInstitute GraduateSchoolof ComputerScienceDepartment Science&Engineering CentralMichiganUniversity YamagataUniversity Mt.Pleasant,MI48859 Yonezawa,Yamagata992-0051 U.S.A. Japan E-mail:[email protected] E-mail:[email protected] NaohiroIshii DepartmentofInformationScience AichiInstituteofTechnology Toyota Japan E-mail:[email protected] ISBN 978-3-642-15404-1 e-ISBN 978-3-642-15405-8 DOI 10.1007/978-3-642-15405-8 Studiesin Computational Intelligence ISSN1860-949X Library of Congress Control Number:2010932781 (cid:2)c 2010 Springer-VerlagBerlin Heidelberg Thisworkissubjecttocopyright.Allrightsarereserved,whetherthewholeorpart of the material is concerned, specifically therights of translation, reprinting,reuse ofillustrations, recitation,broadcasting, reproductiononmicrofilm orinanyother way, and storage in data banks. Duplication of this publication or parts thereof is permittedonlyundertheprovisionsoftheGermanCopyrightLawofSeptember9, 1965, in its current version, and permission for use must always be obtained from Springer. Violations are liable to prosecution undertheGerman Copyright Law. The use of general descriptive names, registered names, trademarks, etc. in this publication does not imply, even in the absence of a specific statement, that such names are exempt from the relevant protective laws and regulations and therefore free for general use. Typeset&CoverDesign:ScientificPublishing ServicesPvt. Ltd., Chennai, India. Printed on acid-free paper 9 8 7 6 5 4 3 2 1 springer.com Preface The 9th ACIS/IEEE International Conference on Computer Science and Information Science, held in Kaminoyama, Japan on August 18-20 is aimed at bringing together researchers and scientists, businessmen and entrepreneurs, teachers and students to discuss the numerous fields of computer science, and to share ideas and information in a meaningful way. This publication captures 18 of the conference’s most promising papers, and we impatiently await the important contributions that we know these authors will bring to the field. In chapter 1, Taewan Gu et al. propose a method of software reliability estimation based on IEEE Std. 1633 which is adaptive in the face of frequent changes to software requirements, and show why the adaptive approach is necessary when software requirements are changed frequently through a case study. In chapter 2, Keisuke Matsuno et al. investigate the capacity of incremental learning in chaotic neural networks, varying both the refractory parameter and the learning parameter with network size. This approach is investigated through simulations, which find that capacity can be increased in greater than direct proportion to size. In chapter 3, Hongwei Zeng and Huaikou Miao extend the classical labeled transition system models to make both abstraction and compositional reasoning applicable to deadlock detection for parallel composition of components, and propose a compositional abstraction refinement approach. In chapter 4, Chong Shen and Wencai Du investigate the relationship between mobility modelling and data dissemination protocols in vehicular communication networks, improving upon the unrealistic mobility models in use while considering both micro and macro mobility characteristics, and developing more effective data dissimination protocols. They demonstrate through simulation the necessity of adaptive protocols when mobility characteristics are heterogeneous, and establish other effects of mobility model on data dissemination. In chapter 5, Jing Sun et al. explore the concept and implementation of a Barcode Network, a hybrid of barcode technology and the Electronic Product Code (EPC) network, providing the advantages of unique identifiers for each individual inventory item as well as modern Internet functionality, combining the strengths VI Preface and the momentum of barcode schemes such as UPC and ISBN with the promises of EPC networks. In chapter 6, Shaochun Xu and Wencai Du examine the effect of expertise on incremental software development, evaluating experimentally the ability of intermediate and expert programmers at design decision generation, test case generation, hypotheses generation when debugging the program, and actions at different Blooms taxonomy levels. They conclude that expert programmers spend more cog-native time at higher levels of Bloom’s taxonomy, and intermediates, more at lower levels. In chapter 7, Hiroyuki Kitada et al. analyze packet streams from peer-to-peer applications, identifying the flow characteristics in two popular P2P video services. The distributions of flow interarrival and flow volume are identified, and an analysis of network load is made. In chapter 8, Dauw-Song Zhu et al. integrate user customization ability of web pages and customer playfulness as factors in analysis of use intention of online stores, and through analysis of survey results find that customization does not have a positive impact on usage intention, and that web quality and customization both positively influence user playfulness, and playfulness does have a positive relationship with usage intention. In chapter 9, Miguel Miranda et al. describe a multi-agent system implementing HL7, an international healthcare system interoperability standard, and its integration in several healthcare systems. The log registry and extracted statistics of several years of interoperation in one institution are used to analyze the development of prediction models to imbue intelligent behavior in the existing platform. In chapter 10, Feng Shen and Hai Jiang propose a distributed file management system with a focus on scalability, reliability and security, using a scaled Shamir’s secret sharing scheme to accomplish these goals at a data level, and distributed file system infrastructure to address them at a system level. In chapter 11, Dongjoo Lee et al. propose an improvement to personalized recommendation systems used in online stores and other domains. They show how to obtain customers implicit preferences from event logs and present a strategy to abstract preference context information, thus inferring information which can be used by well-known recommendation methods such as Collaborative Filtering. They further test their methods on music listening data and demonstrate an improvement in quality. In chapter 12, Yasuyuki Ichihashi et al. present their success in electroholography, creating a computer-generated hologram in realtime. They demonstrated the application of high-performance computers and achieving 1frame per second for a Preface VII million-point 3D image, and used a multi-GPU system to achieve 20 fps at 1,500 points. In chapter 13, Naoya Fujioka et al. propose a system for helping students study CPR. The system is based on a game utilizing a pressure sensor, and can be performed at home or in educational systems. Survey results and experimental evaluation indicated that the system revealed the advantages and utility of the system. In chapter 14, Masaharu Hirota et al. propose a clustering method in order to effectively present image search results on the Web, using social tags, low-level image features, and photo metadata. They applied constrained agglomerative clustering method with must-link constraints, achieving better clustering results by using multiple similarity metrics. Experimental performance of the method is presented. In chapter 15, Koki Murakata and Tokuro Matsuo propose a new evaluation mechanism for online commerce to decrease the information incompleteness and asymmetry using multi-attribute evaluation, incentivizing sellers to disclose many evaluation attributes to buyers by automatically determining a seller’s incentive to produce synthetic ratings. In chapter 16, Christian Fischer et al. consider the state of research on Enterprise Architecture design principles and analyze state-of-the-art EA principle definitions, working towards a consolidated, clear consensus on their definition. They identify seven common main components of definitions. In chapter 17, Haeng-Kon Kim and Roger Y. Lee analyze the coverage provided by individual test cases in component based testing systems in order to determine which test cases are redundant and provide a minimal set of test cases, reducing the overhead of testing without compromising coverage. In chapter 18, Matt Brooks et al. present the results of a usability study on university portal software, performing two tiers of analysis on the data. Improvements to the university portal and results pertaining to the level of experience of users are presented. It is our sincere hope that this volume provides stimulation and inspiration, and that it will be used as a foundation for works to come. August 2010 Guest Editors Tokuro Matsuo Naohiro Ishii Contents Adaptive Practice on Software Reliability Based on IEEE Std. 1633 in Frequent Requirement Modifications............ 1 Taewan Gu, Sejun Kim, Jongmoon Baik On Influence of Refractory Parameter in Incremental Learning..................................................... 13 Keisuke Matsuno, Toshinori Deguchi, Naohiro Ishii Deadlock Detection for Parallel Composition of Components ................................................. 23 Hongwei Zeng, Huaikou Miao Mobility Modelling for Vehicular Communication Data Dissemination ............................................... 35 Chong Shen, Wencai Du Study of the Key Techniques for Implementing Barcode Network ..................................................... 47 Jing Sun, Huiqun Zhao, Gongzhu Hu Programming Expertise during Incremental Software Development: An Empirical Study........................... 59 Shaochun Xu, Wencai Du GeneralFlowCharacteristics ofP2PStreamingConsidering Impact to Network Load..................................... 73 Hiroyuki Kitada, Takumi Miyoshi, Akihiro Shiozu, Masayuki Tsujino, Motoi Iwashita, Hideaki Yoshino An Exploration of the Intention to Use Online Store......... 85 Dauw-Song Zhu, Chung-Hung Tsai, Song-Sheng Huang X Contents Modelling Intelligent Behaviours in Multi-agent Based HL7 Services ................................................ 95 Miguel Miranda, Gabriel Pontes, Pedro Gonc¸alves, Hugo Peixoto, Manuel Santos, Ant´onio Abelha, Jos´e Machado SFS: A Secure File System with Scalability and Reliability Features on Distributed Storage Devices..................... 107 Feng Shen, Hai Jiang Exploiting Contextual Information from Event Logs for Personalized Recommendation............................... 121 Dongjoo Lee, Sung Eun Park, Minsuk Kahng, Sangkeun Lee, Sang-goo Lee Real-Time Reconstruction System Using a High-Performance Computer for Electroholography.......... 141 Yasuyuki Ichihashi, Hirotaka Nakayama, Shin Awazu, Tomoyoshi Shimobaba, Nobuyuki Masuda, Tomoyoshi Ito Development of Experience-Based Learning Support System for Realization of Exact Cardiopulmonary Resuscitation ................................................ 153 Naoya Fujioka, Masaya Suzuki, Satomi Toita, Hikaru Komukai, Hidehiko Hayashi, Kazuhiro Watanabe, Kohei Harada, Aya Sasaki, Yuzuru Kato, Akinori Minazuki Constraint-Based Clustering of Image Search Results Using Photo Metadata and Low-Level Image Features ............. 165 Masaharu Hirota,Shohei Yokoyama, Naoki Fukuta,HiroshiIshikawa An Incentive Mechanism Design in E-Trade Evaluation Systems ..................................................... 179 Koki Murakata, Tokuro Matsuo What Is an Enterprise Architecture Principle? Towards a Consolidated Definition...................................... 193 Christian Fischer, Robert Winter, Stephan Aier Components Based Testing Using Optimization AOP........ 207 Haeng-Kon Kim, Roger Y. Lee Usability Studies of Web-Based Portal Structures in Academia (Specifically, iCentral) ............................ 221 Matt Brooks, David Munro, Roger Lee Author Index................................................ 235 List of Contributors António Abelha Naoki Fukuta Universidade do Minho, Shizuoka University, Japan Portugal fukuta@ [email protected] inf.shizuoka.ac.jp Stephan Aier Pedro Gonçalves University of St. Gallen, Universidade do Minho, Switzerland Portugal [email protected] [email protected] Shin Awazu Taewan Gu Chiba University, Japan KAIST, Republic of Korea [email protected] Jongmoon Baik KAIST, Republic of Korea Kohei Harada [email protected] Kushiro Public University, Japan [email protected] Matt Brooks Central Michigan University, USA Hidehiko Hayashi Naruto University of Education, Toshinori Deguchi Japan Gifu National College of Technology, [email protected] Japan [email protected] Masaharu Hirota Shizuoka University, Japan Wencai Du [email protected]. Hainan University, China shizuoka.ac.jp [email protected] Gongzhu Hu Christian Fischer Central Michigan University, University of St. Gallen, Switzerland, USA christian.fi[email protected] [email protected] Naoya Fujioka Song-Sheng Huang Kushiro Public University, Japan National Dong Hwa University, [email protected] Taiwan