5. SERA 2007: Busan, Korea
5th ACIS International Conference on Software Engineering Research, Management & Applications (SERA 2007), August 20-22, 2007, Haeundae Grand Hotel, Busan, Korea. IEEE Computer Society 2007
Keynote
Manfred Broy: Two Sides of Structuring Multi-Functional Software Systems: Function Hierarchy and Component Architecture. 3-12
Software Architecture, Process Models, Design Patterns, and Frameworks I

Eun-ser Lee, Haeng-Kon Kim, Sun-myoung Hwang: Design Opportunity Tree of Capability Improve for Level-up and Software Process Improvement. 19-24
Eun-ser Lee, Haeng-Kon Kim, Sun-myoung Hwang: Analysis the priority of security requirement items for the process improvement by ISO/IEC 15504 and ISO/IEC 15408. 25-30
Kwan Hee Han, Jin Gu Kang: Two-stage Process Analysis Using the Process-based Performance Measurement Framework and Process Simulation. 31-37
Ki-Uk Kim, Sung Woo Park, Seonghyun Shin, Hyun-Suk Hwang, Tae Gun Jeon, Chang Soo Kim: Construction of a Real-time Urban Inundation Analysis System based on UIS using SWMM. 38-46
Communication Systems, Networks, and Telecommunications

