7. CIT 2007: University of Aizu, Fukushima, Japan

Keynote Speeches

• Meichun Hsu:
  Business Intelligence An Industrial Perspective. 3
  
• Peter J. Hunter:
  The IUPS Physiome Project. 4
  
• Noriko Kando:
  Large-scale Evaluation Infrastructure for Information Access Technologies Enhancement and Creativity. 6
  

Database and Data Mining

XML and DB

• Haitao Ma, Zhongxiao Hao, Yinghui Zhou:
  Active XML Schema Containment Checking Based on Tree Automata Theory. 11-16
  
• Changwoo Byun, Ilkook Yun, Seog Park:
  An Efficient Detection of Conflicting Updates in Valid XML. 17-22
  
• Irena Mlúnková:
  A Journey towards More Efficient Processing of XML Data in (O)RDBMS. 23-28
  
• Weidong Yang, Baile Shi:
  Schema-Aware Keyword Search over XML Streams. 29-34
  
• Jaehoon Kim, Seog Park:
  SemFilter: A Simple and Efficient Semantic Filtering of XML Messages. 35-40
  

Classification

• Sungha Choi, Byungwoo Lee, Jihoon Yang:
  Ensembles of Region Based Classifiers. 41-46
  
• Cheng Hua Li, Soon Cheol Park:
  Neural Network for Text Classification Based on Singular Value Decomposition. 47-52
  
• Wei Song, Soon Cheol Park:
  An Efficient Method of Genetic Algorithm for Text Clustering Based on Singular Value Decomposition. 53-58
  
• Heon Gyu Lee, Kiyong Noh, Hong Kyu Park, Keun Ho Ryu:
  Predicting Coronary Artery Disease from Heart Rate Variability Using Classification and Statistical Analysis. 59-64
  

Imprecise Data and Feature Selection

• Junqiang Liu, Min Luo, Xiandi Yang:
  Deputy Mechanism for OLAP over Imprecise Data and Composite Measure. 65-70
  
• Alva Erwin, Raj P. Gopalan, N. R. Achuthan:
  CTU-Mine: An Efficient High Utility Itemset Mining Algorithm Using the Pattern Growth Approach. 71-76
  
• Chulmin Yun, Donghyuk Shin, Hyunsung Jo, Jihoon Yang, Saejoon Kim:
  An Experimental Study on Feature Subset Selection Methods. 77-82
  
• M. J. Fadaeieslam, Behrouz Minaei-Bidgoli, Mahmood Fathy, Mohsen Soryani:
  Comparison of Two Feature Selection Methods in Intrusion Detection Systems. 83-86
  

Novel Information Processing

• Chen Yewang, Jiang Zhixiong, Zhao Wenyun, Peng Xin:
  Generic Component: A Generic Programming Approach. 87-92
  
• Mohammad Reza Nami, Djamshid Tavangarian:
  Virtual Organization: A New Approach in IT. 93-98
  
• Misook Bae, Jun Park, Buhyun Hwang, Jiseung Nam:
  Effective Processing over Continuous Data Stream. 99-104
  
• Arit Thammano, Jittraporn Moolwong:
  Classification Algorithm Based on Human Social Behavior. 105-109
  
• Jae-Woo Chang, Rabindra Bista, Ji Hee Kim, Young-Chang Kim:
  A New Trajectory Search Algorithm Based on Spatio-temporal Similarity on Spatial Network. 110-115
  
• Wenlong Liu, Shuxue Ding:
  An Efficient Method to Determine the Diagonal Loading Factor for PAM Communication System. 116-121
  

Intelligent Systems in Data Handling I

• Ziyu Lin, Dongqing Yang, Guojie Song, Tengjiao Wang:
  Dealing with Query Contention Issue in Real-Time Data Warehouses by Dynamic Multi-level Caches. 122-127
  
• Hideo Hirose, Takahiro Yukizane, T. Deguchi:
  The Bump Hunting Method and Its Accuracy Using the Genetic Algorithm with Application to Real Customer Data. 128-132
  
• Ziyu Lin, Dongqing Yang, Guojie Song, Tengjiao Wang:
  User-Oriented Materialized View Selection. 133-138
  

Intelligent Systems in Data Handling II

• Junya Terazono:
  Implementation of the Moonquake Database. 139-144
  
• Bofeng Zhang, Takehiro Kanno, Wenxi Chen, Gengfeng Wu, Daming Wei:
  Walking Stability by Age A Feature Analysis Based on a Fourteen-Linkage Model. 145-150
  
