5. SERA 2007: Busan, Korea

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

• Dong Jun, Lin Rui, He Yi-min:
  Software Processes Improvement and Specifications for Embedded Systems. 13-18
  
• 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

• Li Song, Ai-jun Liu, Yi-fei Ma:
  An On-board Switch Scheme Based on DiffServ. 47-53
  
• 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
  
• Muhammad Alamzaib Shafi, Athar Mohsin Zaidi, Abdur Rehman:
  Human Interaction Web Model. 109-113
  
• 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
  
• Yoshinobu Kawabe, Hideki Sakurada:
  A Formal Approach to Designing Anonymous Software. 203-212
  
• Yoshihiro Kita, Tetsuro Katayama, Shigeyuki Tomita:
  Implementation and Evaluation of an Automatic Visualization Tool "PGT" for Programming Education. 213-220
  
• Sachoun Park, Gihwon Kwon:
  SAT based Verification Tool for Labeled Transition System. 221-226
  
• 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
  
• Taeho Jo, Malrey Lee:
  Kernel based Learning Suitable for Text Categorization. 289-292
  
• 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
  
• Yan Ha, Roger Y. Lee:
  Profiling system of XML multimedia documents based on UML Diagrams. 366-373
  
• 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

• Ruilian Zhao, Qing Li:
  Automatic Test Generation for Dynamic Data Structures. 545-549
  
• 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

• Sungmin Choi, Hoon Oh:
  Design of Real-Time Embedded Music System. 569-576
  
• Hakjin Lee, Hyunsang Youn, Eunseok Lee:
  Automatic Detection of Design Pattern for Reverse Engineering. 577-583
  
• Ki-Tae Kim, Je-Min Kim, Weon-Hee Yoo:
  Dead Code Elimination in CTOC. 584-588
  
• 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

• Jin Da Wei, Li Yi Peng:
  Application of Mobile Information System in Vehicle Insurance. 599-603
  
• Huang Xuyong, Miao Shihong, Liu Pei:
  A Simulation Testing Platform of Ad Hoc Network. 604-609
  
• 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

• Seungjae Lee, Changhwa Kim, Sangkyung Kim:
  New Database Operators for Sensor Networks. 689-696
  
• 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
  
• Misook Choi, Jongsuk Lee:
  A Dynamic Coupling for Reusable and Efficient Software System. 720-726
  
• 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
  
• Byoung uk Kim, Salim Hariri:
  Anomaly-based Fault Detection System in Distributed System. 782-789
  
• 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
  
• Jeong Ah Kim, Seung Young Choi:
  Evaluation of Ontology Development Methodology with CMM-i. 823-827
  
• 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

• Oliver Dagenais, Dwight Deugo:
  TODD: Test-Oriented Development and Debugging. 839-846
  
• Kwang Ik Seo, Eun Man Choi:
  Rigorous Vertical Software System Testing In IDE. 847-854
  
• D. T. V. Ramakrishna Rao:
  Detection of Bugs by Compiler Optimizer Using Macro Expansion of Functions. 855-862
  
• Taehoon Lee, Mintaek Cho, Gihwon Kwon:
  Using Bounded Model Checking with BOGOR. 863-870
  

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
  
• Jinkui Hou, Huahong Yu, Guodong Huang:
  Simulation-based Model Mapping Approach. 879-886
  
• 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
  

Last update Wed Feb 15 05:17:00 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page