Do-Hyun Nam, Hongki Min: An Energy-Efficient Clustering Using a Round-Robin Method in a Wireless Sensor Network. 54-60
Shahnaza Tursunova, Young-Tak Kim: UPnP based Service Discovery and Service Violation Handling for Distributed Fault Management in WBEM-based Network Management. 61-67
Tae Young Byun: An Efficient Energy Consumption Scheme Considering Coverage and Connectivity Problem in Wireless Sensor Networks. 68-72
Sang-Chul Kim, KeeHyun Shin: A Performance Analysis of MANET Multicast Routing Algorithms with Multiple Sources. 73-82
Web Engineering and Web-Based Applications
Guodong Huang, Li Chen, Jinkui Hou: A Semantic-Features-Calculation Based Model Mapping Approach for Web Information Systems. 83-90
Youngkon Lee, Gwyduk Yeom: A Quality Chain Modeling Methodology for Ternary Web Services Quality View. 91-97
Keehang Kwon, JaeWoo Kim, Jang-Wu Jo: An Internet Query Language based on Intuitionistic Linear Logic. 98-100
Vuong Xuan Tran, Hidekazu Tsuji: OWL-T: An Ontology-based Task Template Language for Modeling Business Processes. 101-108
Yiwen Liu, Young-Jik Kwon, Byeongdo Kang: A Fuzzy AHP approach to evaluating e-commerce websites. 114-124
Software Architecture and Process Models, Design Patterns, and Frameworks II
Hyunsang Youn, Suhyeon Jang, Eunseok Lee: Deriving Queuing Network Model for UML for Software Performance Prediction. 125-131
Sung-Mee Park, Jeong-Hwan Song, Chae-Soo Kim, Jung-Ja Kim: Load Balancing Method Using Connection Pool in RFID Middleware. 132-137
Gongzhu Hu: Permutable Queue as a 1-in-N-out Message Router. 138-148
1st International Workshop on Advanced Internet Technology, and Applications (AITA 2007) I
Janghong Yoon: A Synchronization of Secure Sensor terminal by GPS time information. 149-152
SeungJun Bang, JinHo Ahn: Implementation and Performance Evaluation of Socket and RMI based Java Message Passing Systems. 153-159
Hyo-Sik Yang, Hyun-Soo Jang, Yong-Won Kim, Un-Sig Song, Sang-Sig Kim, Byung-Tae Jang, Byung-Seok Park: Communication Networks for Interoperability and Reliable Service in Substation Automation System. 160-168
Artificial Intelligence I
Suwat Pattamavorakun, Suwarin Pattamavorakun: New Developments on Recurrent Neural Networks Training. 169-176
Xiaohui Cui, Thomas E. Potok: A Particle Swarm Social Model for Multi-Agent Based Insurgency Warfare Simulation. 177-183
Suwarin Pattamavorakun, Suwat Pattamavorakun: Determination the Number of Hidden Nodes of Recurrent Neural Networks for River Flow and Stock Price Forecasting. 184-194
Formal Methods and Tools I
Shuaiqiang Wang, Ying Li, Guodong Huang: PostB: The Post-condition Extension onto the B-Method. 195-202
Yoshihiro Kita, Tetsuro Katayama, Shigeyuki Tomita: Implementation and Evaluation of an Automatic Visualization Tool "PGT" for Programming Education. 213-220
Mohammad Reza Nami, Mohsen Sharifi, Abbas Malekpour: A Preliminary Formal Specification of Virtual Organization Creation with RAISE Specification Language. 227-232
Walter Dosch: Extending the Service Domain of Interactive Components. 233-244
1st International Workshop on Advanced Internet Technology, and Applications (AITA 2007) II
Byoung-Ho Ahn, Dae-Young Kim, Kuk-Hyun Cho, Si-Ho Cha, Minho Jo: An Efficient Resource Reservation and QoS Provisioning Mechanism Based on mSCTP for Next Generation Network. 245-252
Si-Ho Cha, Minho Jo, Jong-Eon Lee, Dae-Young Kim, Seokjoong Kang, Kuk-Hyun Cho, Nobok Lee, Younghyun Kim: Hierarchical Node Clustering Approach for Energy Savings in WSNs. 253-259
Hamid Jabbar, Taewan Kim, Jin-Suk Kang, Jangho Lee, Hyosik Yang, Mee Young Sung, Gyung-Leen Park, Taikyeong Jeong: Optimum Sensing Technique and Approach for Low Power Consumption Network. 260-263
Jaehong Ahn, Kyeongrim Ahn, Kyoungrog Yi, Jin-Wook Chung: XML Auto-Transformation System for Ubiquitous Port using RFID Technology. 264-267
Young-ho Choi, Min-goo Kang: Enhanced Range finding Algorithms for Equidistance Stereo Catadioptric Mirrors. 268-273
Jong Seo Kim, Kang-Soo You, Hoon-Sung Kwak: Caustics Effects with Photo-Realistic Rendering on Movie('Cars'). 274-280
Artificial Intelligence, Data Mining and Knowledge Recovery
Hyeong-Joon Kwon, Kwang-Seok Hong: A Design of User-Initiative Voice Web Using RSS and VoiceXML. 281-288
Hyogun Yoon, Eungyeong Kim, Malrey Lee: A User context awareness Model for mobile environment processing. 293-296
Hee-Choon Lee, Seok Jun Lee, Young-Jun Chung: A Study on the Improved Collaborative Filtering Algorithm for Recommender System. 297-304
Gu-Beom Jeong, Guk-Boh Kim: Design of Knowledge Discovery Agent based on Self Adaptive Components. 305-314
Component Based Software Engineering
Kazuya Odagiri, Rihito Yaegashi, Masaharu Tadauchi, Naohiro Ishii: Functional Extension for Solving the Loophole Problem of DACS Scheme. 315-322
Kazuya Odagiri, Rihito Yaegashi, Masaharu Tadauchi, Naohiro Ishii: Efficient User Support with DACS Scheme. 323-330
Xiaoli Liu, Guoqing Wu, Min Jiang, Min Yang, Weiming Wang: Software architecture for a pattern based Question Answering system. 331-336
Tomás Bures, Petr Hnetynka, Frantisek Plasil, Jan Klesnil, Ondrej Kmoch, Tomas Kohan, Pavel Kotrc: Runtime Support for Advanced Component Concepts. 337-345
Eun-Ju Park, Haeng-Kon Kim, Roger Y. Lee: Web Service Security model Using CBD Architecture. 346-352
Object-Oriented Technology and Modelling with UML I
Kwan Hee Han, Jun Woo Park: Development of Object-Oriented Modeling Tool for the Design of Industrial Control Logic. 353-358
Premchand B. Ambhore, B. B. Meshram, V. B. Waghmare: A Implementation of Object Oriented Database Security. 359-365
Lulu Huang, Yeong-Tae Song: Precise Dynamic Impact Analysis with Dependency Analysis for Object-oriented Programs. 374-384
Reliability Modeling and Requirements Engineering
Takaji Fujiwara, Joong-Yang Park, Jae-Heung Park: Evaluation and Application of MVFs in Coverage for Coverage-Based NHPP SRGM Frameworks. 385-392
Pin Ng: A Concept Lattice Approach for Requirements Validation with UML State Machine Model. 393-400
Jaroslav Král, Michal Zemlicka: Requirements Specification: What Strategy Under What Conditions. 401-408
Wararat Rungworawut, Twittie Senivongse, Karl Cox: Achieving Managerial Goals in Business Process Components Design Using Genetic Algorithms. 409-418
Ubiquitous IT Applications I
Inwhee Joe: A Path Selection Algorithm with Energy Efficiency for Wireless Sensor Networks. 419-423
Inwhee Joe, Juno Lee: A Novel Anti-Collision Algorithm with Optimal Frame Size for RFID System. 424-428
Changryul Jung, B. N. Sudhakar, Sungkeun Lee, Jin-Gwang Koh: Implementation of ebXML Message Transaction supported on a Security and Reliability for Effective e-Business. 429-436
Eun-Cheon Lim, Choon-Bo Shim, Kang-Soo You: An Efficient Rank-based Image Transformation Scheme using Entropy Coding in Gray-Level Images. 437-444
Computer & Software Engineering, Reengineering, and Reverse Engineering I
Saeed Parsa, Najmeh Torabian: A Comparison of Grid Computing systems and Globus by the application of auditing. 445-450
Andrew Forward, Timothy Lethbridge, Dwight Deugo: CodeSnippets Plug-in to Eclipse: Introducing Web 2.0 Tagging to Improve Software Developer Recall. 451-460
JoonSeok Park, Mikyeong Moon, Seongjin Hwang, Keunhyuk Yeom: CASS: A Context-Aware Simulation System for Smart Home. 461-467
Seongjin Kim, Mikyeong Moon, Seonghun Kim, Sunmee Yu, Keunhyuk Yeom: RFID Business Aware Framework for Business Process in the EPC Network. 468-475
Chanwoo Yoo, Woosung Jung, Donghun Park, Byungjeong Lee, Heechern Kim, Chisu Wu: An Adaptive Software Framework based on Service Composition. 476-484
Information Systems Engineering, Management Systems, Economic, and Financial Systems
Tung Tran, Hwa Sun Kim, Hune Cho: A Development of HL7 Middleware for Medical Device Communication. 485-492
Zhen Wang, Xin-yu Zhang: An ITIL-based IT Service Management Model for Chinese Universities. 493-497
Jae Young Choi, Ki Joon Choi: Discrete Continuity of Information System, Knowledge System, and e-Business System. 498-502
Jongsik Yoon, Young S. Kwon, Tae Hyup Roh: Performance Improvement of Bankruptcy Prediction using Credit Card Sales Information of Small & Micro Business. 503-512
Ubiquitous IT Applications II
Hyun Ho Yang, Yeong Hwan Bae, Wongi Min: Implantable Wireless Sensor Network to Monitor the Deep Body Temperature of Broilers. 513-517
Meong-hun Lee, Hyun Yoe: Comparative Analysis and Design of Wired and Wireless Integrated Networks for Wireless Sensor Networks. 518-522
Hyun-joong Kang, Meong-hun Lee, Hyun Yoe: Design of efficient routing method for USN based Large-scale Glass Greenhouses. 523-528
Hui-dong Ju, Hyuk-jin Lim, Hyun Yoe: The Design of Large Scale U-IT Application USN by USN Middleware. 529-533
Suhyun Kim, Daeyoung Kim, Jongwoo Sung, Tomás Sánchez López: Template based High Performance ALE-TSOAP Message Communication. 534-544
Reliability Modeling and Software Agent Technology