• Vo Thi Ngoc Chau, Suphamit Chittayasothorn:
  A Temporal Meta Database System for 3D Objects. 151-156
  
• T. Srinivasan, Srikanth P. Srinivasan, Shravan Kumar Alur, Pravin Chandrasekaran:
  An Efficient Goalie Strategy Using Twin Hidden Markov Models. 157-164
  

Internet and Web Application

Internet and Web Performance

• Bumjoo Park, Kiejin Park, Dongmin Shin, Sungsoo Kim:
  A Mechanism for Improving Web Server Performance Using Fuzzy Concept. 165-170
  
• M. Jahanshahi, Mohammad Reza Meybodi:
  Performance Evaluation of TD-Learning Methods for Bandwidth Provisioning. 171-176
  
• Ke Li, Wanlei Zhou, Shui Yu, Bo Dai:
  A Parallel Downloading Algorithm for Redundant Networks. 177-182
  

Web Analysis

• Joohyoun Park, Giseok Choe, Jongwon Lee, Jongho Nang:
  Web Image Annotation Based on the Decision Rules Inferred by the Statistical Analysis of Web Pages. 183-188
  
• Vitaly Klyuev, Vladimir A. Oleshchuk:
  Semantic Retrieval of Text Documents. 189-193
  
• Mingda Wu, Qiancheng Jiang, Yan Zhang:
  Worrisome Rich-Get-Richer? Not the True Story! 194-199
  
• Sun-Sook Lee, Hwan-Seung Yong:
  Component Based Approach to Handle Synonym and Polysemy in Folksonomy. 200-205
  

Web Services and Applications I

• Incheon Paik, Daisuke Maruyama:
  Automatic Web Services Composition Using Combining HTN and CSP. 206-211
  
• Takanori Kuroiwa, Subhash Bhalla:
  Dynamic Personalization for Book Recommendation System Using Web Services and Virtual Library Enhancements. 212-217
  
• Huioon Kim, Kyungwon Chun, Kil Su Jung, Youngjoo Chung:
  Web-Based Interface Architecture for the Improvement of Accessibility to Computational Resources on a Cluster System. 218-222
  
• Sutheera Puntheeranurak, Hidekazu Tsuji:
  A Multi-clustering Hybrid Recommender System. 223-228
  

Semantic Web

• Vuong Xuan Tran, Hidekazu Tsuji:
  Proof for Multi-agent Communication of Semantic Web Information. 229-234
  
• Tong Zhang, Yunsheng Liu, Yabing Zha:
  Semantic Web Based Simulation Service Customization and Composition. 235-240
  
• Ying-Hong Wang, Wen-Nan Wang, Chu-Chi Huang, Ting-Wei Chang, Yi-Hsiang Yen:
  Semantic Representation and Ontology Construction in the Question Answering System. 241-246
  
• Tae-Nyun Kim, Hyung-Lae Kim, Ki-Ho Yi, Chang-Sung Jeong:
  WebSIS: Semantic Information System Based on Web Service and Ontology for Grid Computing Environment. 247-252
  

Web Services and Applications II

• Lung Ngai, Phil Mak, Wancheng Ni, Lianchen Liu, Cheng Wu:
  A Semi-automated Negotiation Process to Improve the Usability for Online Marketplaces. 253-258
  
• Qiancheng Jiang, Yan Zhang:
  SiteRank-Based Crawling Ordering Strategy for Search Engines. 259-263
  
• Liping Gao, Ning Gu:
  Preserving Consistency Based on Wall-Time Precedence in P2P DVEs. 264-269
  
• Yuichi Yaguchi, Yoshiyuki Watanabe, Keitaro Naruse, Ryuichi Oka:
  Speech and Song Search on the Web: System Design and Implementation. 270-275
  

High Performance Computing

Task and Resource Management

• Yingwen Song, Yoshio Tanaka, Hiroshi Takemiya, Satoshi Sekiguchi:
  Web Service-Based Dynamic Resource and Job Managements for Large-Scale and Long-Time Grid Computations. 279-284
  
• Yunfei Du, Panfeng Wang, Hongyi Fu, Jia Jia, Haifang Zhou, Xuejun Yang:
  Building Single Fault Survivable Parallel Algorithms for Matrix Operations Using Redundant Parallel Computation. 285-290
  
