ACOMP2010-program-v3.pdf

ACOMP 2010 Program
Wednesday, 03 March 2010
Time Activities Notes
Morning 8:00am – 9:00am Reception & Registration
9:00am – 9:30am Conference Openning Main Hall
9:30am – 10:30am Keynote 1: Service Science: Experience and Research Challenges
Guruduth Banavar
Chair: Nam Thoai
10:30am – 11:00am Coffee Break
11:00am – 12:00am Keynote 2: Seeing the Objects Behind the Parts: Compositional Scene Understanding
Bjoern Ommer
Chair: H. G. Bock
Afternoon 2:00pm – 3:00pm
Lunch Break
Keynote 3: Modular Verification with Separation Logic
Wei-Ngan Chin
(*) Main Hall: B4
Chair: Josef Kueng
3:00pm – 3:30pm Coffee Break
Parallel Session 1: High Performance Computing &
Networking (Room 301B4)
Chair: Tran-Vu Pham
3:30pm – 4:00pm Extensible Grid Information Service in VN-Grid
Huynh Bao Trong, Nguyen Cao Dat and Nguyen Thanh
Son
4:00pm – 4:30pm Light-Weight Replay Technique for Debugging Message
Passing Programs
Nam Thoai and Phuong Thanh Pham
4:30pm – 5:00pm Scheduling Parameter Sweep Applications on Grid
Tran Cong Tu and Thoai Nam
5:00pm – 5:30pm Optimizing RGB-YUV Color Space Conversion based on
SIMD Parallel Architecture
Linh Tran Ho and Jong-Myon Kim
Parallel Session 2: Advances in Security &
Information Systems (Room 302B4)
Chair: Nguyen Duc Cuong
A Novel Solution to Workflow Exception Handling for
Adaptive Workflows in SOA
Tran Khanh Dang, An Sinh Le Trong, and Minh Than
Quang
Adaptive Image Watermarking using Dynamically
Weighted Fuzzy C-Means Algorithm for Copyright
Protection
Linh Tran Ho and Jong-Myon Kim
A Holistic Solution to Verify and Monitor Penetration
Test Processes in Detection of Database Security Flaws
Que Nguyet Tran Thi and Tran Khanh Dang
Keystroke Dynamics Extraction by Independent
Component Analysis and Bio-matrix for User
Authentication
Thanh Tran Nguyen, Thai Hoang Le, and Bac Hoai Le
(*)
Main Hall
Main Hall
Main Hall

Thursday, 04 March 2010
Time Activities Notes
Morning 8:00am – 8:30am Reception & Registration
8:30am – 9:30am Keynote 4: Security Models in Information Systems
Josef Kueng
Main Hall
Chair: Rajkumar Buyya
9:30am-9:45am Coffee Break
9:45am – 10:45am Keynote 5: Cloud Computing: The Next Revolution in Information Technology
Rajkumar Buyya
Chair: Tran-Vu Pham
10:45am-11:00am Coffee Break
Parallel Session 3: Advances in Security &
Information Systems (Room 301B4)
Parallel Session 4: Advances in Software
Engineering (Room 302B4)
Chair: Huynh Quyet Thang
Chair: Tran Dan Thu
11:00am – 11:30am An Extensible and Pragmatic Hybrid Indexing Scheme Model Checking in Generating Counter-Examples for
for MAC-based LBS Privacy-Preserving in Commercial Automatic Software Verification
DBMSs
Thang H. Bui, Anh T. Do, Tho T. Quan, and Khai T.
Tran Khanh Dang and Quoc Cuong To
Huynh
11:30am – 12:00am A Comprehensive Framework for Evaluating Privacy Automated Verification of Programs with Real
Preserving Techniques in Location-Based Services Arithmetic
Le Hung Tran, Hong Ngoc Tran, Truong Toan Nguyen
and Tran Khanh Dang
Binh Le, Wei-Ngan Chin, and Phung H. Nguyen
12:00am – 12:30pm BBF: A Bloom-Bloomier Filter for Pattern Matching in Model-based Generation of Structured Error-Flows in
Clam Antivirus
Imperative Programs
Nguyen Duy Anh Tuan, Bui Trung Hieu, and Tran Ngoc Tho T. Quan , Duc L. N. Hoang, Vu H. Nguyen, and
Thinh
Lunch Break
Phung H. Nguyen
Afternoon 2:00pm – 3:00pm Keynote 6: Trends in Theory, Numerical Methods and Applications of Optimization of Dynamic Processes
Ekaterina A. Kostina
Chair: Vladimir Savchenko
3:00pm – 3:30pm Coffee Break
Parallel Session 5: Scientific Computing
(Room 301B4)
Chair: M. S. Mommer
3:30pm – 4:00pm Cubic Spline Interpolation Based Parametric Model
Order Reduction
Nguyen Thanh Son and Angelika Bunse-Gerstner
Parallel Session 6: Embedded System and VLSI
Design (Room 302B4)
Chair: Thuong Le-Tien
Enhanced FPGA-based architecture for regular
expression matching in NIDS
Le Hoang Long, Tran Trung Hieu, Vu Tan Tai, Nguyen
Hoa Hung, Tran Ngoc Thinh, and Do Dang Thach
Main Hall
Main Hall

