Table of Contents

• A Novel Web Pages Classification Model Based on Integrated OntologyBai Rujiang, Wang Xiaoyue, Hu Zewen. 1-10 [doi]
• AgentSpeak (L) Based Testing of Autonomous AgentsMuhammad Shafiq ur Rehman, Aamer Nadeem. 11-20 [doi]
• A Flexible Methodology of Performance Evaluation for Fault-Tolerant Ethernet Implementation ApproachesHoang-Anh Pham, Dae Hoo Lee, Jong-myung Rhee. 21-25 [doi]
• Behavioral Subtyping Relations for Timed ComponentsYoucef Hammal. 26-35 [doi]
• A Quantitative Analysis of Semantic Information Retrieval Research Progress in ChinaXiaoyue Wang, Rujiang Bai, Liyun Kang. 36-45 [doi]
• Applying Evolutionary Approaches to Data Flow Testing at Unit LevelShaukat Ali Khan, Aamer Nadeem. 46-55 [doi]
• Volume-Rendering of Mitochondrial Transports Using VTKYeonggul Jang, Hackjoon Shim, Yoojin Chung. 56-60 [doi]
• Model Checking of Transition-Labeled Finite-State MachinesVladimir Estivill-Castro, David A. Rosenblueth. 61-73 [doi]
• Development of Intelligent Effort Estimation Model Based on Fuzzy Logic Using Bayesian NetworksJahangir Khan, Zubair A. Shaikh, Abou Bakar Nauman. 74-84 [doi]
• A Prolog Based Approach to Consistency Checking of UML Class and Sequence DiagramsZohaib Khai, Aamer Nadeem, Gang-Soo Lee. 85-96 [doi]
• A UML Profile for Real Time Industrial Control SystemsKamran Latif, Aamer Nadeem, Gang-Soo Lee. 97-107 [doi]
• A Safe Regression Testing Technique for Web Services Based on WSDL SpecificationTehreem Masood, Aamer Nadeem, Gang-Soo Lee. 108-119 [doi]
• Evaluating Software Maintenance Effort: The COME MatrixBee Bee Chua, June M. Verner. 120-136 [doi]
• COSMIC Functional Size Measurement Using UML ModelsSoumaya Barkallah, Abdelouahed Gherbi, Alain Abran. 137-146 [doi]
• Identifying the Crosscutting among Concerns by Methods' Calls AnalysisMario Luca Bernardi, Giuseppe A. Di Lucca. 147-158 [doi]
• A Pattern-Based Approach to Formal Specification ConstructionXi Wang, Shaoying Liu, Huaikou Miao. 159-168 [doi]
• A Replicated Experiment with Undergraduate Students to Evaluate the Applicability of a Use Case Precedence Diagram Based Approach in Software ProjectsJosé Antonio Pow-Sang, Ricardo Imbert, Ana María Moreno. 169-179 [doi]
• Automated Requirements Elicitation for Global Software Development (GSD) EnvironmentMuhammad Ramzan, Asma Batool, Nasir Minhas, Zia Ul-Qayyum, M. Arfan Jaffar. 180-189 [doi]
• Optimization of Transaction Mechanism on Java CardXiaoxue Yu, Dawei Zhang. 190-199 [doi]
• SOCF: Service Oriented Common Frameworks Design Pattern for Mobile Systems with UMLHaeng-Kon Kim. 200-211 [doi]
• Double Layered Genetic Algorithm for Document ClusteringLim Cheon Choi, Jung Song Lee, Soon Cheol Park. 212-218 [doi]
• Multi-Objective Genetic Algorithms, NSGA-II and SPEA2, for Document ClusteringJung Song Lee, Lim Cheon Choi, Soon Cheol Park. 219-227 [doi]
• Implementing a Coordination Algorithm for Parallelism on Heterogeneous ComputersHao Wu, Chia-Chu Chiang. 228-236 [doi]
• Efficient Loop-Extended Model Checking of Data Structure MethodsQiuping Yi, Jian Liu, Wuwei Shen. 237-249 [doi]
• The Systematic Practice of Test Design AutomationOksoon Jeong. 250-255 [doi]
• Application Runtime Framework for Model-Driven DevelopmentNacha Chondamrongkul, Rattikorn Hewett. 256-264 [doi]
• The Fractal Prediction Model of Software Reliability Based on WaveletYong Cao, Youjie Zhao, Huan Wang. 265-271 [doi]
• Source Code Metrics and Maintainability: A Case StudyPéter Hegedüs, Tibor Bakota, László Illés, Gergely Ladányi, Rudolf Ferenc, Tibor Gyimóthy. 272-284 [doi]
• Systematic Verification of Operational Flight Program through Reverse EngineeringDong-Ah Lee, Jong-Hoon Lee, Junbeom Yoo, Doo-Hyun Kim. 285-291 [doi]
• A Study on UML Model Convergence Using Model Transformation Technique for Heterogeneous Smartphone ApplicationWoo Yeol Kim, Hyun Seung Son, Robert Young Chul Kim. 292-297 [doi]
• A Validation Process for Real Time TransactionsKyu-Won Kim, Woo Yeol Kim, Hyun Seung Son, Robert Young Chul Kim. 298-304 [doi]
• A Test Management System for Operational ValidationMyoung Wan Kim, Woo Yeol Kim, Hyun Seung Son, Robert Young Chul Kim. 305-313 [doi]
• Mobile Application Compatibility Test System Design for Android FragmentationHyung Kil Ham, Young Bom Park. 314-320 [doi]
• Efficient Image Identifier Composition for Image DatabaseJe-Ho Park, Young Bom Park. 321-329 [doi]
• A Note on Two-Stage Software Testing by Two TeamsMitsuhiro Kimura, Takaji Fujiwara. 330-337 [doi]
• Cumulative Damage Models with Replacement LastXufeng Zhao, Keiko Nakayama, Syouji Nakamura. 338-345 [doi]
• Periodic and Random Inspection Policies for Computer SystemsMingchih Chen, Cunhua Qian, Toshio Nakagawa. 346-353 [doi]
• Software Reliability Growth Modeling with Change-Point and Its Goodness-of-Fit ComparisonsShinji Inoue, Shigeru Yamada. 354-361 [doi]
• Replacement Policies with Interval of Dual System for System TransitionSatoshi Mizutani, Toshio Nakagawa. 362-369 [doi]
• Probabilistic Analysis of a System with Illegal AccessMitsuhiro Imaizumi, Mitsutaka Kimura. 370-376 [doi]
• Bayesian Inference for Credible Intervals of Optimal Software Release TimeHiroyuki Okamura, Tadashi Dohi, Shunji Osaki. 377-384 [doi]
• A Note on Replacement Policies in a Cumulative Damage ModelWon Young Yun. 385-391 [doi]
• Reliability Consideration of a Server System with Replication Buffering Relay Method for Disaster RecoveryMitsutaka Kimura, Mitsuhiro Imaizumi, Toshio Nakagawa. 392-398 [doi]
• Estimating Software Reliability Using Extreme Value DistributionXiao Xiao, Tadashi Dohi. 399-406 [doi]
• Program Conversion for Detecting Data Races in Concurrent Interrupt HandlersByoung-Kwi Lee, Mun-Hye Kang, Kyoung Choon Park, Jin Seob Yi, Sang Woo Yang, Yong-Kee Jun. 407-415 [doi]
• Implementation of an Integrated Test Bed for Avionics System DevelopmentHyeon-Gab Shin, Myeong-Chul Park, Jung-Soo Jun, Yong Ho Moon, Seok-Wun Ha. 416-423 [doi]
• Efficient Thread Labeling for On-the-fly Race Detection of Programs with Nested ParallelismOk-Kyoon Ha, Yong-Kee Jun. 424-436 [doi]
• A Taxonomy of Concurrency Bugs in Event-Driven ProgramsGuy Martin Tchamgoue, Ok-Kyoon Ha, Kyong Hoon Kim, Yong-Kee Jun. 437-450 [doi]
• Efficient Verification of First Tangled Races to Occur in Programs with Nested ParallelismMun-Hye Kang, Yong-Kee Jun. 451-460 [doi]
• Implementation of Display Based on Pilot PreferenceChung-Jae Lee, Jin Seob Yi, Ki-Il Kim. 461-466 [doi]
• A Study on WSN System Integration for Real-Time Global MonitoringYoung-Joo Kim, Sungmin Hong, Jong-uk Lee, Sejun Song, Daeyoung Kim 0001. 467-478 [doi]
• The Modeling Approaches of Distributed Computing SystemsSusmit Bagchi. 479-488 [doi]
• Event-Centric Test Case Scripting Method for SOA Execution EnvironmentYoungkon Lee. 489-496 [doi]
• bQoS(business QoS) Parameters for SOA Quality RatingYoungkon Lee. 497-504 [doi]
• Business-Centric Test Assertion Model for SOAYoungkon Lee. 505-513 [doi]
• Application of Systemability to Software Reliability EvaluationKoichi Tokuno, Shigeru Yamada. 514-521 [doi]
• 'Surge Capacity Evaluation of an Emergency Department in Case of Mass Casualty'Young Hoon Lee, Heeyeon Seo, Farrukh Rasheed, Kyung-Sup Kim, Seung Ho Kim, Incheol Park. 522-531 [doi]
• Business Continuity after the 2003 Bam Earthquake in IranAlireza Fallahi, Solmaz Arzhangi. 532-540 [doi]
• Emergency-Affected Population Identification and Notification by Using Online Social NetworksHuong Pho, Soyeon Caren Han, Byeong Ho Kang. 541-550 [doi]
• Development and Application of an m-Learning System That Supports Efficient Management of 'Creative Activities' and Group LearningMyung-suk Lee, Yoo Ek Son. 551-558 [doi]
• The Good and the Bad: The Effects of Excellence in the Internet and Mobile Phone UsageHyung Chul Kim, Chan Jung Park, Young Min Ko, Jung Suk Hyun, Cheol Min Kim. 559-568 [doi]
• Trends in Social Media Application: The Potential of Google+ for Education Shown in the Example of a Bachelor's Degree Course on MarketingAlptekin Erkollar, Birgit J. Oberer. 569-578 [doi]
• Learning Preferences and Self-Regulation - Design of a Learner-Directed E-Learning ModelStella Lee, Trevor Barker, Vive Kumar. 579-589 [doi]
• Project Based Learning in Higher Education with ICT: Designing and Tutoring Digital Design Course at M S R I T, BangaloreSatyadhyan Chickerur, M. Aswatha Kumar. 590-597 [doi]
• A Case Study on Improvement of Student Evaluation of University TeachingSung-Hyun Cha, Kum-Taek Seo. 598-603 [doi]
• An Inquiry into the Learning Principles Based on the Objectives of Self-directed LearningGi-Wang Shin. 604-612 [doi]
• Bioethics Curriculum Development for Nursing Students in South Korea Based on Debate as a Teaching StrategyKwisoon Choe, Myeong-kuk Sung, Sangyoon Park. 613-621 [doi]
• A Case Study on SUID in Child-Care FacilitiesSoon-Jeoung Moon, Chang-Suk Kang, Hyun-Hee Jung, Myoung-Hee Lee, Sin-Won Lim, Sung-Hyun Cha, Kum-Taek Seo. 622-626 [doi]
• Frames of Creativity-DESK Model; Its Application to 'Education 3.0'Seon-ha Im. 627-642 [doi]
• Blended NurtureRobert J. Wierzbicki. 643-650 [doi]
• University-Industry Ecosystem: Factors for Collaborative EnvironmentMuhammad Fiaz, Baseerat Rizran. 651-661 [doi]
• Role Playing for Scholarly ArticlesBee Bee Chua. 662-674 [doi]
• Statistical Analysis and Prior Distributions of Significant Software Estimation Factors Based on ISBSG Release 10Abou Bakar Nauman, Jahangir Khan, Zubair A. Shaikh, Abdul Wahid Shaikh, Khisro khan. 675-686 [doi]
• Virtual FDR Based Frequency Monitoring System for Wide-Area Power ProtectionKwang-Ho Seok, Junho Ko, Chul-Won Park, Yoon Sang Kim. 687-694 [doi]
• Engaging and Effective Asynchronous Online Discussion ForumsJemal H. Abawajy, Tai-Hoon Kim. 695-705 [doi]
• Online Learning Environment: Taxonomy of Asynchronous Online Discussion ForumsJemal H. Abawajy, Tai-Hoon Kim. 706-714 [doi]