• Yongwoo Lee, Phil Doo Hong:
  A Job Management System for a Large Scale Grid System. 291-294
  

HPC Application

• Soonwook Hwang, Kyusik Chung, Dongseung Kim:
  Load Balanced Parallel Prime Number Generator with Sieve of Eratosthenes on Cluster Computers. 295-299
  
• Ahmed S. Zekri, Stanislav G. Sedukhin:
  Evaluating the Performance of Basic Linear Algebra Subroutines on a Torus Array Processor. 300-305
  
• Yong Liu:
  Evolutionary Programming with Operator Adaptation. 306-311
  
• Veera Boonjing, Santit Narabin:
  An Integer Partition Based Algorithm for Coalition Structure Generation. 312-315
  
• Mi-Young Park, Nguyen Cao Truong Hai, Yong-Kee Jun, Hyuk-Ro Park:
  Visualization of Message Races in MPI Parallel Programs. 316-321
  

Systems and Architecture

• Tomas Ágoston, Csaba Csuprai, Juraj Onderik, Roman Durikovic:
  Design of Modular Rendering Pipeline. 322-328
  
• Yan-mei Huo, Kuo Tang, Liang Hu, Kexin Yang, Jiubin Ju:
  A Reliable Data Management Method for Parallel File System. 328-332
  
• Cheng Huang, Chenjie Zhu, Yi Li, Dejian Ye:
  Dedicated Disk I/O Strategies for IPTV Live Streaming Servers Supporting Timeshift Functions. 333-338
  
• Yu Deng, Xuejun Yang, Xiaobo Yan, Ying Zhang, Jing Du:
  Implementation and Evaluation of Specific Data-Intensive Scientific Applications on the FT64 Stream Processor. 339-343
  
• Jinseok Kim, Sangman Sim, Sungyong Park:
  A Cluster File System for High Data Availability Using Locality-Aware Partial Replication. 345-350
  
• Jiyong Jang, Saeyoung Han, Jinseok Kim, Sungyong Park, Seungjo Bae, Young Choon Woo:
  A Performance Evaluation Methodology in Virtual Environments. 351-358
  

Networking and Mobile Computing

QoS and Mobile Protocol

• Mostafa Esmaeili, Maghsoud Abbaspour, Hamid R. Alipour, H. Mousavi:
  Challenge in QoS Supporting via Integrating Differentiated Service and Multipath Routing on Mobile Ad Hoc Network. 359-368
  
• A. Jalal, Mian Ahmad Zeb:
  Security and QoS Optimization for Distributed Real Time Environment. 369-374
  
• Xuebin Ma, Tao Wen, Quan Guo, Gang Wang:
  An Enhanced Dynamic and Distributed Domain-Based Handoff Scheme for Mobile IPv6. 375-380
  

Protocols and Algorithms I

• Xu Lei, Yong-Soo Kim, Richard Lai:
  Modelling and Simulating IPv6 Mobility. 381-386
  
• Attila Korösi, Balázs Székely, Csaba Lukovszki:
  Stochastic Model of Finite Buffer Priority Queuing System with Multi-type Batch Arrival and General Rejection. 387-392
  
• Shengzhi Zhang, Sang-Jo Yoo:
  Fast Recovery from Hidden Node Collision for IEEE 802.15.4 LR-WPANs. 393-398
  
• Henry Larkin:
  Word Indexing for Mobile Device Data Representations. 399-404
  

Application Systems

• Jie Wu, Bisheng Liu, Shiyong Zhang, ZhiHui Lv, YiPing Zhong:
  KadStreaming: A Novel Kademlia P2P Network-Based VoD Streaming Scheme. 405-410
  
• Takehiro Kanno, Wenxi Chen, Masumi Kitazawa:
  Development of i-appli for Women's Health Information Management System. 411-416
  
• Jongmin Park, Seung-Ik Lee, Yangwoo Ko, Dongman Lee:
  An Efficient Shared Learning Scheme for Layered Video Streaming over Application Layer Multicast. 417-422
  
• Wonik Choi, Hyunduk Kim, Jinsu Kim, Jinseok Chae:
  A Context-Aware Framework for Mobile Navigation Service. 423-428
  

Protocols and Algorithms II

• Hui Xu, Jinsung Cho, Sungyoung Lee:
  A Predictive and Synchronized Neighborhood Tracking Scheme for Mobile Ad Hoc Networks. 429-434
  
