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.