ACOMP2010-program-v3.pdf

More documents

Recommendations

Info

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
Page 1: ACOMP 2010 Program Wednesday, 03 Ma
Page 5: Thursday, 04 March 2010 Friday, 05

ACOMP2010-program-v3.pdf

Create successful ePaper yourself

Delete template?

Save as template?