• Sang-chul Moon, Yangwoo Ko, Dongman Lee:
  A Fast Path Recovery Scheme for Publish/Subscribe in Mobile Ad Hoc Networks. 435-440
  
• Jae-Min Seol, Seong-Whan Kim:
  Scalable and Statistically Secure Fingerprinting Scheme for Mobile Game Content Distribution. 441-446
  
• Chandan Tilak Bhunia:
  Packet Reversed Packet Combining Scheme. 447-451
  

Protocols and Algorithms III

• Mehdi Mirakhorli, Amir Azim Sharifloo, Maghsoud Abbaspour:
  A Novel Method for Leader Election Algorithm. 452-456
  
• Xiao Zheng, Shiyong Zhang, Chengrong Wu:
  Task Allocation Adaptable to Network Topology among Cooperative. 457-462
  
• Saeyoung Han, Sungyong Park:
  Adapting Superpeer Size Using Particle Swam Optimization for Self-Organizing Superpeer Ring with Loosely Consistent DHT. 463-468
  

Protocols and Algorithms IV

• Zongjie Tu, Shiyong Zhang:
  Overview of LDPC Codes. 469-474
  
• Takafumi Hayashi:
  Optimal Zero-Correlation Zone Sequence Set Constructed from a Perfect Sequence. 475-479
  
• Hirokazu Ozaki, Atsushi Kara:
  Computing the Availability and MTTF of Shared Protection Systems. 480-485
  

Analysis and Evaluation

• Rongzhen Jin, Naoki Suehiro, Chenggao Han:
  Performance of SD-Method Compared with OFDM Method. 486-490
  
• Akira Sasaki, Kazuaki Yamauchi, Wenxi Chen, Michael Cohen, Daming Wei, Zixue Cheng:
  Innovative Mobile Phone Services Based on Next Generation Infrastructure in Japan A Survey. 491-496
  
• Salman AlQahtani:
  Performance Evaluation of Handling Interrupts Schemes in Gigabit Networks. 497-502
  
• Mayank Kanthali, Apurva Gaiwak, P. D. Vyavahare:
  Performance Comparison of Contention-Based Channel Access Mechanism of IEEE 802.11 and 802.11e. 503-510
  

Data, Multimedia, and Virtual Reality

Computer Graphics and Virtual Reality

• Michael Cohen, Ishara Jaysingha, Julián Villegas:
  Spin-Around: Phase-Locked Synchronized Rotation and Revolution in Multistandpoint panoramic Browsers. 511-516
  
• Michael Cohen, Kunihiro Doi, Takayuki Hattori, Yorinobu Mine:
  Control of Navigable Panoramic Imagery with Information Furniture: Chair-Driven 2.5 with Automatic Window Dilation. 517-522
  
• Julián Villegas, Michael Cohen:
  Synæsthetic Music or the Ultimate Ocular Harpsichord. 523-527
  
• Shin Hasegawa, Hidetaka Funayama, Daming Wei:
  A Shader for Virtual X-Ray Imaging. 528-533
  

Video Distribution and Networks

• Ying Chai, Dejian Ye:
  The Design and Implementation of a Scalable Wireless Video Streaming System Adopting TCP Transmission Mode. 534-538
  
• Chenjie Zhu, Dejian Ye:
  Clear P2P IPTV Live Streaming System for Set-Top Box Clients. 539-544
  
• Wenyan Hu, Dejian Ye:
  A Stochastic Differential Equation Model for Queues on Network Video Traffic. 545-550
  

Image Processing

• Sébastien Harasse, Laurent Bonnaud, Michel Desvignes:
  Content and Illumination Invariant Blur Measures for Realtime Video Processing. 551-556
  
• HyeSuk Kim, Hyo Sun Yoon, Kien Nguyen Trung, Gueesang Lee:
  Automatic Lung Segmentation in CT Images Using Anisotropic Diffusion and Morphology Operation. 557-561
  
• Yinghui Zhou, Dezhong Zheng:
  Flame Temperature Field Measurement Using Improved Generalized Cross Validation Method. 562-566
  
• Takamasa Kanamori, Hideharu Amano, Masatoshi Arai, Daisuke Konno, Tomomichi Nanba, Yoshiaki Ajioka:
  Implementation and Evaluation of a High Speed License Plate Recognition System on an FPGA. 567-572
  
• Hyo Sun Yoon, HyeSuk Kim, Miyoung Kim, Anh Nga Lai Thi, Gueesang Lee:
  Motion Estimation for Real Time Transmission on H.264/AVC. 573-576
  

