EL 2011: Jeju Island, Korea

Tai-Hoon Kim, Hojjat Adeli, Haeng-Kon Kim, Heau-Jo Kang, Kyung Jung Kim, Akingbehin Kiumi, Byeong Ho Kang (Eds.): Software Engineering, Business Continuity, and Education - International Conferences ASEA, DRBC and EL 2011, Held as Part of the Future Generation Information Technology Conference, FGIT 2011, in Conjunction with GDC 2011, Jeju Island, Korea, December 8-10, 2011. Proceedings. Communications in Computer and Information Science 257 Springer 2011, ISBN 978-3-642-27206-6

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

Last update Fri May 25 08:14:07 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page