Saeed Jalili, Mehdi MirzaAghaei: RVERL: Run-time Verification of Real-time and Reactive Programs using Event-based Real-Time Logic Approach. 550-557
Spyridon K. Gardikiotis, Vasilios S. Lazarou, Nikolaos Malevris: An Agent-based Approach for the Maintenance of Database Applications. 558-568
Computer & Software Engineering, Reengineering, and Reverse Engineering I

Hakjin Lee, Hyunsang Youn, Eunseok Lee: Automatic Detection of Design Pattern for Reverse Engineering. 577-583
Jung-Tae Kim, Soon-Han Bae, Dong-Wook Lee: A Study on an Efficient Searching Method of Multimedia Contents. 589-598
Mobile/Wireless Computing I


Hyun-Suk Hwang, Seonghyun Shin, Ki-Uk Kim, Seok-Cheol Lee, Chang Soo Kim: A Context-aware System Architecture using Personal Information based on Ontology. 610-615
Seok-Cheol Lee, Sam-bum Shin, Hyun-Suk Hwang, Chang Soo Kim: A Study on the Circular Sensing Model with a Low Power Profile in Wireless Sensor Networks. 616-624
Visual and Multimedia Computing, Human Computer Interaction I
Le Yang, Yongsun Choi, Changjun Seo, Tongfeng Yang, MinSung Kim: Design of VY: A Mini Visual IDE for the Development of GUI in Embedded Devices. 625-632
Kyung-Sook Lee, Sook-Jeong Ha, Ihn-Han Bae: Practical Patching for Efficient Bandwidth Sharing in VOD Systems. 633-638
Xuhui Chen, Chaolin Ma, Shaochun Xu, Jiping He: Virtual Reality Based on Stereotypical RUPERT for Stroke Functional Rehabilitative Training Scenarios. 639-644
Sang-Hyeon Jin, Hyeong-Oh Kwon, Jung-A Lee, Jeong-Hoon Shin: Design and Implementation of effective Brain-wave Data Base(DB) building system using the five senses. 645-654
Computer & Software Engineering, Reengineering, and Reverse Engineering II
Dussadee Praserttitipong, Peraphon Sophatsathit: A Synopsis Model for Deterministic Behavioral Specifications of an Adaptable Agent. 655-661
Chang-Moon Hyun: Reengineering Class Hierarchies into 3D Bridge Form. 662-666
Antoine Rollet, Fares Saad-Khorchef: A Formal Approach to Test the Robustness of Embedded Systems using Behaviour Analysis. 667-674
Oh-Hyun Kwon, Sung-Min Cho: Design and Implementation of Control Point under the Home Network Environments. 675-678
David Dupuis, Roger Y. Lee, Haeng-Kon Kim: Communication of Business's and Software Engineers. 679-688
Mobile/Wireless Computing II