Video Processing and Analysis

• Toan Nguyen Dinh, Jae-Myung Yoo, Sungchan Park, Gueesang Lee, June-Young Chang, Hanjin Cho:
  Reducing Spatial Resolution for MPEG-4 / H.264 Transcoding with Efficient Motion Reusing. 577-580
  
• Chun-Dong Wang, Dejian Ye:
  Template-Based Adaptive Video Coding Algorithm for High Resolution Laptop Video Conference Systems. 581-586
  
• Toan Nguyen Dinh, Gueesang Lee:
  Gradient Based Error Concealment for H.264 Inter Frames. 587-592
  
• Naoto Miura, Hirohide Demura, Naru Hirata, Noriaki Asada:
  Tracking and Motion Analysis of Impact Fragments. 593-598
  
• ZhiHui Lv, Shiyong Zhang, Jie Wu, Weiming Fu, YiPing Zhong:
  Design and Implementation of a Novel P2P-Based VOD System Using Media File Segments Selecting Algorithm. 599-604
  

Data Processing and Interfaces

• Kamen Kanev, Zixue Cheng, Nikolay N. Mirenkov:
  Methods and Technologies for Enhancing and Optimizing Power Plant Inspection Procedures. 605-609
  
• Ki-Hyeon Kim, Ho-Jin Choi:
  Design of a Clinical Knowledge Base for Heart Disease Detection. 610-615
  
• Taiki Ichishita, Robert H. Fujii:
  Performance Evaluation of a Temporal Sequence Learning Spiking Neural Network. 616-620
  
• Giseok Choe, Jeongsoo Yu, Jeonghoon Choi, Jongho Nang:
  Design and Implementation of a Real-Time Video Player on Tiled-Display System. 621-626
  
• Frank Ekpar, Masaaki Yoneda, Hiroyuki Hase:
  On the Interactive Visualization of Very Large Image Data Sets. 627-632
  

Image Processing and Analysis

• Yoonsik Tak:
  A Leaf Image Retrieval Scheme Based on Partial Dynamic Time Warping and Two-Level Filtering. 633-638
  
• Xiangjian He, Jianmin Li, Wenjing Jia, Qiang Wu, Tom Hintz:
  Local Binary Patterns on Hexagonal Image Structure. 639-644
  
• Chuanfeng Lv, Zhiwen Liu, Qiangfu Zhao:
  A Flexible Non-linear PCA Encoder for Still Image Compression. 645-650
  
• Tomoki Hodokuma, Naru Hirata, Hirohide Demura, Noriaki Asada:
  Influence of Imaging Condition on Matching Point Detection. 651-655
  

Text Processing and Analysis

• Sukalpa Chanda, Umapada Pal, Fumitaka Kimura:
  Identification of Japanese and English Script from a Single Document Page. 656-661
  
• Takashi Ishida, Toshiyasu Matsushima, Shigeichi Hirasawa:
  Word Segmentation for the Sequences Emitted from a Word-Valued Source. 662-661
  
• Jarernsri L. Mitrpanont, Urairat Limkonglap:
  Using Contour Analysis to Improve Feature Extraction in Thai Handwritten Character Recognition Systems. 668-673
  
• Masayuki Goto, Takashi Ishida, Shigeichi Hirasawa:
  Statistical Evaluation of Measure and Distance on Document Classification Problems in Text Mining. 674-673
  
• Lichun Zhang, Yue Lu, Guoyue Chen, Patrick S. P. Wang:
  Image Skew Detection for Formulas without Fraction Bars Using Connected Components Analysis. 680-679
  

Static Image Segmentation

• Naoto Harada, Takafumi Hayashi, Naru Hirata, Hirohide Demura, Noriaki Asada:
  Recognition Algorithm for Topographic Features. 685-689
  
• Supatra Sahaphong, Nualsawat Hiransakolwong:
  Unsupervised Image Segmentation Using Automated Fuzzy c-Means. 690-694
  
• Takahiro Hayashi, Rikio Onai, Koji Abe:
  Vector Image Segmentation for Content-Based Vector Image Retrieval. 695-700
  
• Jaemyeong Yoo, Toan Nguyen Dinh, Gueesang Lee:
  Segmentation by Morphological Reconstruction and Non-linear Diffusion. 701-708
  

Information Security

Secure Framework

