default search action
5th 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, ISBN 0-7695-2867-8
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, Aijun Liu, Yifei 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 Plásil, 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, Ramin Nasiri, Mohammad Hosseyn 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
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.