Sangjoon Jung, Younky Chung: An Interest-Diffused Clustering Routing Algorithm by Bitmap in Wireless Sensor Networks. 697-701
Sangjoon Jung: Self-Organizing Clusters for Routing Algorithm by Diffusing an Interest in Wireless Sensor Networks. 702-710
Software Reuse and Metrics
O. R. Bagheri, R. Nasiri, M. H. Peyravi, P. Khosraviyan Dehkordi: Toward an elastic service based framework for Enterprise Application Integration. 711-719
Soon-Bok Lee, Jin-Woo Kim, Chee-Yang Song, Doo-Kwon Baik: An Approach to Analyzing Commonality and Variability of Features using Ontology in a Software Product Line Engineering. 727-734
Kiumi Akingbehin: Taguchi Larger-the-Best Software Quality Metrics. 735-742
Visual and Multimedia Computing, Human Computer Interaction II
Jung-Hyun Kim, Kue-Bum Lee, Kwang-Seok Hong: A Pattern Recognition-Based Multi-Modal HCI Using 3 Sensory Channels. 743-750
Beom-Soo Shim, Sung-Wook Lee, Jeong-Hoon Shin: Implementation of a 3-Dimensional Game for developing balanced Brainwave. 751-758
Kue-Bum Lee, Jung-Hyun Kim, Kwang-Seok Hong: An Implementation of Multi-Modal Game Interface Based on PDAs. 759-768
Parallel and Distributed Computing
Farshad Kyoomarsi, Javad Akbari Torkestani, Pooya Khosravyan Dehkordy, Mohammad Hosseyn Peyravi: Using Chemical Cellular Automata in Simulation of Chemical Materials. 769-773
Yong-Hyuk Moon, Jaehoon Nah, Jong-Soo Jang, Chan-Hyun Youn: An Optimized Time-constraint Job Distribution Scheme in Group based P2P Networks. 774-781
Gwyduk Yeom, Jeonggeum Lee, Choong Kyo Jeong, Youngkon Lee: A Binding Framework Using the Dynamic Component Exchange Technique for Heterogeneous Services. 790-798
Process Management & Improvement
Nalini Vasudevan, Gowri C. Parthasarathy: Comparative Analysis of Neural Network Techniques Vs Statistical Methods in Capacity Planning. 799-806
Youngkyu Park, Ho-Jin Choi, Jongmoon Baik: A Framework for the Use of Six Sigma Tools in PSP/TSP. 807-814
Kazunori Iwata, Toyoshiro Nakashima, Yoshiyuki Anan, Naohiro Ishii: Errors Estimation Models for Embedded Software Development Projects. 815-822
Zhedan Pan, Hoyeon Ryu, Jongmoon Baik: A Case Study: CRM Adoption Success Factor Analysis and Six Sigma DMAIC Application. 828-838
Software Testing Techniques, Formal Methods and Tools


D. T. V. Ramakrishna Rao: Detection of Bugs by Compiler Optimizer Using Macro Expansion of Functions. 855-862
Object-Oriented Technology, Safety and Security Critical Software and Modelling with UML
Mohd Syazwan Abdullah, Richard F. Paige, Chris Kimble, Ian D. Benest: A UML Profile for Knowledge-Based Systems Modelling. 871-878
Ha Jin Hwang: An Empirical Assessment of the Perception of Computer Security between US and Korea : Focused on Rootkits. 887-894
Web Engineering, Web-Based Applications, and Healthcare Engineering
Kook-Hee Han, Yiwen Liu, Young-Jik Kwon, Byeongdo Kang, Roger Y. Lee: The SAFE Management System Model Based on Context Automatic Awareness. 895-902
Sang-Yong Byun: Study on the Web Service Composition and Connection Patterns. 903-910
Computer Animation, Design Contents, Computer Game Development, User Modeling and Management, Virtual Reality and Computer Graphics
Hyunah Kang, Mijin Kim: A Study of Walking Motion for Game Character with a Player's Emotional Factors Applied. 911-916
Seong-Hoo Kim, Bong Joon Choi, Mi-Sook Jung, Kyoo Seok Park: A Real Time Network Game System Based on Retransmission of N-based Game Command History for Revising Packet Errors. 917-923
Jong Seo Kim, Kang-Soo You, Hoon-Sung Kwak: An Efficient Expression on Cartoon Rendering Scheme in Game Characters. 924-928