• Jin-Cherng Lin, Jan-Min Chen:
  The Automatic Defense Mechanism for Malicious Injection Attack. 709-714
  
• Hyunsang Choi, Hanwoo Lee, Heejo Lee, Hyogon Kim:
  Botnet Detection by Monitoring Group Activities in DNS Traffic. 715-720
  
• Bo Meng:
  An Internet Voting Protocol with Receipt-Free and Coercion-Resistant. 721-726
  

Watermarking and Encryption

• Pedro Martins, Paulo D. Carvalho:
  Towards Quantization Index Modulation Strategies on Content-Based Watermarking Schemes. 727-732
  
• Somchart Fugkeaw, Piyawit Manpanpanich, Sekpon Juntapremjitt:
  Exploiting X.509 Certificate and Multi-agent System Architecture for Role-Based Access Control and Authentication Management. 733-738
  
• Said Ghnimi, Adnen Cherif:
  Implementation of an Audio Watermarking System Using CDMA Modulations. 739-744
  
• Hai-yan Liu, Xue-feng Zheng, Ying Wang:
  DWT-Based Audio Watermarking Resistant to Desynchronization. 745-748
  

Network Security

• Guojun Wang, Qiong Wang, Jiannong Cao, Minyi Guo:
  An Effective Trust Establishment Scheme for Authentication in Mobile Ad Hoc Networks. 749-754
  
• Eun-Ae Cho, Chang-Joo Moon, Dae-Ha Park, Doo-Kwon Baik:
  Home Network Framework Based on OSGi Service Platform Using SSL Component Bundle. 755-760
  
• Han-dong Mao, Wei-Ming Zhang:
  An Approach for Network Security Analysis Using Logic Exploitation Graph. 761-766
  
• Steven Woodhouse:
  Information Security: End User Behavior and Corporate Culture. 767-774
  

Embedded Systems and VLSI Design

Scheduling and Optimization

• Jiho Chu, Youngsun Han, Seon Wook Kim:
  A Dataflow Analysis for Mode Set Optimization in DSP Instruction Sets. 775-780
  
• M. Teresa Higuera-Toledano:
  Name-Based Write Barriers in Real-Time Java. 781-786
  
• Ohhoon Kwon, Kern Koh:
  Swap-Aware Garbage Collection for NAND Flash Memory Based Embedded Systems. 787-792
  
• Vahid Salmani, Mahmoud Naghibzadeh, Mohsen Kahani:
  Deadline Scheduling with Processor Affinity and Feasibility Check on Uniform Parallel Machines. 793-798
  
• Gerard Bosch i Creus, Petri Niska:
  System-Level Power Management for Mobile Devices. 799-804
  

Platform and Application

• Takuya Azumi, Shimpei Yamada, Hiroshi Oyama, Yukikazu Nakamoto, Hiroaki Takada:
  A Visual Modeling Environment for Embedded Component Systems. 805-810
  
• Ying Wang, Weinan Chen, Xiao-Wei Wang, Hong-Jun You, Chenglian Peng:
  Enabling Reconfigurable SoC in Multimedia Processing. 811-816
  
• Yong Li, Zhiying Wang, Kui Dai:
  A Low-Power Application Specific Instruction Set Processor Using Asynchronous Function Units. 817-822
  
• J. Schneider, M. Naggatz, Rainer G. Spallek:
  Implementation of Architecture Concepts for Hardware Agent Systems. 823-828
  
• Huong Giang Nguyen, Seokjoong Hwang, Seon Wook Kim:
  Compiler Construction for Lockstep Execution of Multithreaded Processors. 829-834
  
• Minyoung Eom, Yeoung-Kyu Lim, Tae Ik Kang:
  Performance Comparison of Camera Interface Methods in a Mobile Handset. 835-840
  

VLSI Design

• Shingo Watanabe, Akihiro Chiyonobu, Toshinori Sato:
  Indirect Tag Search Mechanism for Instruction Window Energy Reduction. 841-846
  
• Takao Konishi, Naohiro Hamada, Hiroshi Saito:
  A Control Circuit Synthesis Method for Asynchronous Circuits in Bundled-Data Implementation. 847-852
  
• Tetsuaki Matsunawa, Hirokazu Nosato, Hidenori Sakanashi, Masahiro Murakawa, Eiichi Takahashi, Tsuneo Terasawa, Toshihiko Tanaka, Osamu Suga, Tetsuya Higuchi:
  Adaptive Optical Proximity Correction Using an Optimization Method. 853-860
  