4:00pm – 4:30pm Selecting Meaningful Predictor Variables: A Case Study
with Bridge Monitoring Data
Tran Vinh Tan and Nguyen Van Minh Man
4:30pm – 5:00pm Clustering Mixed Data for Rough Set Approach
Thein Than Thwin, Khaing Zarchi Tun, Swe Swe Nyein,
Nyein Nyein Ei, Cynthia Myint
5:00pm – 5:20pm Object Detection Based on Edge, Corner and HoG
Feature
Bao Nguyen Thien, Yutaka Yamada, and Tadashi Matsuo
A Run-Time Detector for Violated Memory Access in
Embedded Systems
Nam Ho and Anh-Vu Dinh-Duc
Packet classification with TCAM and Cuckoo Hashing
on FPGA
Le Trong Nhan and Dinh Duc Anh Vu
Large scale Automatic Vehicle Location System using
ZigBee
Phuong Vo-Tan, Khoi Phan-Dinh, Anh-Vu Dinh-Duc
Friday, 05 March 2010
Time Activities Notes
Morning 8:00am – 8:30am Reception & Registration
8:30am – 9:30am Keynote 7: Speculations about The Art of Numerical Simulation
Vladimir Savchenko
Main Hall
Chair: Ekaterina A. Kostina
9:30am – 10:00am Coffee Break
Parallel Session 7: Advances in Security & Information
Systems (Room 301B4)
Parallel Session 8: Scientific Computing
(Room 302B4)
Chair: Josef Kueng
Chair: Ekaterina A. Kostina
10:00am – 10:20am M3AR: A Privacy Preserving Algorithm Maintains An efficient algorithm for the shortest path problem
Association Rules
inside simple polygons without triangulation
Huynh Van Quoc Phuong, Tran Khanh Dang, and Vo Thi
Ngoc Chau
Phan Thanh An and Tran Van Hoai
10:20am – 10:40am A New Approach to Time Series Forecasting using A Newton-Picard Approach for Efficient Numerical
Simulated Annealing Algorithms
Solution of Time-Periodic Parabolic PDE Constrained
Mai Thai Son, Nguyen Luong Anh Tuan, Nguyen Tran Cao Optimization Problems
Tan Khoa, Le Quang Loc, and Lu Nhat Vinh
Mommer M. S., A. Potschka, J. P. Schloeder, and H. G.
Bock
10:40am – 11:00am A Study of Scientific Collaborations and Its Implications A Lipidikar Tretise-based approach for Burmese
for Building Research Supporting Environments Tokenization
Tran Vu Pham and Khoa T. Cao
Thein Than Thwin, Aye Thida Win, Phyo Phyo Wai, Mie
Mie Su Thwin
11:00am – 11:20pm An Investigation into the Effect of Security on Reliability Facial Expression Classification Based on Multi
in a VoIP Network
Artificial Neural Network
Ohnmar Nhway, Myint Myint Thein, Thinn Thinn Win, Soe
Lai Phyue, Aye Myat Mon, Aye Thida Win, and Phyo Phyo
Wai
Thai Hoang Le, and Hai Son Tran

11:20am – 11:40am Business Service Engineering and Gap Analysis for
Conceptual SOA Analysis
Dinh Khoa Nguyen
11:30am – 12:15pm Talk: Scientific Computing for the Preservation of the Cultural Heritage - Experiences with Conservation and
Restauration of Temple Ruins in the Angkor Region
H.G. Bock
Chair: Ekaterina A. Kostina
Afternoon
Lunch Break
Parallel Session 9: Advances in Security & Information
Systems, and Software Engineering (Room 301B4)
Parallel Session 10: High Performance Computing &
Networking (Room 302B4)
Chair: Duong Tuan Anh
Chair: Thanh Son Nguyen
2:00pm – 2:20pm Checking implementation of UML 2 sequence diagram Scheduling algorithms for parallel and independent
Anh-Hoang Truong, Dinh-Phuc Nguyen, and Chung- applications on Computational Grids
Tuyen Luu
Nam Thoai and Tuan Anh Dao
2:20pm – 2:40pm Secure Multiparties Computation based on DSA digital Approach to Internet-Based Monitoring and Control
signature and RSA cryptosystem
Systems Using OPC UA
Wai Wai Zin, Thein Than Thwin, Aye Myat Nyo, Hnin Wint Vu Van Tan and Myeong-Jae Yi
Khaing, Thandar Su Nge Htwe, and Than Naing Soe
2:40pm – 3:00pm Comparison for the accuracy of defect fix effort estimation Diverse Analysis of A Supercomputer Workload: A
Myintzu Phyo Aung, Tin Zar Thaw, Naw Lay Wah, Swe Case Study
Swe Nyein, Zar Lwin Phyo, Khaing Zar Chi Htun, Mie Mie Hung Bui, Baochuan Lu, Linh Ngo, Amy Apon
Thet Thwin
3:00pm – 3:20pm Efficient Routing in Hyper de Bruijn Aster Networks Early Abnormal Overload Detection And The Solution
Ngoc Chi Nguyen, Nguyen Thanh Phuong, Truong Minh On Content Delivery Network
Nhat
Cam Nguyen Tan, Son Dang Truong, and Tan Cao
Dang
7:00pm Conference Banquet & Closing
Starlight Restaurant (level 11) - OSCAR SAIGON HOTEL
68A Nguyễn Huệ, Dist. 1
Main Hall

Thursday, 04 March 2010
Friday, 05 March 2010
Tutorials
Time Activities Venue Notes
Afternoon 2:00pm – 4:00pm Tutorial 1: Ubiquitous Computing for Smart Worlds in Physical and Cyber Spaces
by Jianhua Ma
Time Activities Venue Notes
Afternoon 2:00pm – 4:00pm Tutorial 2: Freifunk Mesh Networks
by Mario Behling
303B4
303B4