3. FGIT-ASEA/DRBC/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