Software Engineering

Automated Testing Tools

• Rosziati Ibrahim, Mohd Zainuri Saringat, Noraini Ibrahim, Noraida Ismail:
  An Automatic Tool for Generating Test Cases from the System's Requirements. 861-866
  
• Andreas S. Andreou, Kypros A. Economides, Anastasis A. Sofokleous:
  An Automatic Software Test-Data Generation Scheme Based on Data Flow Criteria and Genetic Algorithms. 867-872
  
• Hironori Washizaki, Takao Adachi, Yoshiaki Fukazawa:
  Generating Wizards for Initializing Software Components. 873-878
  

Modeling and Simulation

• Jongsu Bae, Sungwon Kang:
  A Method to Generate a Feature Model from a Business Process Model for Business Applications. 879-884
  
• Sang Won Lim, Taek Lee, Sangsoo Kim, Hoh Peter In:
  The Value Gap Model: Value-Based Requirements Elicitation. 885-890
  
• Jinhan Kim, Jaejeong Lee, Byungjeong Lee:
  Runtime Service Discovery and Reconfiguration Using OWL-S Based Semantic Web Service. 891-896
  
• Liangli Ma, Yongjie Li:
  Constructing a Reference Model of a Grouped-Metadata Object and Its Change Model. 897-902
  

Application-Specific Software Engineering

• Shigeto Aramaki, Tatsuichiro Nagai, Masato Kawamura, Koutarou Yayoshi, Yasutaka Hatada, Tomoaki Tsuruoka:
  A Robot Programming Based on Frame Representation of Knowledge. 903-908
  
• Tatsuichiro Nagai, Shigeto Aramaki, Isao Nagasawa:
  Representation and Programming for a Robotic Assembly Task Using an Assembly Structure. 909-914
  
• Keiu Harada, Takuya Ishioka, Ikuo Suzuki, Masashi Furukawa:
  A Method for Solving a Bipartite-Graph Clustering Problem with Sequence Optimization. 915-920
  

Software Product Line Engineering

• Sungwon Kang, Jihyun Lee, Myungchul Kim, Woojin Lee:
  Towards a Formal Framework for Product Line Test Development. 921-926
  
• Mikyeong Moon, Heung Seok Chae, Taewoo Nam, Keunhyuk Yeom:
  A Metamodeling Approach to Tracing Variability between Requirements and Architecture in Software Product Lines. 927-933
  
• Tonny Kurniadi Satyananda, Danhyung Lee, Sungwon Kang:
  A Formal Approach to Verify Mapping Relation in a Software Product Line. 934-939
  
• Tony Tsang, Yong-Soo Kim, Richard Lai:
  The Design of a Multimedia Protocol Analysis Software Environment. 940-948
  

Ubiquitous and Sensor Network

RFID Management

• Jung-Hyun Oh, Hyun Seok Kim, Jin-Young Choi:
  A Secure Communication Protocol for Low-Cost RFID System. 949-954
  
• Hee Joung Hwang, Jin Tak Choi:
  Design of an Aspect-Based Framework to Improve the Dynamic Management of RFID Middleware. 955-960
  
• Won-Ju Yoon, Sang-Hwa Chung, Seong-Joon Lee, Young-Sik Moon:
  Design and Implementation of an Active RFID System for Fast Tag Collection. 961-966
  

Technologies for Ubiquitous Application and Network

• Bisheng Liu, YiPing Zhong, Shiyong Zhang:
  Probabilistic Isolation of Malicious Vehicles in Pseudonym Changing VANETs. 967-972
  
• Janaka Chaminda Balasuriya, Chandrajith Ashuboda Marasinghe, Keigo Watanabe:
  ANFIS for Adaptive Personal Space Determination for Ubiquitous Robots. 973-978
  
• Jiyong Park, Do-Hoon Kim, Taek Lee, Hoh Peter In:
  Effective Service Decision Using Ambient-Based HHMM in Smart Home System. 979-984
  
• Hokyum Kim, Insuk Park, Soon J. Hyun, Dongman Lee:
  Dynamic Activity Lifecycle Management in Ubiquitous Computing Environments. 985-990
  

Algorithms for Sensor Networks

• Ting Yuan, Shiyong Zhang, YiPing Zhong:
  A Matrix-Based Random Key Pre-distribution Scheme for Wireless Sensor Networks. 991-996
  
