


default search action
3rd FGIT-ASEA/DRBC/EL 2011: Jeju Island, Korea
- Tai-Hoon Kim, Hojjat Adeli, Haeng-Kon Kim, Heau-Jo Kang, Kyung Jung Kim, Kiumi Akingbehin, Byeong Ho Kang

:
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 - Rujiang Bai, Xiaoyue Wang, Zewen Hu:

A Novel Web Pages Classification Model Based on Integrated Ontology. 1-10 - Muhammad Shafiq ur Rehman, 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 - Muhammad Ramzan

, Asma Batool, Nasir Mehmood 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, Yong-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

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