• Ryouhei Kawano, Toshiaki Miyazaki:
  Distributed Coloring Algorithm for Wireless Sensor Networks and Its Applications. 997-1002
  
• Guangjie Han, Deokjai Choi, Wontaek Lim:
  A Novel Reference Node Selection Algorithm Based on Trilateration for Indoor Sensor Networks. 1003-1008
  

Energy Control Issue in Sensor Networks

• Bao Nguyen Nguyen, Deokjai Choi:
  A Two Base Stations Algorithm for Energy Balanced Data Propagation in Smart Home Sensor Networks. 1009-1014
  
• Jia Zeng, Chundi Mu, Min Jiang:
  Game Theoretic Distributed Energy Control in Sensor Networks. 1015-1019
  
• Dayang Sun, Yanheng Liu, Aimin Wang:
  An Aggregation Tree Constructing Algorithm Based on Energy Consumption Assessment. 1020-1025
  

Sensor Network Architecture and Model

• Yang Koo Lee, Ling Wang, Keun Ho Ryu:
  A System Architecture for Monitoring Sensor Data Stream. 1026-1031
  
• Woojin Lee, Sungwon Kang, Danhyung Lee:
  Product Line Approach to Role-Based Middleware Development for Ubiquitous Sensor Network. 1032-1037
  
• Adi Mallikarjuna Reddy V, D. Janakiram:
  e-Petri Net Model for Programming Integrated Network of Wireless Sensor Networks and Grids. 1038-1043
  
• Seungjae Lee, Changhwa Kim, Sangkyung Kim:
  New Join Operator Definitions and Implementation Methods for Sensor Networks. 1044-1052
  

Service Oriented Computing and E-Technologies

Web Services and Technologies

• Ying Song, Yuzhong Sun, Hui Wang, Xining Song:
  An Adaptive Resource Flowing Scheme amongst VMs in a VM-Based Utility Computing. 1053-1058
  
• John Brine, Ian Wilson, Debopriyo Roy:
  Using Moodle and Other Software Tools in EFL Courses in a Japanese IT University. 1059-1064
  
• Jiang Zhixiong, Qian Leqiu, Pen Xin:
  A Formal Framework for Description of Semantic Web Services. 1065-1070
  

SOA and Grid Technologies

• Hao-Peng Chen, Cheng Zhang:
  A Fault Detection Mechanism for Service-Oriented Architecture Based on Queueing Theory. 1071-1076
  
• Li Guo, Andrew Stephen McGough, Asif Akram, Dave Colling, Janusz Martyniak, Marko Krznaric:
  Enabling QoS for Service-Oriented Workflow on GRID. 1077-1082
  
• Takafumi Hayashi, Hideyuki Fukuhara, Ryutaroh Fujita, Toshiaki Miyazaki, Senro Saito:
  A Messaging Network to Realize an SOA-Based System. 1083-1088
  
• Jianguo Pan, Bofeng Zhang, Shufeng Wang, Gengfeng Wu, Daming Wei:
  Ontology Based User Profiling in Personalized Information Service Agent. 1089-1093
  

Information Technology in Biomedicine

• Tung Tran, Hwa Sun Kim, Hune Cho:
  A Development of Ubiquitous Biomedical Interface for Facilitating Medical Device Connectivity. 1094-1099
  
• Hiroyuki Ishita, Motoki Sakai, Ji'nei Watanabe, Wenxi Chen, Daming Wei:
  Development of P300 Detection Algorithm for Brain Computer Interface in Single Trial. 1100-1105
  
• Ce Peng, Wenxi Chen, Xin Zhu, Baikun Wan, Daming Wei:
  Pathological Voice Classification Based on a Single Vowel's Acoustic Features. 1106-1110
  
• Achala Upendra Jayatilleke, Chandrajith Ashuboda Marasinghe, Shinji Nakahara, St Nandasara, Achini Jayatilleke, Masamine Jimba:
  Web Based Injury Surveillance System (WBISS) for Road Traffic Injuries. 1111-1115
  
• Siddharth Singh, Krishnan Hajela, Ashwini Kumar Ramani:
  RßHpred: Prediction of Right-Handed ß-Helix Fold from Protein Sequence Using SVM and Protein Threading. 1116-1121
  
• Kunio Takahashi, Daming Wei:
  Development of Digital Image Surface and Its Application to Derived 12-Lead ECG. 1122-1126
  

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